使用Alloy对可视化设计符号进行模型检查
Using Alloy to model-check visual design notations
摘要：
本文探讨了图形符号的抽象语法的验证过程。我们为发现方法使用的五个UML图定义了一个统一的规范，在本文档中，我们说明了如何在Alloy中表示图，并根据我们的规范进行检查，以了解这些图在发现符号下是否有效。
英文摘要：
This paper explores the process of validation for the abstract syntax of a graphical notation. We define an unified specification for five of the UML diagrams used by the Discovery Method and, in this document, we illustrate how diagrams can be represented in Alloy and checked against our specification in order to know if these are valid under the Discovery notation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
