uml - 有谁知道好的对象约束语言(OCL)教程吗？

Question

我遇到了几个关于 OCL 表达式的问题。在阅读了一些大学幻灯片并通过谷歌搜索后，我仍然无法正确理解它。

我想知道你们是否知道我应该阅读哪些好的资源来理解这些东西。

<小时/>

困扰我的限制:

1. 该部门的每个人都有同一位经理。
2. 公司里没有人是他/她自己的经理。
3. 公司里没有人比他的经理挣得更多。

对于第一个我有:

背景部门

inv self.stuff -> forAll(manager = self.staff.manager)

第二个:

上下文公司

inv self.employee -> select(manager = manager.manager) -> isEmpty()

第三个:

上下文公司

inv self.employee -> select(salary > manager.salary) -> isEmpty()

但我认为这些都是不对的。我最不确定的是，在示例 2 和 3 中，我是否真的将个别员工与他们的实际经理/经理工资进行了比较。

Answer 1

终于有好东西了!

这是来自对象管理组 (OMG) 的内容非常丰富的文档 (PDF):

Object Constraint Language Specification

我喜欢回答自己的问题:)