ocl相关内容

Acceleo M2T-将时间戳记写入生成的文件

我正在通过使用在* .mtl文件中定义的不同Acceleo模板来生成一些文件. 在这些文件的顶部,我需要编写类似以下内容的文件: #-----------------------------------------------------------------------------#由XXX自动生成的项目(在此处添加时间戳)#------------------------------ ..
发布时间:2021-05-03 19:45:11 Java开发

如何写OCL约束

我是OCL的新手,我在eclipse luna 4.4.2上使用纸莎草纸 我有一个名为CLIENT的类图,带有约束{所有属性都超出范围}第二个类是Customer,它带有约束{所有属性都是强制性的},另一个类调用具有属性出处且带有约束的地址{出处必须是强制性的} 我应该如何编写适合正式语言的OCL约束? 还想知道如何验证语法的正确性吗? 解决方案 如果是集合,它将检查 上下 ..
发布时间:2020-10-08 19:03:35 其他开发

在Eclipse Papyrus上进行OCL约束检查

有人在Eclipse Papyrus中建模的类图上检查OCL约束吗?我已经定义了一个简单的测试配置文件,该模板仅对原型属性具有一个约束: {OCL} self.property > 0 构造型扩展了Property元类,因此我将其应用于类属性,并将构造型的属性设置为0.上下文菜单. 任何帮助将不胜感激. 多谢. 解决方案 对于其他可能遇到相同问题的人,我自己回答. ..
发布时间:2020-07-19 20:12:11 其他开发

OCL对类A的操作和类B的属性的写约束

关注另一篇文章: 我想知道OCL是否允许以下​​操作. 想象一下下面的UML图. 如何使用ocl建模:“只有当他来自国家名称'ABCD'且该国家的人口> = 1000000时,他才能喝Water()" 当然,这个例子纯粹是虚构的. ================ ================ | Person | ..
发布时间:2020-07-02 03:42:45 其他开发

可以在Ecore和OCL中保留派生属性并禁用派生功能吗?

我想移植一种旧数据格式,该格式包含类似于Eclipse Modeling Framework(EMF)Ecore:具有参数的元素的元素,这些元素具有不同的数据类型和默认值. 使用定制工具,您可以通过基于花式表格的GUI编辑此类模型实例. 此外,Parameters的一个共同特征是可以添加 Derivation Rule ,该规则指定从其他参数自动计算出Parameter值.这似乎也类似 ..
发布时间:2020-06-13 18:52:12 其他开发

使用hashCat和RAR文件?

我非常难过,实际上可以使用hashcat作为RAR文件吗? 论坛说“是”并指向示例 ... 他们似乎在打电话: ./ oclHashcat64.bin -m 12500 hash -w 3 -a 3 ha?l?l?l?l?l 到目前为止,这么好..所以我去抓jtr并运行rar2john,这给了我; p> test.rar:$ RAR3 $ * 1 * 12 ..
发布时间:2018-06-01 19:33:01 服务器开发