Using Alloy to model-check visual design notations

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
8 pages

Keywords

Software Engineering, Symbolic Computation, I.6.4; D.3.1; I.3.5

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/154952

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0802.2258
 http://arxiv.org/abs/0802.2258
 Simons, A.J.H. and Fernandez-y-Fernandez, C.A., Using Alloy to model-check visual design notations. In Sixth Mexican Int. Conf. on C S, (Mexico, 2005), IEEE, 121-128
 doi:10.1109/ENC.2005.52

Collections

arXiv