Modelify チェックリストビューは変換に影響を与える可能性のある変換に関するメッセージを表示します。これらのメッセージには、コードのマッピング中に見つかった、Atlasが提供するメッセージ、および、変換プロセス中に作成された、Modelifyが提供するメッセージが含まれます。
初めての変換を実行する前に、マッピングのプロセス中にAtlasが報告したメッセージがあるかどうか確認する必要があります。
例えば、欠けているコードに言及するメッセージ（欠けている関数の定義等）があった場合、欠けている定義を追加し、その後、Modelifyがコードを再分析することができるように、Atlasを使ってマッピングをやり直す必要があります。コードのマッピングを再び実行するには、メインメニューで Atlasを選択し、ワークスペースを再マッピングを選択してください。
このビューに関する詳細は「Modelify チェックリスト ビュー」を参照してください。
問題の一つとしてModelifyの制約が存在します。これらの制限によりユーザーが希望する変換を実行することができない可能性があります。例えば、ループを含む場合、関数に対する変換のタイプをSimulinkに設定することができません。要求されるSimulinkのブロックを作るために、必要とされる制御フローとデータフロー分析をModelifyがまだ実行していないため、この問題は発生します。
MATLABの制約も問題の一つです。文字通り、MATLABまたはSimulink/Stateflowのツールボックスには制約が存在します。 例えば、再帰関数はSimulinkやStateflowに変換することができません。Modelifyが問題なく再帰関数をモデルに変換することができても、Simulinkはモデルの循環参照を検知すると、エラーメッセージを表示します。
プロジェクトの変換中に変換の制約が見つかるとModelify チェックリストビューに追加されていきます。変換の制約のセクションで既知の制約の詳細な一覧をご覧頂けます。