没有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。 官方API是Java ; 可以在此处找到API用法的示例（以及此处的StackOverflow）。 在Ruby中还有一个Alloy嵌入 ，它仍然是alpha。