問題タブ [mda]

「組み込みリアルタイム システムのモデルベース エンジニアリング」の本で、この段落に出くわしました。

モデルベースの設計は、特に組み込みシステムの分野で、これらの制限を克服するための適切なアプローチであると多くの人に考えられています。One of the expected advantages of this approach is the ability to exploit correct-by-construction incremental design processes,自動化された変換と合成の広範な使用、および形式化されたコンピューターベースの正確性の分析に依存しています

強調表示された文の意味がわからなかったので、いくつか例を挙げて明確にしていただけませんか?

OCL を初めて使用します。助けてくれてありがとう。

したがって、次のようなステレオタイプのプロファイルがあります。

Colored である関連付けは、接続されているすべてのクラスが color プロパティに同じ色の値を持たなければならないことを意味するという不変の制約を記述する方法を誰か教えてもらえますか?

私はこれまでこれを持っていました：

a.associatedElement が存在しないため、これは間違っていると確信しています..しかし、この「すべての接続されたクラス」にアクセスする方法や、それが何を意味するのかわかりません。おそらく私は次のようなものが必要です

a.[association].colour?

ありがとう

AndroMDA のようなアクティブなMDA ツールのリストを提供していただけますか? arcstylerやoptimaljなどのツールは廃止されたようです。

要素間の依存関係をほとんど変更せずに、OMG 仕様によって構築されたメタモデルを単純化することにより、独自の単純な BPMN エココア メタモデルを構築しようとしています。

ここで私自身のメタモデル：

私のメタモデルが正しいことを確認するためのガイドラインを教えてください。