Behavior Model Mapping and Transformation using Model-Driven Architecture

Authors: Mohammed Abdalla Osman Mukhtar, Azween Abdullah, Alan Giffin Downe

Abstract:

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.

Keywords: MDA; PIM, PSM, QVT, Model Transformation

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1075535

References:

[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.