6.4.2 图格式

本规范中的所有元模型图采用如下惯例：

• 一个元类可能出现在多个图中，但只在一个图中以主要角色出现，那就是该元类被介绍的章节。以主要角色出现的元类带有展开的属性格间；以次要角色展示的元类只带有标题矩形。
• 点图示用于指示关联端的所属关系，点展示了该直线另一端的类拥有类型为点所接触到的类的属性。参见11.5.4详细的关联图示和11.5.5中的例子。
• 箭头图示用于指示关联端的导航性。根据定义，所有类拥有的关联端是可导航的。根据惯例，元模型中所有关联拥有的端是不可导航的。
• 两个方向都没有标注导航箭头的关联意味着该关联双向可导航。
• 关联特化和重定义由关联端附近的适当约束来指示。因此：
  • 约束{subsets endA}意味着该约束所应用的关联端是关联端endA的子集。
  • 约束{redefines endA}意味着该约束所应用的关联端重定义了关联端endA。
• 如果关联端上没有显示multiplicity，那么multiplicity为1。
• 如果关联端没有名称，那么该端的缺省名称是与之关联的类的名称，首字母小写。注意，根据惯例，不可导航的关联端通常都不显示名称尽管它有一个名称。
• 没有显示命名的惯例按照如下的产生式规则给出名称：

  'A_' <association-end-name1> '_' <association-end-name2>
  

  其中<association-end-name1>是第一个关联端的名称，<association-end-name2>是第二个关联端的名称。