合金分析仪：找出给定实例的模型

Question

我在想，是否可以为给定实例生成模型规范。我的目标是检查一个实例是否符合模型。

我发现一篇关于实例自动指定的文章。它被称为“使用实例编写合金规格的自动化方法”（http://users.ece.utexas.edu/~khurshid/papers/2006/06isola-aDeryaft.pdf）。如果我没有弄错，这可能是一种检查实例是否符合模型的方法。不幸的是，似乎没有可用的下载实施。

你知道我该如何检查给定的实例是否符合模型？

谢谢你的时间。

Answer 1

要检查实例是否符合给定模型，可以通过编程方式检查（使用Alloy api）实例的所有原子和元组都是通过模型的签名和字段键入的，并且声明所有事实在模型举行的实例。

您所引用的论文描述了从给定实例生成新Alloy模型的方法。尽管有趣，但它与你试图达到的目标无关，即检查一个给定的实例是否符合已经存在的模型。