SUPPORTING DESIGN PATTERNS IN GRAPH REWRITING-BASED MODEL TRANSFORMATION

László Lengyel, Tihamér Levendovszky, Tamás Mészáros, Hassan Charaf

2007

Abstract

Model transformations appear in many, different situations in a model-based development process. A few representative examples are as follows: refining the design to implementation, aspect weaving, analysis, and verification. In object-oriented software design, design patterns describe simple and elegant solutions to specific problems. Similarly, design pattern should be identified in model transformations as well to support the frequently appearing problems. This paper introduces the design pattern support of a modelling and model transformation framework (Visual Modeling and Transformation System). Furthermore, we discuss two model-based development related design patterns.

References

  1. Agrawal, A., Vizhanyo, A., Kalmar, Z., Shi, F., Narayanan, A., Karsai, G., 2004. Reusable Idioms and Patterns in Graph Transformation Languages, 2nd Int. Conference on Graph Transformation, Rome, Italy.
  2. Butts, K., Bostic, D., Chutinan, A., Cook, J., Milam, B., Wang, Y., 2001. Usage scenarios for an Automated Model Compiler, EMSOFT 2001, pp 66-79.
  3. Gamma, E., Helm, R., Johnson, R., Vlissides, J., 1995. Design Patterns: Elements of Reusable ObjectOriented Software, Addison-Wesley Professional Computing Series.
  4. Karsai, G., Agrawal, A., Shi, F., Sprinkle, J, 2003. On the Use of Graph Transformation in the Formal Specification of Model Interpreters, Journal of Universal Computer Science, Special issue on Formal Specification of CBS.
  5. Köhler, H. J., Nickel, U., A. Niere, J., Zündorf, A., 2000. Integrating UML Diagrams for Production Control Systems, 22nd Int. Conf. on Software Engineering (ICSE), Limerick Ireland, ACM Press, pp. 241-251.
  6. Lara, J., Vangheluwe, H., Alfonseca, M., 2004. Metamodelling and graph grammars for multi-paradigm modelling in AToM, SoSyM, August, 3(3):194-209.
  7. Lengyel, L., Levendovszky, T., Charaf, H., 2005. Graph Transformation and Constraint Validation-Driven User Interface Handler Code, MicroCAD, March 10-11, 2005, Miskolc, pp. 267-272.
  8. Lengyel, L., 2006. Online Validation of Visual Model Transformations, PhD thesis, Budapest University of Technology and Economics, Department of Automation and Applied Informatics.
  9. Lengyel, L., Levendovszky, T., Mezei, G., Charaf, H., 2006. Model-Based Development with Strictly Controlled Model Transformation, In The 2nd Int. Workshop on Model-Driven Enterprise Information Systems, MDEIS 2006, Cyprus, pp. 39-48.
  10. OMG MDA Guide Version 1.0.1, 2003. Document number: omg/2003-06-01, www.omg.org/docs/omg/03-06-01.pdf
  11. OMG OCL Specification, Version 2.0, 2006. http://www.omg.org/
  12. OMG QVT, 2005. Meta Object Facility 2.0 Query/Views/Transformation Specification, http://www.omg.org/cgi-bin/apps/doc?ad/05-03-02.pdf
  13. OMG UML Specification, Version 2.1.1, 2007. http://www.uml.org/
  14. Rozenberg, G. (ed.) 1997, Handbook on Graph Grammars and Computing by Graph Transformation: Foundations, Vol.1 World Scientific, Singapore.
  15. Schürr, A., Winter, A.J., Zündorf, A., 1999. The PROGRES approach: Language and environment.
  16. Sprinkle, J., 2004. Model-Integrated Computing, IEEE Potentials, 23(1):28-30, 2004.
  17. Sztipanovits, J., Karsai, G., 1997. Model-Integrated Computing, IEEE Computer, pp. 110-112.
  18. Sztipanovits, J., Karsai, G., 2002, Generative Programming for Embedded Systems, LNCS 2487, pp. 32-49.
  19. Taentzer, G., 2003. AGG: A Graph Transformation Environment for System Modeling and Validation. In Proc. Tool Exihibition at Formal Methods 2003.
  20. Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varro D., VarroGyapay, Sz., 2005. Model Transformation by Graph Transformation: A Comparative Study, ACM/IEEE 8th Int. Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica.
  21. Thai T. and Lam H., 2003. .NET Framework Essentials, O'Reilly.
  22. Varró, D. and Pataricza, A., 2003. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML, Journal of Software and Systems Modeling.
  23. VMTS Website, 2003. http://www.vmts.aut.bme.hu/
Download


Paper Citation


in Harvard Style

Lengyel L., Levendovszky T., Mészáros T. and Charaf H. (2007). SUPPORTING DESIGN PATTERNS IN GRAPH REWRITING-BASED MODEL TRANSFORMATION . In Proceedings of the Second International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8111-10-4, pages 25-32. DOI: 10.5220/0002585100250032


in Bibtex Style

@conference{enase07,
author={László Lengyel and Tihamér Levendovszky and Tamás Mészáros and Hassan Charaf},
title={SUPPORTING DESIGN PATTERNS IN GRAPH REWRITING-BASED MODEL TRANSFORMATION},
booktitle={Proceedings of the Second International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2007},
pages={25-32},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002585100250032},
isbn={978-989-8111-10-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - SUPPORTING DESIGN PATTERNS IN GRAPH REWRITING-BASED MODEL TRANSFORMATION
SN - 978-989-8111-10-4
AU - Lengyel L.
AU - Levendovszky T.
AU - Mészáros T.
AU - Charaf H.
PY - 2007
SP - 25
EP - 32
DO - 10.5220/0002585100250032