将 ecore 模型（附带 OCL 表达式）转换为合金规范答案

【问题标题】：Translating ecore models (accompanying OCL expressions) to alloy specification将 ecore 模型（附带 OCL 表达式）转换为合金规范
【发布时间】：2014-07-14 11:27:15
【问题描述】：

我想看看是否有任何工具或引擎可以将 Ecore（元）模型转换为合金规范？

如果它在考虑伴随的 OCL 表达式的情况下进行这种翻译，那就太好了:)

谢谢

【问题讨论】：

标签： transformation alloy ocl ecore

【解决方案1】：

有许多关于在 Alloy 和 UML 之间进行转换的研究论文。谷歌学者对“ocl 合金”的快速搜索返回了 6000 多个结果。以下是一些似乎最相关的：

【讨论】：

【解决方案2】：

Alcino Cunha、Ana Garis 和 Daniel Riesco 撰写的“Translating between Alloy specifications and UML class diagrams annotated with OCL”是一篇明确关注翻译带有 OCL 注释的 UML 类图的研究论文。

您可以查看实现here。它应该可以轻松适应 Ecore 元模型。

【讨论】：

【解决方案3】：

一个名为 Lightning 的 Eclipse 插件允许进行此类转换。它目前处于测试阶段，通常会在本周末上线。（我将在发布时使用更新站点链接编辑此答案）

如果你不能等那么久，我可能会安排你提前进入。

编辑：更新站点>http://lightning.gforge.uni.lu/update-site

【讨论】：