分类
同一实体类型的范畴规定了实体如何根据它们的特征(比如所有员工都缺勤)互相相关。分类的语法使用了在 OCL(对象约束语言)中指定的与该关系连接的约束条件。
约束条件旨在指定动态行为。当约束条件被评估为有效时,这些关系也是有效的。
通常约束条件是互相排斥的,可以利用互斥关系之间的约束条件{xor}为约束条件建模。
延伸阅读
文章来源于领测软件测试网 https://www.ltesting.net/
发布: 2008-10-17 09:08 | 作者: 不详 | 来源: 测试时代采编 | 查看: 112次 | 进入软件测试论坛讨论
分类
同一实体类型的范畴规定了实体如何根据它们的特征(比如所有员工都缺勤)互相相关。分类的语法使用了在 OCL(对象约束语言)中指定的与该关系连接的约束条件。
约束条件旨在指定动态行为。当约束条件被评估为有效时,这些关系也是有效的。
通常约束条件是互相排斥的,可以利用互斥关系之间的约束条件{xor}为约束条件建模。
文章来源于领测软件测试网 https://www.ltesting.net/