1

たとえば、次の UML ダイアグラムを考えてみましょう。 ここに画像の説明を入力

Block1のすべてのインスタンスについて、 のインスタンスがの実際のタイプのBlock1::unit_of_pressタグ付き値の同じインスタンスである場合にのみ、モデルは有効でなければなりません。unitBlock1::press

OCLでそのような制約を表現することは可能ですか?

4

1 に答える 1

0

はい、適用されたステレオタイプのタグ付き値にアクセスできます。開始点として、特定のタグを持つすべての要素の検索を参照してください。そこから、タグ付けされた値について真でなければならないことを主張できます。

Web ページが利用できなくなった場合の例:

self.allOwnedElements()
->select(e | e.getValue(e.getAppliedStereotype('Ecore::EAttribute'), 'isTransient') = true)

(Rafael Chaves、Vladimir Orany、および Bjoern Sundin に感謝します。)

于 2016-02-12T20:11:34.907 に答える