%0 Conference Paper %1 simons_05_using %A Simons, Anthony J. H. %A Fernandez, Carlos A. %B Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on %D 2005 %I IEEE Computer Society %J Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on %K _hardcopy 2005 alloy visual_languages model_checking %P 121--128 %R 10.1109/ENC.2005.52 %T Using Alloy to model-check visual design notations %U http://dx.doi.org/10.1109/ENC.2005.52 %X This paper explores the process of validation for the abstract 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.

@inproceedings{simons_05_using, abstract = {This paper explores the process of validation for the abstract 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.}, added-at = {2009-02-11T21:04:04.000+0100}, author = {Simons, Anthony J. H. and Fernandez, Carlos A.}, biburl = {https://www.bibsonomy.org/bibtex/236fa6a44ad3948112ab65cf05f6f367f/leonardo}, booktitle = {Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on}, citeulike-article-id = {1967559}, doi = {10.1109/ENC.2005.52}, interhash = {cd9f75f8c328ab2538c8e426568f16fb}, intrahash = {36fa6a44ad3948112ab65cf05f6f367f}, journal = {Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on}, keywords = {_hardcopy 2005 alloy visual_languages model_checking}, pages = {121--128}, posted-at = {2008-01-03 22:56:25}, priority = {3}, publisher = {IEEE Computer Society}, timestamp = {2009-02-11T21:04:04.000+0100}, title = {Using Alloy to model-check visual design notations}, url = {http://dx.doi.org/10.1109/ENC.2005.52}, year = 2005 }