问题标签 [ocl]

什么是与 OCL 中的 forAll 方法等效的 Groovy？

假设我有一个项目列表。

当且仅当所有项目都符合特定条件时，表达谓词的 Groovy 方法是什么？

下面的代码片段不起作用，因为内部返回只是跳出each闭包的当前迭代，而不是跳出forAll方法。

下面的代码片段应该可以解决问题，但感觉很麻烦，而且不像 Groovy。

我正在寻找一种懒惰地评估谓词的方法，以便在找到第一个不匹配项时完成评估。

所以我有以下对象结构：

我需要编写一个 OCL 不变量来满足所有 Node 对象的 RSSI 值相差不超过 2 的要求。我尝试使用迭代表达式来解决它，但是因为您不能真正使用 OCL 中的变量来存储当前最大值和最小值（或者至少我不知道该怎么做）我不知道该怎么做。任何人都可以帮助我吗？

我在 ecore 模型上使用 OCL 约束并生成代码。所以事情就这么简单，我有一个具有属性的任务类startDate，endDate 它有一个 ocl 约束：- 不变量状态startDate < endDate。

我已经为这个项目生成了 java 代码，并且有一个 java 类：

因此，从我的主要课程中，我如何在这里验证我的任务。我想调用 OCL 约束来检查是否startDate小于endDate

我正在尝试使用 eclipse OCL 实现在 OCL 中导航 UML 关联。我知道 UMLAssociations被视为Attributes，并且getAttributes()在 a 上调​​用的函数Class将返回一个包含 的集合Attributes以及Property每个 的对象Association。然而，我需要的不是，Property而是Class.Association

对于双向Associations，下面的代码可以工作，虽然它看起来不是很优雅：

self.getAllAttributes().opposite.class

它不仅不优雅，而且在定向上也不起作用Associations（那里没有对立面Property）。Associations在 OCL 中是否有更好的导航方式？

假设我在 UML 中有这个类图：

如何在 OCL 中指定 A 的实例不包含在 list_of_As 递归中？换句话说，A 的实例可能不包含在 A.list_of_As 中，也不包含在 A.list_of_As 中的所有 A 实例的所有 list_of_As 中……？

我正在尝试编写前置条件和后置条件来找到集合“col”的最大值。我不确定如何递归，所以我想知道是否有人可以提供帮助！

我正在做基于模型的测试，我已经使用 UML 图对我的应用程序进行了建模，并且还编写了使用 OCL 进行测试的所有约束，我想知道是否有 eclipse 的工具或插件可以帮助从 UML/OCL 模型生成测试用例可用于黑盒测试。（提前致谢）

' @Christian 感谢您的回复，下面是我的 OCL 表达式的一部分

'

当我有 type 的结果时Set(Integer)，数字没有排序。我们有一个可用于集合的操作，称为sortedBy ( expr : OclExpression ) : Sequence(T)，但是当这个集合中只有整数时，要使用什么表达式？

我想用 java 代码将 ocl 添加到我的 .ecore 元模型中。但我找不到任何示例或教程。

所以我想问一下是否有可能或者我在哪里可以找到示例代码？

我有一个 UML 配置文件，我需要向我的 ModeBehaviour 原型添加一个约束，它是 StateMachine 的扩展。

约束：OwnedStates 必须定型为 Mode，Owned Transitions 必须定型为 ModeTransition

对于约束的第一部分，我认为它可能以：self.submachine 开头，因为这将引用 ModeBehaviour 的拥有状态？从那里我不知道如何查看这些状态是否是模式的刻板印象。

任何方向都会非常有帮助。