A Model Transformation Framework for Model Driven Engineering

Xiaoping Jia, Hongming Liu, Lizhang Qin, Adam Steele


Model Driven Engineering(MDE) is a model-centric software development approach aims at improving the quality and productivity of software development processes. While some progresses in MDE have been made, there are still many obstacles in realizing the full benefits of model driven engineering. These obstacles include incompleteness in existing modeling notations, inadequate in tools support, and the lack of effective model transformation mechanism. This paper presents a new model driven engineering framework, which is based on a formal modeling notation – Z-based Object-Oriented Modeling nota- tion (ZOOM). It includes a set of supporting tools aiming at delivering the benefits in practical applications of model driven engineering. In particularly, this proposal focuses on one key aspect of MDE – model transformation. A template based model transformation framework using Hierarchical Relational Meta-model (HRM) is introduced. This framework aims to provide a simple, effective, and practical way to define model transformations. The potential benefits of the proposed model transformation framework include: 1) readability and rigorousness of meta-model definitions; 2) simplicity of transformation definition; and 3) extensibility of transformation templates. The architecture and design of the framework is discussed and comparisons with related research work are provided to show the benefits of this framework.


  1. Kent, S.: Model driven engineering. In: Proc. IFM 2002, Springer-Verlag (2002) LNCS Vol. 2335.
  2. Balasubramanian, K., Gokhale, A., Karsai, G., Sztipanovits, J., Neema, S.: Developing applications using model-driven design environments. Computer 39 (2006) 33
  3. Gray, J., Lin, Y., Zhang, J.: Automating change evolution in model-driven engineering. Computer 39 (2006) 51
  4. Poole, J.: Model-driven architecture: Vision, standards, and emerging technologies. In: ECOOP'01 - Object-Oriented Programming. (2001)
  5. Rouvoy, R., Merle, P.: Towards a model-driven approach to build component-based adaptable middleware. In: ARM 7804: Proceedings of the 3rd workshop on Adaptive and reflective middleware, New York, NY, USA, ACM Press (2004) 195-200
  6. (UMLT M 2.0 Superstructure Specification) OMG Document ptc/03-08-02 (August, 2003).
  7. France, R.B., Ghosh, S., Dinh-Trong, T., Solberg, A.: Model-driven development using uml 2.0: Promises and pitfalls. Computer 39 (2006) 59
  8. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language reference manual.(1998)
  9. Sendall, S., Kozaczynski, W.: Model transformation: The heart and soul of model-driven software development. IEEE Software 20 (2003) 42-45
  10. D'Ambrogio, A.: A model transformation framework for the automated building of performance models from uml models. In: WOSP 7805: Proceedings of the 5th international workshop on Software and performance, New York, NY, USA, ACM Press (2005) 75-86
  11. Bzivin, J., Farcet, N., Jzquel, J.M., Langlois, B., Pollet, D.: Reflective model driven engineering. In: ”UML” 2003 - The Unified Modeling Language, Springer-Verlag (2003) LNCS Vol. 2863.
  12. Mukerji, J., Miller, J.: (Model-Driven Architecture) http:// www.omg.org/cgibin/doc?ormsc/2001-07-01.
  13. Group, O.M.: (Meta-Object Facility 1.4) OMG Document formal/2002-04-03.
  14. (MOF 2.0 Query / Views / Transformations RFP) OMG Document ad/04-10-02.
  15. (MOF QVT final adopted specification) OMG Document ad/05-11-01.
  16. Spivey, J.M.: The Z Notation: A Reference Manual, 2nd Ed. (1992)
  17. Woodcock, J., Davies, J.: Using Z Specification, Refinement, and Proof. Prentice Hall Europe (1996)
  18. Wordsworth, J.B.: Software Development with Z. Addison Wesley, Boston, MA (1992)
  19. Jia, X.: An approach to animating Z specifications. In: Proc. 19th Annual IEEE Int'l Computer Software and Applications Conf. (COMPSAC 1995), Dallas, Texas, USA (1995) 108- 113
  20. Jia, X.: (The ZOOM Notation - A Reference Manual) Technical Report, DePaul University, 2004.
  21. Jia, X., Steele, A.: Incorporating uidls into model-driven development. In: Proceedings of UIXML2004, Gallipoli, Italy (2004)
  22. Qin, L., Liu, H., Jones, C., Jia, X.: An Integrated Event-Driven Framework Supporting MDD. In: Proc. of the 2004 Midwest Software Engineering Conference (MSEC'04), Chicago,IL USA. (2004) 32-44
  23. Lopes, C., Hrsh, W.: (Separation of concerns) Technical Report, Computer Science School, Northeastern University, Boston, US, 1995.
  24. Aho, A.V., Ullman, J.D.: Theory of Parsing, Translation and Compiling. Prentice Hall Professional Technical Reference (1973)
  25. Wile, D.S.: Abstract syntax from concrete syntax. In: ICSE 7897: Proceedings of the 19th international conference on Software engineering, New York, NY, USA, ACM Press (1997) 472-480
  26. Knuth, D.E.: Literate programming. CSLI Lecture Notes (2003)
  27. Czarnecki K., S.H.: Classification of model transformation approaches. In: OOPSLA. (2003)
  28. (Andromda website) http://www.andromda.org/.
  29. (W3C), T. W. W. W. C.:(XSL Transformations (XSLT) Version 1.0) http:// www.w3c.org/TR/xslt.
  30. et al, K.D.: Model transformation: A declarative, reusable patterns approach. (In: Proceedings of the Seventh IEEE International Enterprise Distributed Object Computing Conference (EDOC03))

Paper Citation

in Harvard Style

Jia X., Liu H., Qin L. and Steele A. (2008). A Model Transformation Framework for Model Driven Engineering . In Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008) ISBN 978-989-8111-43-2, pages 59-70. DOI: 10.5220/0001732400590070

in Bibtex Style

author={Xiaoping Jia and Hongming Liu and Lizhang Qin and Adam Steele},
title={A Model Transformation Framework for Model Driven Engineering},
booktitle={Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)},

in EndNote Style

JO - Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)
TI - A Model Transformation Framework for Model Driven Engineering
SN - 978-989-8111-43-2
AU - Jia X.
AU - Liu H.
AU - Qin L.
AU - Steele A.
PY - 2008
SP - 59
EP - 70
DO - 10.5220/0001732400590070