UML Action Semantics for Model Transformation Systems Export

@misc{citeulike:3744483, abstract = {The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to implementation allowing the development of highly automated and optimized code generators for UML CASE tools. Model transformation systems provide visual but formal background to specify arbitrary transformations in the Model Driven Architecture (the leading trend in software engineering). In the current paper, we describe a general encoding of model transformation systems as executable Action Semantics expressions to provide a standard way for automatically generating the implementation of formal (and provenly correct) transformations by off-the-shelf MDA tools. In addition, we point out a weakness in the Action Semantics standard that must be improved to achieve a stand-alone and functionally complete action specification language.}, author = {Varro, Daniel and Pataricza, Andras}, citeulike-article-id = {3744483}, keywords = {action, model, r1, semantics, transformation, uml}, posted-at = {2008-12-04 06:40:29}, priority = {0}, title = {UML Action Semantics for Model Transformation Systems}, year = {2003} }

TY - ELEC ID - citeulike:3744483 L3 - citeulike-article-id:3744483 N2 - The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to implementation allowing the development of highly automated and optimized code generators for UML CASE tools. Model transformation systems provide visual but formal background to specify arbitrary transformations in the Model Driven Architecture (the leading trend in software engineering). In the current paper, we describe a general encoding of model transformation systems as executable Action Semantics expressions to provide a standard way for automatically generating the implementation of formal (and provenly correct) transformations by off-the-shelf MDA tools. In addition, we point out a weakness in the Action Semantics standard that must be improved to achieve a stand-alone and functionally complete action specification language. TI - UML Action Semantics for Model Transformation Systems KW - action KW - model KW - r1 KW - semantics KW - transformation KW - uml AU - Varro, Daniel AU - Pataricza, Andras PY - 2003/// ER -