Using Alloy to model-check visual design notations

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Anthony J. H. Simons Articles by Carlos Alberto Fernandez y Fernandez

Sixth Mexican International Conference on Computer Science (ENC'05)

Puebla, Mexico

September 26-September 30

ISBN: 0-7695-2454-0

	ASCII Text	x
	Anthony J. H. Simons, Carlos Alberto Fernandez y Fernandez, "Using Alloy to model-check visual design notations," Mexican International Conference on Computer Science, pp. 121-128, Sixth Mexican International Conference on Computer Science (ENC'05), 2005.

	BibTex	x
	@article{ 10.1109/ENC.2005.52, author = {Anthony J. H. Simons and Carlos Alberto Fernandez y Fernandez}, title = {Using Alloy to model-check visual design notations}, journal ={Mexican International Conference on Computer Science}, volume = {0}, year = {2005}, issn = {1550-4069}, pages = {121-128}, doi = {http://doi.ieeecomputersociety.org/10.1109/ENC.2005.52}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Mexican International Conference on Computer Science TI - Using Alloy to model-check visual design notations SN - 1550-4069 SP121 EP128 A1 - Anthony J. H. Simons, A1 - Carlos Alberto Fernandez y Fernandez, PY - 2005 KW - null VL - 0 JA - Mexican International Conference on Computer Science ER -

Anthony J. H. Simons, University of Sheffield, UK

Carlos Alberto Fernandez y Fernandez, University of Sheffield, UK

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ENC.2005.52

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.

Citation:

Anthony J. H. Simons, Carlos Alberto Fernandez y Fernandez, "Using Alloy to model-check visual design notations," enc, pp.121-128, Sixth Mexican International Conference on Computer Science (ENC'05), 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.