如何将合金模型与 JAVA 或 Python 连接起来？答案

【问题标题】：How to connect Alloy model with JAVA or Python?如何将合金模型与 JAVA 或 Python 连接起来？
【发布时间】：2014-11-21 12:39:08
【问题描述】：

有人可以帮助我并就我的问题给出一些解释或示例吗？假设没有“numbers”或“integers”（Alloy 适用于 entities），我如何使用我的模型（我创建的在合金中）通过 JAVA 还是 Python？如何将 Alloy 的模型与其他语言“连接”起来？

谢谢！瓦迪克。

【问题讨论】：

【解决方案1】：

如果您想将此模型传递给 Python，则需要创建新的数据类型。这可以通过类来完成。

例如：

class Person:
    def __init__(self, name, age):
        self.name = name
        self.age = age

stephen = Person('Stephen', 27)

你有一个新的数据类型：Person

您需要创建正确的类来表示您的合金模型的相同类型。

【讨论】：

谢谢奥古斯丁！老实说，我的意思是不同的。假设我有合金模型。 Alloy Analyzer 为我的断言找到反例或为我的谓词提供一些实例。如何通过 JAVA 或 Python 使用 Alloy 模型和 Analyzer 的结果？
"如何通过 JAVA 或 Python 使用 Alloy 模型和 Analyzer 的结果？"做什么？很抱歉造成@Lukmanov 的误解。您需要向我们展示您的意思的示例，我对合金一无所知。如果要在这两种情况下使用数据，则需要创建一个解析器来提取两种类型文件的数据，即合金模型文件和输出文件。干杯。

【解决方案2】：

您必须在 Java 应用程序中使用 Alloy（jar 文件）作为库。

【讨论】：