嵌套的OCL forAlls

Question

我在一阶逻辑中有以下公式。

forAll a:A | forAll b :B | if a.r1=b then a.r2=b

简单地说，对于所有类型A的对象，对于所有类型为B的对象，如果它们与r1相关，那么它们也与r2相关。

这是类图：

请有人提供上述公式的OCL表示。

Answer 1

我没有方便的方法来测试它，但我认为语法是r1->forall(i | r2->exists(i))。

可能更简单，如果你只想说r1是r2的一个子集，你可以宣布它。

Answer 2

回答here中的问题。

我重复回答以遵循堆栈溢出规则：

<input type="text" name="subnet" ng-model="subnet" class="form-control" 
id="subnet" required ng-pattern="/^(?:[0-9]{1,3}\.){3}/" >

这对我来说似乎很笨重！但似乎它是什么！