有人可以帮助我，可能会对我的问题给出一些解释或例子吗？假设没有“ numbers " or " integers ”（Alloy与 entities 一起工作），我如何通过JAVA或Python使用我的模型（我在Alloy中创建）？如何"connect" Alloy的模型与其他语言？
谢谢！ Vadik .
如果要将此模型传递给Python，则需要创建新的数据类型 . 这可以通过课程来完成 .
例如：
class Person: def __init__(self, name, age): self.name = name self.age = age stephen = Person('Stephen', 27)
你有一个新的数据类型：人
您需要创建正确的类来表示相同类型的Alloy模型 .
这是一个例子：http://alloy.mit.edu/alloy/code/EvaluatorExample.java.html .
您必须在您的Java应用程序中使用Alloy（jar文件）作为库 .
2 回答
如果要将此模型传递给Python，则需要创建新的数据类型 . 这可以通过课程来完成 .
例如：
你有一个新的数据类型：人
您需要创建正确的类来表示相同类型的Alloy模型 .
这是一个例子：http://alloy.mit.edu/alloy/code/EvaluatorExample.java.html .
您必须在您的Java应用程序中使用Alloy（jar文件）作为库 .