【发布时间】：2014-05-13 07:51:29
【问题描述】：
Alloy 生成的 XML 是否有 XML 模式？
XML 非常独特，因此 XML 模式可以帮助我的同事理解文件。
【问题讨论】：
【发布时间】：2014-05-13 07:51:29
【问题描述】：
在我们的一个项目中，我们需要将 Alloy XMI 实例解析为 EMF，因此我们开发了一个 Ecore 元模型/模式来表示它们。
我不能保证它的正确性，但到目前为止它运行良好。您可以查看here。
【讨论】：
我怀疑是否存在正式的架构（例如 XSD）。
【讨论】：