From UML to Alloy and Back Again

10 years 9 months ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transformed to a model suitable for conducting automated analysis. Such model transformations aim at allowing the designer to benefit from the capabilities provided by analysis tools and languages. If the designer who is not a formal method expert is to benefit from such tools, the outcome of the analysis should also be transformed to the language used in the design domain. This paper presents a study involving UML2Alloy, a tool for transforming UML models in form of UML class diagrams which are augmented with OCL constraints, to Alloy. The conversion allows analysis of UML models via Alloy, to identify consistencies in those UML models. We present a method of automatically creating a model transformation based on the original UML2Alloy transformation. The new transformation converts Alloy instances into the UML e...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo
Added 26 Jul 2010
Updated 26 Jul 2010
Type Conference
Year 2009
Authors Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bordbar
Comments (0)