alloy - Alloy API：反编译成 .als

Question

BLUF：我可以导出与我使用 Alloy API 创建的模型相对应的 .als 文件吗？

示例：我有一个使用 edu.mit.csail.sdg.alloy4compiler.parser.CompUtil 读取的模块。然后我添加签名和事实以在内存中创建修改后的模型。我可以“反解析”它并基本上反转词法分析器（edu.mit.csail.sdg.alloy4compiler.parser.CompLexer）以某种方式获取.als文件吗？

似乎应该有一种方法可以在内存中反编译模型并将其保存为稍后更改的代码，但我无法在 Alloy API Javadocs 中确定路径。作为一些研究的一部分，我正在从 UML/SysML 的选定行为方面构建一个翻译器，所以我试图弄清楚我是否可以利用现有的东西，或者我是否需要创建它。

标签： alloy

Answer 1

之前似乎有人问过类似的问题：Generating .als files based on model instances with Alloy API

从附加的帖子https://stackoverflow.com/users/2270610/lo%c3%afc-gammaitoni说他已经在他的闪电应用程序中为此编写了一个解决方案。他说他可能会包含完成这项任务的源代码。我不确定他是否已经上传了解决方案。