我想看看是否有任何工具或引擎可以将 Ecore（元）模型转换为合金规范？
如果考虑随附的 OCL 表达式进行此翻译，那就太好了:)
谢谢
问问题
208 次
3 回答
3
一篇明确关注翻译带有 OCL 注释的 UML 类图的研究论文是“在 Alloy 规范和带有 OCL 注释的 UML 类图之间的翻译”Alcino Cunha、Ana Garis 和 Daniel Riesco 撰写
你可以在这里查看实现。它应该可以轻松适应 Ecore 元模型。
于 2014-05-26T07:39:50.297 回答
3
有许多关于在 Alloy 和 UML 之间进行转换的研究论文。谷歌学者对“ocl 合金”的快速搜索返回了 6000 多个结果。以下是一些似乎最相关的：
于 2014-05-25T18:27:58.240 回答
0
一个名为 Lightning 的 Eclipse 插件允许进行此类转换。它目前处于测试阶段，通常会在本周末上线。（我将在发布时使用更新站点链接编辑此答案）
如果你不能等那么久，我可能会安排你提前进入。
于 2014-05-26T09:11:46.707 回答