Top

Published in:

2019 | OriginalPaper | Chapter

Incremental (Unidirectional) Model Transformation with eMoflon::IBeX

Authors : Nils Weidmann, Anthony Anjorin, Patrick Robrecht, Gergely Varró

Published in: Graph Transformation

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Graph transformation is a mature formalism often used as a basis for model transformation tools. Although numerous graph transformation tools exist, very few explore the paradigm of reactive, event-driven programming via incremental graph transformation. As we believe reactive programming to be a promising application for graph transformation in both research and teaching, we have developed eMoflon::IBeX as a suitable environment for incremental unidirectional model transformation via graph transformation. With eMoflon::IBeX, we have realised a novel mix of complementary tool features that have proven to be useful and effective in predecessor tools. We discuss these features and present insights based on an empirical evaluation of eMoflon::IBeX.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Two-Level Reasoning About Graph Transformation Programs

next chapter Knowledge Representation and Update in Hierarchies of Graphs

www.emoflon.org.

The Meta Object Facility.

Java Metadata Interface.

www.sparxsystems.de.

www.eclipse.org/Xtext/.

http://plantuml.com/en/eclipse.

www.drools.org.

http://bit.ly/2XT2fZ7.

https://bit.ly/2VV8hGJ.

With Dropbox Paper (https://www.dropbox.com/en_GB/paper), readers can communicate with authors via questions-and-answer threads directly integrated in the web-based document.

https://bit.ly/2VUCrdc.

Anjorin, A., Lauder, M., Patzina, S., Schürr, A.: eMoflon: leveraging EMF and professional CASE tools. In: Informatik 2011, p. 281 (2011)

Anjorin, A., Leblebici, E., Schürr, A.: 20 years of triple graph grammars: a roadmap for future research. ECEASST 73 (2015)

Anjorin, A., Robrecht, P.: Unidirectional model transformation with eMoflon::IBeX (2018). https://bit.ly/2Hw1zDa

Bergmann, G., Ráth, I., Varró, G., Varró, D.: Change-driven model transformations. SoSyM 11(3), 431–461 (2012)

Beyhl, T., Giese, H.: Incremental view maintenance for deductive graph databases using generalized discrimination networks. In: Heußner, A., Kissinger, A., Wijs, A. (eds.) GaM@ETAPS 2016. EPTCS, vol. 231, pp. 57–71 (2016)MathSciNetCrossRef

Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. SoSyM 11(2), 227–250 (2012)

Fritsche, L., Kosiol, J., Schürr, A., Taentzer, G.: Efficient model synchronization by automatically constructed repair processes. In: Hähnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 116–133. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-16722-6_7CrossRef

Klar, F., Königs, A., Schürr, A.: Model transformation in the large. In: ESEC-FSE 2007, pp. 285–294. ACM, New York (2007)

Klassen, L., Wagner, R.: EMorF - a tool for model transformations. ECEASST 54 (2012)

10.

Kluge, R., Stein, M., Giessing, D., Schürr, A., Mühlhäuser, M.: cMoflon: model-driven generation of embedded C code for wireless sensor networks. In: Anjorin, A., Espinoza, H. (eds.) ECMFA 2017. LNCS, vol. 10376, pp. 109–125. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61482-3_7CrossRef

11.

Leblebici, E., Anjorin, A., Fritsche, L., Varró, G., Schürr, A.: Leveraging incremental pattern matching techniques for model synchronisation. In: de Lara, J., Plump, D. (eds.) ICGT 2017. LNCS, vol. 10373, pp. 179–195. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61470-0_11CrossRef

12.

Leblebici, E., Anjorin, A., Schürr, A.: Developing eMoflon with eMoflon. In: Di Ruscio, D., Varró, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 138–145. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08789-4_10CrossRefMATH

13.

Perez, S.M., Tisi, M., Douence, R.: Reactive model transformation with ATL. Sci. Comput. Program. 136, 1–16 (2017)CrossRef

14.

Schneider, S., Lambers, L., Orejas, F.: A logic-based incremental approach to graph repair. In: Hähnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 151–167. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-16722-6_9CrossRef

15.

Varró, D., Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z.: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. SoSyM 15(3), 609–629 (2016)

16.

Varró, G., Anjorin, A., Schürr, A.: Unification of compiled and interpreter-based pattern matching techniques. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., Störrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 368–383. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31491-9_28CrossRef

17.

Varró, G., Deckwerth, F.: A rete network construction algorithm for incremental pattern matching. In: Duddy, K., Kappel, G. (eds.) ICMT 2013. LNCS, vol. 7909, pp. 125–140. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38883-5_13CrossRef

18.

Weber, J.H.: GRAPE – a graph rewriting and persistence engine. In: de Lara, J., Plump, D. (eds.) ICGT 2017. LNCS, vol. 10373, pp. 209–220. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61470-0_13CrossRef

19.

Yigitbas, E., Anjorin, A., Leblebici, E., Grieger, M.: Bidirectional method patterns for language editor migration. In: Pierantonio, A., Trujillo, S. (eds.) ECMFA 2018. LNCS, vol. 10890, pp. 97–114. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92997-2_7CrossRef

Title: Incremental (Unidirectional) Model Transformation with eMoflon::IBeX
Authors: Nils Weidmann
Anthony Anjorin
Patrick Robrecht
Gergely Varró
Publisher: Springer International Publishing
Book: Graph Transformation
Print ISBN: 978-3-030-23610-6

Electronic ISBN: 978-3-030-23611-3

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-23611-3_8

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner