Using Alloy to model-check visual design notations

Details Using Alloy to model-check visual design notations Using Alloy to model-check visual design notations

2008-02-15

arxiv.org/abs/0802.2258v1

Simons, A.J.H. and Fernandez-y-Fernandez, C.A., Using Alloy to model-check visual design notations. In Sixth Mexican Int. Conf

Computer Science

Software Engineering

8 pages

Scientific paper

10.1109/ENC.2005.52

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.

Affiliated with

Also associated with

No associations

Rating

Using Alloy to model-check visual design notations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Using Alloy to model-check visual design notations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Using Alloy to model-check visual design notations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-38886