ocl

0热度

2回答

我想在“Comp”类的上下文中编写oclInEcore编辑器中的以下操作，该类应该将Comp对象的父项收集到Set中。 operation parents(): Set(Comp) { body: self.superComp->union(self.parents()); } 问题是，ocl不接受Set（Comp）作为返回类型。然而，它接受Comp [*]，但

0热度

3回答

使用德累斯顿OCL Toolkit可以生成真正的Java代码吗？

我尝试使用德累斯顿OCL来描述UML类图的约束。看起来它可以生成AspectJ代码，但我找不到一种方法来生成表示建模类（及其属性和方法）的Java代码。德雷斯顿OCL Toolkit提供的示例还显示了如何在Java代码已经存在时生成AspectJ代码（OCL22Java教程）。是否有可能生成内嵌约束的Java（不是AspectJ）代码？如果是，那么它是如何完成的？

0热度

1回答

显示在UML类图，一个聚集的另一个

我有以下两个集合的类图的子集： contentCategories是类别的动态数组，currentCategory始终是一个元件该数组，但是作为一个独特的成员变量来维护。我需要显示它始终是OCL中contentCategories的元素的限制。我是否正确地做了这件事？如果不是，那么正确的做法是什么？谢谢大家提前的帮助！

0热度

2回答

OCL到ECORE转换

我想找到一个解析器的OCL，可以生成一个ECore模型文件，以便我可以使用模型来模拟方法，以便将OCL语句转换为其他语言模型，例如OCL到SQL（但不仅仅是SQL）。有没有人知道如何到Ecore转换器的OCL？

2热度

2回答

OCL 2.0约束条件

嗨，我们目前正在使用MagicDraw 17.0。我们遇到了以下问题。我们想验证对象图中的对象是否有任何连接的对象。例如，如果对象“man”有另一个对象“地址”的链接。自动取款机。我们正在尝试这个 self.address->isEmpty() 其中address是adressobject在连接两个对象的关联中的角色，约束放在man上。不工作。

0热度

2回答

如何在内存模型上生成加速代码？

我想用Acceleo生成一些代码。我正在构建我的模型实体在内存中，我想为它生成代码。现在，当Acceleo尝试将我的模型对象与我的模板函数的参数类型相匹配时，它不匹配。这些类完全相同，但由于Acceleo的包注册表和我的内存模型不同，它们不匹配，Acceleo表示没有匹配的模型元素可以找到主模板。我能纠正这个问题吗？我可以强制加速套件注册表成为内存注册表吗？我可以强制类匹配在语义层面（而不是仅

1热度

1回答

通过OCL在Eclipse建模框架模型中颠倒OrderedSet

我有一个UML模型（实际上与其可能是任何MOF模型无关），我需要从最后一个元素访问第一个元素。因此我需要通过OCL来反转它。我已经看到了需要OCLExpression作为排序标准的sortedBy方法，但我不知道如何使用它。有什么想法？

2热度

4回答

OCL - 需要澄清不变量？

我今天和一位教授讨论了OCL。他认为不变量，后置条件和前置条件在规定的功能范围内是允许的。我的软件开发人员让我想要相信OCL将允许将一般约束放在模型上。像这个模型中的Person类的所有对象都有男性的性别约束，或者所有类车的对象都有四个车轮似乎不可思议有用，并且使用对我的模型的声明式范例感觉是对的。我认为它像物理世界一样。如果我们将螺母拧在螺栓上，则允许螺母以一种方式安装。这些都是物理限制，无

0热度

1回答

使用Ecore分类器的OCL约束 - 未知类型异常

我正在开发一个使用OCLinEcore编辑器在OCL中定义的一些不变量的Ecore模型。在我的模型中，一些元素引用了EClassifier;在一些OCL约束中，我需要检查引用的EClassifier是EDataType还是EClass。这里，在OCLinEcore，模型类似于一个我： import ecore : 'http://www.eclipse.org/emf/2002/Ecore#/';

2热度

2回答

OCLinEcore和正则表达式来创建有效的IPv4字符串

我有一个Ecore模型，我试图添加一些OCL约束。我试图制作一个有效的IPv4格式的属性（字符串）时出现问题。我想我应该使用正则表达式，但我不知道如何在OCLinEcore上使用正则表达式。