OCL对类A的操作和类B的属性写入约束

Question

Follwing another post：

我想知道OCL是否允许以下​​内容。

想象一下下面的UML图。

如何使用ocl建模：“一个人只有来自国家名称'ABCD'才能喝水（如果国家的人口是> = 1000000”

当然，这个例子纯粹是虚构的。

Uncaught ReferenceError: require is not defined

Answer 1

您需要命名Country的角色（在Person内创建命名属性）。所以我们将其命名为country。这当然可以“像往常一样”使用：

context Person::drinkWater()
pre Enough: self.country.name == "ABCD" and self.country.population >= 1000000