9.4.4 表示法

对于特征没有一般性的表示法。子类定义了它们特定的表示法。

静态特征有下划线。

当特征显示在列表中时，列表最终的省略号（...）可以用来指示还存在额外的特征但没有在列表中显示。

只读的结构化特征使用{readOnly}作为其图示的一部分。该标注可以被抑制，从而不能从图中判断出它的值。或者一个遵循本规范的工具可以只允许抑制那些isReadOnly=false（缺省的）的{readOnly}标注。此种情况下，可以假定没有显示{readOnly}的地方都不是只读的。

可以在特征上使用一个{redefines }属性字符串来显示的对特征重定义进行标注，或者（implicitly by having a Feature which cannot be distinguished using isDistinguishableFrom() from another Feature in one of the owning Classifier’s more general Classifiers.）。两种情况下，被重定义的特征应该遵循重定义上的兼容性约束。

参数以如下文本字符串的格式进行显示：

<parameter> ::= [<direction>] <paramter-name> ‘:’ <type-expression> [‘[’<multiplicity-range>‘]’] [‘=’<default>] [‘{’<parm-property> [‘,’ <parm-property>]* ‘}’] 其中：

• <direction> ::= ‘in’ | ‘out’ | ‘inout’ （如果省略，缺省是‘in’）。
• <parameter-name>是参数名。
• <type-expression>是指示参数类型的表达式。
• <multiplicity-range>是参数的multiplicity。（参见7.5）。
• <default>是定义参数缺省值（值规约）的表达式。
• <parm-property>指示应用到参数的其它属性。

<parm-property> ::= ‘ordered’ | ‘unordered’ | ‘unique’ | ‘nonunique’ | ‘seq’ | ‘sequence’ 其中

• ‘ordered’指示该多值参数的值是有序的。
• ‘unordered’指示该多值参数的值是无序的。
• ‘unique’指示该多值参数中的值没有重复。
• ‘nonunique’指示该多值参数中的值可以有重复。
• ‘seq’或‘sequence’指示该多值参数的值构成了一个有序包，即isUnique=false并且isOrdered=true。

活动图中的参数集表示在16.3.4。在其它图中没有参数集的表示。