问题标签 [ocl]

我有一个包含以下两个聚合的类图：

contentCategories是类别的动态数组，currentCategory始终是该数组的元素，但作为不同的成员变量进行维护。我需要表明它始终是contentCategoriesOCL 中的一个元素的约束。我做对了吗？如果不是，那么正确的方法是什么？

提前感谢大家的帮助！

我想在“Comp”类的上下文中在 oclInEcore 编辑器中编写以下操作，该类应该将 Comp 对象的父对象收集到 Set。

问题是， ocl 不接受 Set(Comp) 作为返回类型。但是，它接受 Comp[*]，但这最终会导致无效调用（由于返回类型不兼容，我想......）

我正在尝试使用 Acceleo 生成一些代码。我正在内存中构建我的模型实体，我想为它生成代码。

现在，当 Acceleo 尝试将我的模型对象与我的模板函数的参数类型匹配时，它不匹配。这些类完全相同，但由于 Acceleo 的包注册表和我的内存模型不同，它们不匹配，Acceleo 说找不到与主模板匹配的模型元素。

我可以纠正这个问题吗？我可以强制 acceleo 包注册表成为内存注册表吗？我可以在语义级别强制类匹配（而不仅仅是在 Java 上==吗？）

我正在使用 OCLinEcore 编辑器开发一个在 OCL 中定义了一些不变量的 Ecore 模型。在我的模型中，一些元素引用了 EClassifier；在某些 OCL 约束中，我需要检查所引用的 EClassifier 是 EDataType 还是 EClass。在 OCLinEcore 中，这是一个类似于我的模型：

但是，当我尝试验证模型的动态实例时，会出现异常并显示以下消息：

在“耦合”上委派评估“兼容性”约束时发生异常：未知类型（[ecore，EDataType]）

当我在 OCL 交互式控制台中尝试表达式时，我得到了正确的结果。定义我的不变量时我做错了什么吗？如何编写使用 Ecore 类型的不变量？

我有一个 Ecore 模型，我正在尝试添加一些 OCL 约束。

当我尝试创建一个有效 IPv4 形式的属性（字符串）时，我的问题就出现了。我想我应该使用正则表达式，但我完全不知道如何在 OCLinEcore 上使用正则表达式。

您好，我们目前正在使用 MagicDraw 17.0。我们遇到了以下问题。我们想验证对象图中的对象是否有任何连接的对象。

例如，如果一个对象“man”具有到另一个对象“address”的链接。自动取款机。我们正在尝试这个

其中地址是地址对象在连接两个对象的关联中的角色，并且对人施加了约束。不工作。

我在UML中有一个看起来像这样的类（它是德语，但我认为没关系）：

第一种方法采用 4 个“ Rohstoffkarte ”的数组。那是一个抽象类，我有 5 个具体的子类。现在我想检查（使用 OCL）数组中的所有 4 个实例是否来自同一个子类。

知道怎么做吗？我正在使用 MagicDraw。

谢谢。

我有一个 UML 模型，其中包含符合 XText Grammar/MetaModel 的文本的 OpaqueActions。我正在通过 ACCELEO 转换将 UML 模型转换为文本。我想从 ACCELEO 脚本调用一个 Java 服务，该服务将模型中不透明操作中的文本作为输入，并提供相关模型的根元素作为输出，以便我可以从 ACCELEO 无缝使用它。

为此，我需要使用以下方法定义 Java 类：将字符串作为参数，调用 XTEXT，解析文本，如果正确，则生成相关的 EMF 模型。假设文本是 OCL（不是，但我猜过程是一样的），你会怎么做？

我需要从导航主 UML 模型的 ACCELEO 脚本中获取包含在 UML 边缘中的条件的 OCL 模型。为此，我定义了以下 Java 类：

}

这是包装它的 ACCELEO 模块：

以下是我尝试从主 ACCELEO 模块调用它的方式：

它不起作用，我不明白为什么，知道吗？

更新

我意识到助手实际上是在输出这个异常

我究竟做错了什么？

我试图计算在 FOR 循环中条件为真的次数。我为模板声明了一个附加变量（FOUND : Integer），并且每次 [IF] 条件为“true”时我都尝试将其递增，但该变量仅在第一次递增，然后它又回到原来的状态价值。基本上，如果一开始 FOUND = 1，那么在每个循环中我都会得到 2 的输出。

这是我正在尝试使用的代码：

你知道我怎么能做到这一点或类似的东西吗？谢谢