ocl

1热度

1回答

我在Scala中开发的应用程序的一部分需要读取和解析EMF/UML模型以及在这些模型上定义的OCL表达式。我的OCL表达式几乎是在这些EMT/UML模型上定义的查询表达式。我的问题： 1）什么是为了读取和解析EMF/UML模型API选项？ 2）为了在EMF/UML模型上解析和评估OCL表达式（查询），什么是API选项。

1热度

1回答

使用OCL中的地图数据结构

我如何在OCL中使用地图。例如，我想获取用户c1的所有账单，而我的地图'购买'看起来像Map <Date, Bill>。 c1.purchases.Bill？这可能吗？问候

0热度

2回答

基于OCL的模型转换语言

哪个模型转换语言是OCL为基础？ Epsilon转换语言（ETL）基于ocl吗？

2热度

1回答

模型OCL评估与对象评估

我需要检查模型是否触发一个或多个OCL约束。模型存储在XMI中，加载EMF。 OCL约束是自动生成的（String或类似的）。我找到了一种方法来检查约束上的EObject helper.setContext(ecClass); query = helper.createQuery(expression); Object o = ocl.check(eo, invariant); Ô则包

3热度

1回答

Ecore和OCL中派生的属性可以被持久化并且派生被禁用吗？

我想移植一个遗留数据格式，它包含与Eclipse Modeling Framework（EMF）Ecore类似的概念：包含具有不同数据类型和默认值的参数的元素。一个定制的工具可让您通过一个奇特的基于表格的GUI编辑这些模型实例。此外，参数的一个共同特征是可以添加推导规则，该参数指定自动从其他参数计算参数值。这似乎也类似于Ecore派生的属性，可以通过Java代码或OCLinEcore实现。但

0热度

1回答

使用hashCat和RAR文件？

我很难过，它实际上可以使用hashcat的RAR文件？该forum说“是”，并指向一个sample ... 他们似乎呼吁： ./oclHashcat64.bin -m 12500 hash -w 3 -a 3 ha?l?l?l?l?l 到目前为止，一切都很好。所以我去抢JTR和rar2john运行，这给了我; test.rar:$RAR3$*1*1234561234561234*e111111

0热度

1回答

OCL：导航单向协会对箭头方向

我读到这里https://wiki.eclipse.org/OCL/FAQ是如何访问断航对立中的Ecore 在UML中，仅用于在被导航关联一个方向在运行时可能会绘制一个单向箭头。 OCL评估在分析时发生，无论箭头如何，都可以在两个方向上导航。这是OCL标准的一部分还是只是一个eclipse ecore的东西？一个例子：给定两个类A和B，以及从A到B（但不是从B到A）的单向关联。在类图中，

0热度

1回答

OCL：表达更优化的方式

我学习OCL的唯一约束（使用“USE”），我有一个关于isUnique设置（问题），这里的约束是下面的例子：我们希望通过类全面建立以客户号的唯一约束如下 context Client inv NoClientUnique : Client.allInstances -> isUnique(noClient) ，但这种表达是远远没有达到最佳，因为它是可能的约束被反复验证。请任何人都可以解释我

1热度

1回答

是否可以在UML/OCL中对应用原型的标记值表达约束？

例如，让我们考虑以下UML图：该模型是有效的只有当所有的Block1的实例中，Block1::unit_of_press实例是实际的标记值unit的同一个实例Block1::press 是否可以在OCL中表达这样的约束？

0热度

1回答

如何编写OCL约束

我是OCL的新手，我在eclipse上使用papyrus luna 4.4.2 我有一个名为CLIENT的类图，约束{所有属性超出范围}第二个类名为Customer，带有约束{所有属性都是强制性的}并且另一个类调用具有约束属性出处的地址（来源应为强制性的）我应该如何编写适合形式语言的OCL约束？也想知道如何验证语法的正确性？