実行可能性 (モデル記述言語の)

【じっこうかのうせい (executability for model description language)】

記述されたモデルの正確性と完全性を自動的に検証する機能を処理システムに付与することが可能であるという, モデル記述言語の形式論理的性質をいう. 実行可能性には様々なレベルが考えられるものの, モデル記述言語に不可欠の特性と考えられている.