Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe
Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe
Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Introduction<br />
� For UML2Alloy, the instance of the destination model is an Alloy instance<br />
which can be analyzed to identify the inconsistencies between various parts<br />
of the design defined by the source model <strong>and</strong> to identify if the model is<br />
under- or over-constrained.<br />
� Alloy can produce a counter-example helping to reveal the source of<br />
inconsistency.<br />
� If a counter-example is found, it must be transferred to a UML objectdiagram<br />
which is an instance of the class diagram in the design space that<br />
represents a violation of a property of the system.<br />
Introduction<br />
� Snapshots from the UML2Alloy tool are shown.<br />
The input to the tool is an<br />
XMI file of the UML class<br />
diagram created by<br />
ArgoUML.<br />
The output from the<br />
tool in the form of<br />
object diagrams.<br />
13/11/2011<br />
4