Behavior Model Mapping and Transformation using Model-Driven Architecture

Model mapping and transformation are important processes in high level system abstractions, and form the cornerstone of model-driven architecture (MDA) techniques. Considerable research in this field has devoted attention to static system abstraction, despite the fact that most systems are dynamic with high frequency changes in behavior. In this paper we provide an overview of work that has been done with regard to behavior model mapping and transformation, based on: (1) the completeness of the platform independent model (PIM); (2) semantics of behavioral models; (3) languages supporting behavior model transformation processes; and (4) an evaluation of model composition to effect the best approach to describing large systems with high complexity.

• Mohammed Abdalla Osman Mukhtar
• Azween Abdullah
• Alan Giffin Downe

• MDA; PIM
• PSM
• QVT
• Model Transformation

[1] O.M.G. (OMG), "Meta Object Facility ( MOF ) 2 . 0 Query / View /
Transformation Specification," Transformation, 2008.
[2] P. Stevens, "Bidirectional model transformations in QVT: semantic issues
and open questions," Software & Systems Modeling, vol. 9, Dec. 2008,
pp. 7-20.
[3] L.M. Daniele, L.F. Pires, and M.V. Sinderen, "An MDA-Based Approach
for Behaviour Modelling of Context-Aware Mobile Applications"
Behaviour, 2009, pp. 206-220.
[4] S. Marković and T. Baar, "Semantics of OCL specified with QVT,"
Software & Systems Modeling, vol. 7, Mar. 2008, pp. 399-422.
[5] O.M.G. (OMG), "OMG Object Constraint Language," Management, vol.
03, 2010.
[6] P. Bottoni, M. Koch, F. Parisi-presicce, and G. Taentzer, "Consistency
Checking and Visualization of OCL Constraints," Constraints, 2000, pp.
294-308.
[7] C. Wilke, M. Thiele, and C. Wende, "Extending Variability for OCL
Interpretation," 2010, pp. 361-375.
[8] G. Wachsmuth, "Modelling the Operational Semantics of Domain-
Specific Modelling Languages," Structure, 2008, pp. 506-520.
[9] I. Kurtev, "State of the Art of QVT : A Model Transformation Language
Standard," Data Engineering, 2008, pp. 377-393.
[10] N. Moha, S. Sen, C. Faucher, O. Barais, and J.-M. Jézéquel, "Evaluation
of Kermeta for solving graph-based problems," International Journal on
Software Tools for Technology Transfer, vol. 12, Apr. 2010, pp. 273-285.
[11] O.M.G. (OMG), "Meta Object Facility ( MOF ) Core Specification,"
Management, 2006.
[12] J. Whittle, P. Jayaraman, A. Elkhodary, and A. Moreira, "MATA : A
Unified Approach for Composing UML Aspect Models Based on Graph
Transformation *," 2009, pp. 191-237.
[13] P. Kelsen and Q. Ma, "A Modular Model Composition Technique," 2010,
pp. 173-187.
[14] M. Acher, P. Collet, P. Lahire, and R. France, "Comparing Approaches to
Implement Feature Model Composition," Springer-Verlag Berlin
Heidelberg 2010, 2010, pp. 3-19.