Survey of Graph Rewriting applied to Model Transformations

Francisco de la Parra, Thomas Dean

Abstract

Model-based software development has become a mainstream approach for efficiently producing designs, test suites and program code. In this context, model-to-model transformations have become first-class entities and their classification, formalization and implementation are the subject of ongoing research. This work surveys the characteristics and properties of graph rewriting systems and their application to formalize and implement transformations of language-based software models. A model’s structure or behaviour can be abstracted into the definition of a given graph type. Its structural and behavioural changes can be represented by rule-based transformation of graphs.

References

  1. Amelunxen, C., Legros, E., Schürr, A., and Stürmer, I. (2008). Checking and enforcement of modeling guidelines with graph transformations. In AGTIVE'07, 3rd International Workshop on Application of Graph Transformations with Industrial Relevance, volume 5088 of LNCS, pages 241-255. Springer.
  2. Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., Plump, D., Schürr, A., and Taentzer, G. (1999). Graph transformation for specification and programming. Science of Computer Programming, 34:1-54.
  3. Balasubramanian, D., Narayanan, A., van Buskirk, C., and Karsai, G. (2006). The graph rewriting and transformation language: GReAT. In GraBats 2006, 3rd
  4. Balogh, A. and Varró, D. (2006). Advanced model transformation language constructs in the VIATRA2 framework. In SAC'06, 2006 ACM Symposium on Applied Computing, New York, USA.
  5. Bézivin, J. (2004). In search of a basic principle for model driven engineering. UPGRADE -The European Journal for the Informatics Professional, 2:21-24.
  6. Boyd, M. and McBrien, P. (2005). Comparing and transforming between data models via an intermediate hypergraph data model. Data Semantics, 3730:69-109.
  7. Buchmann, T., Dotor, A., Uhrig, S., and Westfechtel, B. (2008). Model-driven software development with graph transformations: A comparative case study. In AGTIVE 7807, 3rd International Workshop on Application of Graph Transformations with Industrial Relevance, volume 5088 of LNCS, pages 273-280. Springer.
  8. Courcelle, B. (1987). An axiomatic definition of contextfree rewriting and its application to NLC graph grammars. Theoretical Computer Science, 55(2-3):141- 181.
  9. Czarnecki, K., Foster, J., Hu, Z., Lämmel, R., Schürr, A., and Terwilliger, J. (2009). Bidirectional transformations: A cross-discipline perspective. In ICMT2009, Theory and Practice of Model Transformations: Second International Conference, volume 32 of LNCS, pages 260-283. Springer.
  10. Czarnecki, K. and Helsen, S. (2006). Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3):621-645.
  11. de Lara, J., Guerra, E., and Vangheluwe, H. (2004a). Metamodeling, graph transformation and model checking for the analysis of hybrid systems. In AGTIVE 7803, 2nd International Workshop on Application of Graph Transformations with Industrial Relevance, volume 3062 of LNCS, pages 292-298. Springer.
  12. de Lara, J., Vangheluwe, H., and Fonseca, M. (2004b). Meta-modeling and graph grammars for multiparadigm modelling in AToM3. Journal of Software and Systems Modeling, 3(3):194-209.
  13. Dean, T. and Cordy, J. (1995). A syntactic theory of software architecture. IEEE Transactions on Software Engineering, 21(4):302-313.
  14. Drewes, F., Hofmann, B., and Minas, M. (2008). Adaptive star grammars for graph models. In ICGT 2008, 4th International Conference on Graph Transformations, volume 5214 of LNCS, pages 442-457. Springer.
  15. Ehrig, H. (1979). Introduction to the algebraic theory of graph grammars (a survey). In International Workshop on Graph-Grammars and Their Application to Computer Science and Biology, volume 73 of LNCS, pages 1-69. Springer.
  16. Ehrig, H., Ehrig, K., Prange, U., , and Taentzer, G. (2006). Fundamentals of Algebraic Graph Transformation. EATCS. Springer.
  17. Ehrig, H., Engels, G., Kreowski, H., and G.Rozenberg, editors (1999). Handbook of Graph Grammars and Com-
  18. puting by Graph Transformation, volume 2. World
  19. Ehrig, H., Habel, A., Kreowski, H.-J., and Parisi-Presicce, F. (1991). From graph grammars to high level replacement systems. In 4th International Workshop on Graph Grammars and their Application to Computer Science, volume 532 of LNCS, pages 269-291. Springer.
  20. Grunske, L., Geiger, L., Zündorf, A., van Eetvelde, N., van Gorp, P., and Varró, D. (2005). Using graph transformation for practical model-driven software engineering. In Model-Driven Software Development, pages 91-117. Springer.
  21. Habel, A. (1992). Hyperedge Replacement: Grammars and Languages, volume 643 of LNCS. Springer.
  22. Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., Gottmann, S., and Engel, T. (2013). Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Software and Systems Modeling.
  23. Himsolt, M. (1991). GraphEd : An interactive tool for building graph grammars. In 4th International Workshop on Graph Grammars and their Application to Computer Science, volume 532 of LNCS, pages 61-65. Springer.
  24. Karsai, G. (2010). Lessons learned from building a graph transformation system. In Graph Transformations and Model-Driven Engineering, volume 5765 of LNCS, pages 202-223. Springer.
  25. Karsai, G., Agrawal, A., Shi, F., and Sprinkle, J. (2003). On the use of graph transformation in the formal specification of model interpreters. Journal of Universal Computer Science, 9(11):1296-1321.
  26. Kent, S. (2002). Model driven engineering. In 3rd International Conference on Integrated Formal Methods, volume 2335 of LNCS, pages 286-298. Springer.
  27. Kreowski, H.-J., Kuske, S., and von Totth, C. (2010). Stepping from graph transformations units to model transformation units. In GraMot 2010, International Colloquium on Graph and Model Transformation, volume 30 of Electronic Communications of the EASST.
  28. Kühne, T. (2006). Matters of (meta-) modeling. Journal of Software and Systems Modeling, 5(4):369-385.
  29. Legros, E., Schäfer, W., Schürr, A., and Stürmer, I. (2011). MATE - a model analysis and transformation environment for MATLAB Simulink. In International Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of LNCS, pages 323-328. Springer.
  30. Levendovzky, T., Lengyel, L., and Mézáros, T. (2009). Supporting domain-specific model patterns with metamodeling. Journal of Software and Systems Modeling, 8(4):501-520.
  31. Mens, T. and Gorp, P. V. (2006). A taxonomy of model transformation. In GraMoT 2005, International Workshop on Graph and Model Transformation, volume 152 of Electronic Notes in Theoretical Computer Science, pages 125-142. Elsevier.
  32. Metzger, A. (2005). A systematic look at model transformations. In Model-Driven Software Development, pages 19-33. Springer.
  33. Nagl, M. (1987). Set theoretic approaches to graph grammars. In 3rd International Workshop on Graph Grammars and their Application to Computer Science, volume 291 of LNCS, pages 41-54. Springer.
  34. Nagl, M. and Schürr, A. (1991). A specification environment for graph grammars. In 4th International Workshop on Graph Grammars and their Application to Computer Science, volume 532 of LNCS, pages 599- 609. Springer.
  35. Neema, S. and Karsai, G. (2006). Software for automotive systems: Model-integrated computing. In Automotive Software - Connected Services in Mobile Networks, volume 4147 of LNCS, pages 116-136. Springer.
  36. Nickel, U., Niere, J., and Zündorf, A. (2000). The FUJABA environment. In ICSE'00, 22nd International Conference on Software Engineering, pages 742-745, New York, NY, USA. ACM.
  37. Object Management Group (2011). Meta Object Facility (MOF) 2.0 Query / View / Transformation Specification, version 1.1, January 2011. version 1.1.
  38. Prieto-Díaz, R. (1990). Domain analysis: An introduction. ACM SIGSOFT Software Engineering Notes, 15(2):47-54.
  39. Rozenberg, G., editor (1997). Handbook of Graph Grammars and Computing by Graph Transformation, volume 1. World Scientific Publishing.
  40. Schürr, A. (1995). Specification of graph translators with triple graph grammars. In 20th International Workshop on Graph-Theoretic Concepts in Computer Science, volume 903 of LNCS, pages 151-163. Springer.
  41. Schürr, A., Winter, A. J., and Zündorf, A. (1995). Graph grammar engineering with PROGRES. In ESEC 7895, 5th European Software Engineering Conference, volume 989 of LNCS, pages 219-234. Springer.
  42. Stevens, P. (2010). Bidirectional model transformations in QVT: Semantic issues and open questions”, JOURNAL = ”Journal of Software and Systems Modeling. 9(1):7-20.
  43. Taentzer, G. (2004). AGG: A graph transformation environment for modeling and validation of software. In AGTIVE 2003, 2nd International Symposium on Applications of Graph Transformations with Industrial Relevance, volume 3062 of LNCS, pages 446-453. Springer.
  44. Weisemöller, I., Klar, F., and Schürr, A. (2011). Development of tool extensions with MOFLON. In International Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of LNCS, pages 337-343. Springer.
Download


Paper Citation


in Harvard Style

de la Parra F. and Dean T. (2014). Survey of Graph Rewriting applied to Model Transformations . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 431-441. DOI: 10.5220/0004731504310441


in Bibtex Style

@conference{modelsward14,
author={Francisco de la Parra and Thomas Dean},
title={Survey of Graph Rewriting applied to Model Transformations},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={431-441},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004731504310441},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Survey of Graph Rewriting applied to Model Transformations
SN - 978-989-758-007-9
AU - de la Parra F.
AU - Dean T.
PY - 2014
SP - 431
EP - 441
DO - 10.5220/0004731504310441