Using Alloy to model-check visual design notations

Simple item page
dc.creatorSimons, Anthony J. H.
dc.creatorFernandez-y-Fernandez, Carlos Alberto
dc.date2008-02-15
dc.date.accessioned2026-07-07T09:21:14Z
dc.date.available2026-07-07T09:21:14Z
dc.descriptionThis 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.
dc.description8 pages
dc.identifierhttps://arxiv.org/abs/0802.2258
dc.identifierhttp://arxiv.org/abs/0802.2258
dc.identifierSimons, 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
dc.identifierdoi:10.1109/ENC.2005.52
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/154952
dc.subjectSoftware Engineering
dc.subjectSymbolic Computation
dc.subjectI.6.4; D.3.1; I.3.5
dc.titleUsing Alloy to model-check visual design notations
dc.typetext

Files

Collections

arXiv