OCL を初めて使用します。助けてくれてありがとう。
したがって、次のようなステレオタイプのプロファイルがあります。
Colored である関連付けは、接続されているすべてのクラスが color プロパティに同じ色の値を持たなければならないことを意味するという不変の制約を記述する方法を誰か教えてもらえますか?
私はこれまでこれを持っていました：
Context UML::InfrastructureLibrary::Core::Constructs::Association
inv: Association.allInstances() -> forAll(a:Association|a.oclIsTypeOf(Coloured) implies
a.associatedElement.colour = a.colour)
a.associatedElement が存在しないため、これは間違っていると確信しています..しかし、この「すべての接続されたクラス」にアクセスする方法や、それが何を意味するのかわかりません。おそらく私は次のようなものが必要です
a.[association].colour?
ありがとう