Compiling Graph Transformation Rules into a Procedural Language for Behavioral Modeling

Sabine Winetzhammer, Bernhard Westfechtel

2014

Abstract

Graph transformation rules provide an opportunity to specify model transformations in a declarative way at a high level of abstraction. So far, compilers have translated graph transformation rules into conventional programming languages such as Java, C, or C#. In contrast, we have developed a compiler which translates graph transformation rules into a procedural language for behavioral modeling (Xcore). The generated code is significantly more concise and readable than programming language code. Furthermore, the code is portable since it is completely programming language independent.

References

  1. Agrawal, A., Karsai, G., Neema, S., Shi, F., and Vizhanyo, A. (2006). The design of a language for model transformations. Software and Systems Modeling, 5:261- 288.
  2. Anjorin, A., Lauder, M., Patzina, S., and Sch ürr, A. (2011). eMoflon: Leveraging EMF and Professional CASE Tools. In INFORMATIK 2011, volume 192 of Lecture Notes in Informatics, page 281, Bonn. Gesellschaft für Informatik, Gesellschaft für Informatik. extended abstract.
  3. Arendt, T., Biermann, E., Jurack, S., Krause, C., and Taentzer, G. (2010). Henshin: Advanced concepts and tools for in-place EMF model transformations. In Petriu, D. C., Rouquette, N., and Haugen, Ø., editors, Proceedings 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010), Part I, volume 6394 of Lecture Notes in Computer Science, pages 121-135, Oslo, Norway. Springer.
  4. Buchmann, T., Westfechtel, B., and Winetzhammer, S. (2011). ModGraph - A Transformation Engine for EMF Model Transformations. In Proceedings of the 6th International Conference on Software and Data Technologies (ICSOFT 2011), pages 212 - 219, Sevilla, Spain.
  5. Czarnecki, K. and Helsen, S. (2006). Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3):621-646.
  6. Dümmel, N. (2013). Refactoring mit Graphtransformationsregeln. Bachelor thesis, University of Bayreuth, Bayreuth, Germany.
  7. Eclipse Foundation (2013). http://wiki.eclipse.org/Xcore.
  8. Efftinge, S., Eysholdt, M., Köhnlein, J., Zarnekow, S., Hasselbring, W., von Massow, R., and Hanus, M. (2012). Xbase: Implementing domain-specific languages for java. In GPCE 7812 Proceedings of the 11th International Conference on Generative Programming and Component Engineering, pages 112-121. ACM, New York, NY, USA.
  9. Ehrig, H., Engels, G., Kreowski, H.-J., and Rozenberg, G., editors (1999). Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Fowler, M. (1999). Refactoring: Improving the Design of Existing Code. Addison-Wesley, Boston, MA, USA.
  10. Giese, H., Hildebrandt, S., and Seibel, A. (2009). Improved flexibility and scalability by interpreting story diagrams. In Boronat, A. and Heckel, R., editors, Proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2009), volume 18 of Electronic Communications of the EASST, York, UK. 12 p.
  11. Jakumeit, E., Buchwald, S., and Kroll, M. (2010). GrGen.NET - the expressive, convenient and fast graph rewrite system. International Journal on Software Tools for Technology Transfer, 12:263-271.
  12. Norbisrath, U., Zündorf, A., and Jubeh, R. (2013). Story Driven Modeling. CreateSpace Independent Publishing Platform. ISBN-10: 1483949257.
  13. OMG (2011). Meta Object Facility (MOF) 2.0 Query/View/Transformation, v1.1. OMG.
  14. Schürr, A., Winter, A., and Zündorf, A. (1999). The PROGRES approach: Language and environment. In Handbook of Graph Grammars and Computing by Graph Transformation: vol. 2: Applications, Languages, and Tools, pages 487-550. World Scientific Publishing.
  15. Steinberg, D., Budinsky, F., Paternostro, M., and Merks, E. (2009). EMF Eclipse Modeling Framework. The Eclipse Series. Addison Wesley, Boston, MA, 2nd edition.
  16. Varró, D. and Balogh, A. (2007). The model transformation language of the VIATRA2 framework. Science of Computer Programming, 68(3):214-234.
  17. Winetzhammer, S. (2012). ModGraph - generating executable EMF models. In Margaria, T., Padberg, J., Taentzer, G., Krause, C., and Westfechtel, B., editors, Proceedings of the 7th International Workshop on Graph Based Tools, volume 54 of Electronic Communications of the EASST, pages 32-44, Bremen, Germany. EASST.
  18. Winetzhammer, S. and Westfechtel, B. (2013). ModGraph meets Xcore: Combining rule-based and procedural behavioral modeling for EMF. In Tichy, M., Ribeiro, L., Margaria, T., Padberg, J., and Taentzer, G., editors, Proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2013), volume 58 of Electronic Communications of the EASST, page 13 p., Rome, Italy. EASST.
Download


Paper Citation


in Harvard Style

Winetzhammer S. and Westfechtel B. (2014). Compiling Graph Transformation Rules into a Procedural Language for Behavioral Modeling . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 415-424. DOI: 10.5220/0004723604150424


in Bibtex Style

@conference{modelsward14,
author={Sabine Winetzhammer and Bernhard Westfechtel},
title={Compiling Graph Transformation Rules into a Procedural Language for Behavioral Modeling},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={415-424},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004723604150424},
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 - Compiling Graph Transformation Rules into a Procedural Language for Behavioral Modeling
SN - 978-989-758-007-9
AU - Winetzhammer S.
AU - Westfechtel B.
PY - 2014
SP - 415
EP - 424
DO - 10.5220/0004723604150424