UML2Alloy: A Challenging Model Transformation

@incollection{anastasakis_07_uml2alloy, abstract = {Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows fully automated analysis. As a result, creating Alloy code from a UML model provides the opportunity to exploit analysis capabilities of the Alloy Analyzer to discover possible design flaws at early stages of the software development. Our research makes use of model based techniques for the automated transformation of UML class diagrams with OCL constraints to Alloy code. The paper demonstrates challenging aspects of the model transformation, which originate in fundamental differences between UML and Alloy. We shall discuss some of the differences and illustrate their implications on the model transformation process. The presented approach is explained via an example of a secure e-business system.}, author = {Anastasakis, Kyriakos and Bordbar, Behzad and Georg, Geri and Ray, Indrakshi }, citeulike-article-id = {1822586}, doi = {http://dx.doi.org/10.1007/978-3-540-75209-7\_30}, journal = {Model Driven Engineering Languages and Systems}, keywords = {2007, \_to\_print, alloy, model\_transformation, uml}, pages = {436--450}, posted-at = {2007-10-25 23:59:49}, priority = {4}, title = {UML2Alloy: A Challenging Model Transformation}, url = {http://dx.doi.org/10.1007/978-3-540-75209-7\_30}, year = {2007} }

TY - CHAP ID - anastasakis_07_uml2alloy L3 - citeulike-article-id:1822586 TI - UML2Alloy: A Challenging Model Transformation JF - Model Driven Engineering Languages and Systems SP - 436 EP - 450 N2 - Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows fully automated analysis. As a result, creating Alloy code from a UML model provides the opportunity to exploit analysis capabilities of the Alloy Analyzer to discover possible design flaws at early stages of the software development. Our research makes use of model based techniques for the automated transformation of UML class diagrams with OCL constraints to Alloy code. The paper demonstrates challenging aspects of the model transformation, which originate in fundamental differences between UML and Alloy. We shall discuss some of the differences and illustrate their implications on the model transformation process. The presented approach is explained via an example of a secure e-business system. KW - 2007 KW - _to_print KW - alloy KW - model_transformation KW - uml AU - Anastasakis, Kyriakos AU - Bordbar, Behzad AU - Georg, Geri AU - Ray, Indrakshi PY - 2007/// UR - http://dx.doi.org/10.1007/978-3-540-75209-7_30 ER -