0
我在想,是否可以爲給定實例生成模型規範。我的目標是檢查一個實例是否符合模型。合金分析儀:找出給定實例的模型
我發現一篇關於實例自動指定的文章。它被稱爲「使用實例編寫合金規格的自動化方法」(http://users.ece.utexas.edu/~khurshid/papers/2006/06isola-aDeryaft.pdf)。如果我沒有弄錯,這可能是一種檢查實例是否符合模型的方法。不幸的是,似乎沒有可用的下載實施。
你知道我該如何檢查給定的實例是否符合模型?
謝謝你的時間。
非常感謝您的快速響應。到目前爲止,我只使用合金分析儀。我會看看Alloy API。我應該在我的帖子中加入我將如何使用Deryaft。我想到了將實例中新生成的模型與給定模型進行比較。但是,這不會奏效;) – mollwitz
我的榮幸:-) –