Sciweavers

ENC
2005
IEEE

Using Alloy to model-check visual design notations

14 years 5 months ago
Using Alloy to model-check visual design notations
This paper explores the process of validation for the syntax of a graphical notation. We define a 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. Keywords Formal specification, model checking, Alloy, visual modelling, UML
Anthony J. H. Simons, Carlos Alberto Fernán
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where ENC
Authors Anthony J. H. Simons, Carlos Alberto Fernández y Fernández
Comments (0)