ぷろぱてぃ
当ページは編集中につき、わかりやすくまとまっていません。

---

プロパティ

属性または関連でプロパティを記述することができます。

プロパティをBNF記法で記述したもの。
<property> ::= [<visibility>] [‘/’] <name> [‘:’ <prop-type>] [‘[‘ <multiplicity> ‘]’] [‘=’ <default>][‘{‘ <prop-property > [‘,’ <prop-property >]* ’}’]

where:
•<visibility> is the visibility of the property. (See “VisibilityKind (from Kernel)” on page 133.)
　<visibility> ::= ‘+’ | ‘-‘ | ‘#’ | ‘~’
（一部省略）
•<prop-modifier> indicates a modifier that applies to the property.
　<prop-modifier> ::= ‘readOnly’ | ‘union’ | ‘subsets‘ <property-name> |
‘redefines’ <property-name> | ‘ordered’ | ‘unique’ | <prop-constraint>

　where:
　• readOnly means that the property is read only.
　• union means that the property is a derived union of its subsets.
　• subsets <property-name> means that the property is a proper subset of the property identified by <propertyname>.
　• redefines <property-name> means that the property redefines an inherited property identified by <propertyname>.
　• ordered means that the property is ordered.
　• unique means that there are no duplicates in a multi-valued property.
　• <prop-constraint> is an expression that specifies a constraint that applies to the property.





{subsets <property-name>}
{refined <end-name>}
{union}
{ordered}
{bag}
{sequence} or {seq}



{ordered}
多重度が２以上の場合において、順序がある場合
当プロパティを利用します。
AはBのインスタンスを保持すると同時に
順序も保持します。

{subsets <property-name>}
部分集合を表します。d は b の部分集合です。
OCLで記述すると
context C inv: b->includesAll(d)
となります。



{union}
和集合を表します。BはB1の和集合である。B1はBの部分集合である。
(雑感)
正直なところ、よくわからない。
例えば、B2, B3 等があれば 和集合というのも納得できますね。
また、補集合が あるのか ないのか というのは、UMLで表現できるのでしょうか。