没有GUI的合金模型

Question

我想在Python中编写一个可扩展的程序，根据用户输入创建Alloy模型。特别是，我希望用户输入图形并使用Alloy来告诉用户图形是否具有欧拉路径。我在Alloy中为模型的特定实例准备了模型。但是，我正在考虑通过Python代码生成.als文件，然后通过Python启动Alloy来评估模型。我可以使用Alloy API或任何命令行参数来帮助我确定某个谓词是否一致吗？

由于

Answer 1

我的一位同事几天前问我同样的问题。

我开发了一个基于Alloy API的小型Java程序，该程序将给定Alloy模块的路径作为输入，分析输入模块（考虑遇到的第一个命令），并在分析器找到时显示（作为输出）给定模块和命令的可满足实例。

这是一个非常简单的程序的链接。 https://www.dropbox.com/s/9ekwegj0ltfs8lq/alloy_text-based.jar?dl=0

希望有所帮助

Answer 2

Python没有Alloy API。 official API is in Java;可以找到API使用的示例here（以及此处的StackOverflow）。还有embedding of Alloy in Ruby，它仍处于alpha状态。