我正在寻找是否有任何工具或引擎将Ecore（元）模型转换为Alloy规范？
如果考虑到伴随的OCL表达式进行此翻译，那就太好了：）
THX
答案 0 :(得分：3)
关于Alloy和UML之间的翻译主题有很多研究论文。快速谷歌学者搜索“ocl合金”返回超过6000个结果。以下是一些似乎最相关的内容：
答案 1 :(得分：3)
Alcino Cunha，Ana Garis和Daniel Riesco撰写的一篇明确专注于翻译用OCL注释的UML类图的研究论文是“Translating between Alloy specifications and UML class diagrams annotated with OCL”。
您可以查看实施here。它应该可以轻松适应Ecore元模型。
答案 2 :(得分：0)
一个名为Lightning的Eclipse插件允许进行此类转换。它目前处于测试阶段，通常会在本周末在线提供。 （我将在发布时使用更新站点链接编辑此答案）
如果你不能等那么久，我可能会安排你早日访问。
编辑： 更新网站＆gt; http://lightning.gforge.uni.lu/update-site