Model-Based Development with Validated Model Transformation

László Lengyel, Tihamér Levendovszky, Gergely Mezei, Hassan Charaf



Model-Driven Architecture (MDA) as a model-based approach to software development facilitates the synthesis of application programs from models created using customized, domain-specific model processors. MDA model compilers can be realized by graph rewriting-based model transformation. In Visual Modeling and Transformation System (VMTS), metamodel-based transformation steps enables assigning OCL constraints to model transformation steps. Based on this facility, the paper proposes a novel validated model transformation approach that can ensure to validate not only the individual transformation steps, but the whole transformations as well. The discussed approach provides a visual control flow language to define transformations visually in a simple way that results more efficient development process. The presented methods are illustrated using a case study from the field of model-based development.


  1. J. Sztipanovits, and G. Karsai, Model-Integrated Computing, IEEE Computer, Apr. 1997, pp. 110-112.
  2. OMG MDA Guide Version 1.0.1, OMG, doc. number: omg/2003-06-01, 12th June 2003,
  3. OMG Object Constraint Language Spec. (OCL),
  4. L. Lengyel, T. Levendovszky, H. Charaf, Implementing an OCL Compiler for .NET, In Proceedings of the 3rd International Conference on .NET Technologies, Pilsen, Czech Republic, May-June 2005, pp. 121-130.
  5. The VMTS Homepage.
  6. Michael R Blaha, and William Premerlani, Object-Oriented Modeling and Design for Database Applications, Prentice Hall, 1998.
  7. G. Rozenberg (ed.), Handbook on Graph Grammars and Computing by Graph Transformation: Foundations, Vol.1 World Scientific, Singapore, 1997.
  8. OMG UML 2.0 Specifications,
  9. G. Karsai, A. Agrawal, F. Shi, J. Sprinkle, On the Use of Graph Transformation in the Formal Specification of Model Interpreters, Journal of Universal Computer Science, 2003.
  10. J. Reekers, A. Schürr, Defining and Parsing Visual Languages, Journal of Visual Languages and Computing, 8, Academic Press, 1997, pp. 27-55.
  11. H. J. Köhler, U. A. Nickel, J. Niere, A. Zündorf, Integrating UML Diagrams for Production Control Systems, ICSE, Limerick Ireland, ACM Press, 2000, pp. 241-251.
  12. D. Varró and A. Pataricza, “VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML”, SoSyM, 2003.
  13. G. Taentzer, AGG: A Graph Transformation Environment for Modeling and Validation of Software, In J. Pfaltz, M. Nagl, and B. Boehlen (eds.), Application of Graph Transformations with Industrial Relevance (AGTIVE'03), vol. 3062. Springer LNCS, 2004.
  14. OMG Query/View/ Transformation.
  15. L. Lengyel, T. Levendovszky, G. Mezei, B. Forstner, H. Charaf, Metamodel-Based Model Transformation with Aspect-Oriented Constraints, International Workshop on Graph and Model Transformation, GraMoT, ENTCS Vol. 152, Tallinn, Estonia, 2005, pp. 111-123.

Paper Citation

in Harvard Style

Lengyel L., Levendovszky T., Mezei G. and Charaf H. (2006). Model-Based Development with Validated Model Transformation . In Proceedings of the 2nd International Workshop on Model-Driven Enterprise Information Systems - Volume 1: MDEIS, (ICEIS 2006) ISBN 978-972-8865-56-6, pages 39-48. DOI: 10.5220/0002474400390048

in Bibtex Style

author={László Lengyel and Tihamér Levendovszky and Gergely Mezei and Hassan Charaf},
title={Model-Based Development with Validated Model Transformation},
booktitle={Proceedings of the 2nd International Workshop on Model-Driven Enterprise Information Systems - Volume 1: MDEIS, (ICEIS 2006)},

in EndNote Style

JO - Proceedings of the 2nd International Workshop on Model-Driven Enterprise Information Systems - Volume 1: MDEIS, (ICEIS 2006)
TI - Model-Based Development with Validated Model Transformation
SN - 978-972-8865-56-6
AU - Lengyel L.
AU - Levendovszky T.
AU - Mezei G.
AU - Charaf H.
PY - 2006
SP - 39
EP - 48
DO - 10.5220/0002474400390048