适用于合金解决方案的定制系列

Question

我是Alloy API的新手，我目前正在尝试为Alloy解决方案实现自己的序列化程序。 我基本上做的是：

• 我写了一个包含A，B，C，D和E签名的Alloy模型
• A有一个字段
• B是抽象的
• C具有三元关系tr：A - >孤独的B
• D和E延伸B并且不是抽象的

模型由求解器评估并提供所需的解决方案。我现在想要做的是使用自定义序列化格式（仅用于信息：它被称为XES http://www.xes-standard.org/）。

我现在的问题是：为了检索序列化格式所需的信息，我需要所有具有签名C的元素并包含一个元组（A，D）。如何在解决方案中搜索自定义元素？

非常感谢您提前， LostSpirit

Answer 1

您可以使用提供方法的Alloy API：

• 从通过分析给定模型获得的实例中获取A4Solution对象（查看A4Reader类），
• 浏览解决方案的所有原子（查看A4Solution类）
• 从Alloy模块中获取CompModule对象（检查CompUtil类）
• 在第1点中获得的A4Solution中评估此compmodule的字段。（为了使解决方案中存在元组）

检查这个问题的答案，这与你的问题非常相关：

going through an A4Solution