ocl

1热度

1回答

我有一个问题根据asSet/asBag/asSequence/asOrderedSet。我可以将它用于收藏集吗？例如，我有（Sequence（Bag（Set（A）））），如果可能，我可以使用这些操作以及我将收到的结果。或者我需要使用压平？

3热度

1回答

================ | Person | |--------------| |- id : String | |--------------| ================ 我Person类物业id是String类型。我必须检查id是一个包含11位数的数字。我想这样的事情： context Person::id:String inv: self.id->forAl

1热度

1回答

OCL是它允许写操作的约束和属性

想象一下下面的类人 ================ | Person | |--------------| |- name | |- age | |--------------| |+ drinkWater()| |+ drinkBeer() | ================ 使用OCL，是有可能设定一个约束的操作drinkBeer()？例如只允许Person> =

0热度

1回答

如何将OCL约束集成到使用Eclipse Sirius创建的模型中？

由于我甚至没有在OBEO Designer Community中找到线索来模拟OCL约束，因此很难提供更多细节。任何人有一个想法如何做到这一点？感谢

1热度

3回答

如何在OCL中分拣两个参数？

我需要通过两个参数来排序人员的集合，通过姓氏和名称之后。我如何在OCL中做这样的事情？

-1热度

1回答

uml/ocl访问父类名

我尝试写ocl来给child（动物）添加约束，但约束必须是用户父类名（mamifere）。我认为第一个版本不起作用，我认为第二个例子有更好的解决方案。请帮帮我？例如动物图像：

0热度

1回答

在eclipse中创建模型实例提供者类

如何在eclipse中创建模型实例提供者类？

0热度

1回答

检查OCL部分AST

我正在操纵EMF提供的OCL的AST。我想知道是否有方法检查部分树？如果是这样，我应该使用什么类？我对文档有点困惑 - 因为我正在寻找“检查语言”（OCL用于检查，我想检查OCL），谷歌迷路... 谢谢。

0热度

1回答

OCL：从AST到具体语法

Evrything在标题中：我有一个OCL AST（使用root作为org.eclipse.ocl.ecore.Constraint），我修改了它。我想再次解析它，但我只找到打印约束（或任何OCL事物）时获得的“单行OCL语法” - 在其toString（）方法中提供。任何人都知道从EMF OCL Constraint获取最终可解析的OCL字符串的方法吗？（或来自任何TypedElement

0热度

1回答

分层由OCL

作为新UML/OCL /纸莎草缺乏交流关于这一点给我一种感觉，我可能是在错误的道路上派生的纸莎草对象a）作为组合成员的所有对象，以及b）从另一个接口继承的所有接口。也就是说，我会说，通过直接和间接的关联进行分层。在纸莎草纸中，我可以通过简单地将元素添加到图层来完成此操作。更方便的是使用Reg Exp Layers，它选择所有在OCL布尔表达式上返回TRUE的元素。例如，通过self.elemen