在下图中我没有报告这样的事实:class3 的 type:tip 属性是一个枚举,可以采用两个值 st 或 pt 。我的问题是,如果我必须考虑仅当 class2 与 class3 关联且类型为 pt 时,spec1 才能与 class2 关联,这种表示形式是否可以? 类图还好吗?此约束必须在任何触发器之后实施,对吗?
是的,这没关系,因为图表专注于建模者选择的某些元素,不需要显示所有模型元素。
UML 2.5.1,附录 A: UML 模型由包、类和关联等元素组成。相应的 UML 图是 UML 模型各部分的图形表示 。 UML 图包含表示 UML 模型中元素的图形元素(通过路径连接的节点)。
通常您会在其他类模型中定义
Tip
。
缺少定义的唯一问题是,如果您在某些正式 OCL 约束中引用该类型元素的成员并引用文字。 但问题主要是人的问题,即理解文字是什么。