合金解决方案的定制串行器

Question

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

• 我编写了一个包含签名 A、B、C、D 和 E 的合金模型
• A 有一个字段
• B 是抽象的
• C 有一个三元关系 tr: A -> 孤 B
• D 和 E 扩展了 B 并且不是抽象的

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

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

非常感谢您， 迷失之魂

Answer 1

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

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

检查这个问题的答案，它与你的相当相关：

going through an A4Solution