对列表属性的 OCL 收集操作

Question

我正在模拟一个问题，其中有 学生 和 课程。 每门课程都有一些其他课程作为先决条件，我想对学生的“joinCourse()”操作进行 OCL 约束，以允许他们在完成必修课程时加入课程。

这是我制作的 uml 类图的草稿：

现在，我的问题是： 是否可以进行collection 操作，例如在finishedCourses 之类的“list 属性” 上进行“includeAll”？

我做了这个 ocl 约束：

context Student::joinCourse(c: Course)
pre: self.finishedCourses->includesAll(c.requiredCourses)

正确吗？

先谢谢了！

Answer 1

简而言之：是的，它是正确的。

理由

在UML 2.5 specifications 中，多重性和集合之间有明确的联系：

7.5.3.2。 MultiplicityElement 是可以以某种方式实例化以表示值集合的元素。 (...)

OCL specification 解释了 self 与上下文的关系（第 7.3.4 条）：

OCL 表达式可以是前置条件或后置条件的一部分， 对应于 «precondition» 和 «postcondition» 的刻板印象 与操作或其他行为特征相关的约束。 上下文实例 self 然后是拥有的类型的实例 操作或方法作为特征。

所以在你的表达式中，self 指的是一个Student，一个点允许访问它的属性，例如 self.finishedCourse 指的是一个集合属性。

OCL 定义了集合类型（第 11.6 条）和所有集合的格式良好的一般操作（第 11.7.1 条）：

includesAll(c2 : Collection(T)) : Boolean
self 是否包含 c2 的所有元素？
发帖：result = c2->forAll(elem | self->includes(elem))

所以self.finishedCourses->includesAll(c.requiredCourses) 是一个有效的表达式，在您所期望的情况下是真或假。

补充说明

属性可以表示分类器的属性或关联的成员端。您可以将finishedCourse 表示为Student 和Course 之间第二次关联的结束（要理解的是，所有课程都不一定完成）。