nach oben

Erschienen in:

2021 | OriginalPaper | Buchkapitel

GrapePress - A Computational Notebook for Graph Transformations

verfasst von : Jens H. Weber

Erschienen in: Graph Transformation

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Computational notebooks (CNs) have gained popularity in data science, artificial intelligence, and engineering. CNs are used to document experiments and make them repeatable by incorporating executable segments and renderings of computational results. Graphs and computations by graph transformations have applications in many problem domains but they are not supported by current CNs. Existing graph transformation tools require a steep learning curve and are not integrated with CNs. In order to close this gap, we have developed GrapePress a CN that incorporates graphs and computations by graph transformations. We present the fundamental concepts for GrapePress and describe its use in documenting executable experiments involving graph transformations to approach real world problems in science and engineering.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Vorheriges Kapitel Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars

https://colab.research.google.com/.

https://jupyter.org/.

https://nteract.io.

http://gorilla-repl.org.

https://github.com/jenshweber/grape.

https://mermaid-js.github.io.

Abiteboul, S., Vianu, V.: Regular path queries with constraints. J. Comput. Syst. Sci. 58(3), 428–452 (1999)MathSciNetCrossRef

Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16145-2_9CrossRef

Baldan, P., Corradini, A., Foss, L., Gadducci, F.: Graph transactions as processes. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 199–214. Springer, Heidelberg (2006). https://doi.org/10.1007/11841883_15CrossRefMATH

Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: a software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 402–429. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45832-8_30CrossRefMATH

van Binsbergen, L.T., Verano Merino, M., Jeanjean, P., et al.: A principled approach to REPL interpreters. In: ACM SIGPLAN, pp. 84–100 (2020)

Bunke, H.: Programmed graph grammars. In: Claus, V., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol. 73, pp. 155–166. Springer, Heidelberg (1979). https://doi.org/10.1007/BFb0025718CrossRef

Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. AI 49(1–3), 61–95 (1991)MathSciNetMATH

Ehrig, H., Habel, A.: Graph grammars with application conditions. In: The Book of L, pp. 87–100. Springer, Berlin (1986). https://doi.org/10.1007/978-3-642-95486-3_7

Fritsche, L., Kulcsár, G.: eMoflon: a tool for tools and transformations. Modellierung 2018 (2018)

10.

Giese, H., Hildebrandt, S., Lambers, L.: Toward bridging the gap between formal semantics and implementation of triple graph grammars. In: Workshop on Model-Driven Engineering, Verification, and Validation, pp. 19–24. IEEE (2010)

11.

Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3, 4), 287–313 (1996)MathSciNetCrossRef

12.

Hinkel, G., Goldschmidt, T.: Tool support for model transformations: on solutions using internal languages. Modellierung 2016 (2016)

13.

Kery, M.B., Radensky, M., Arya, M., et al.: The story in the notebook: exploratory data science using a literate programming tool, pp. 1–11. ACM (2018)

14.

Knuth, D.E.: Literate programming. Comput. J. 27(2), 97–111 (1984)CrossRef

15.

de Lara, J., Vangheluwe, H.: Defining visual notations and their manipulation through meta-modelling and graph transformation. J. Vis. Lang. Comput. 15(3–4), 309–330 (2004)CrossRef

16.

Nickel, U., Niere, J., Zündorf, A.: The FUJABA environment. In: ICSE, pp. 742–745 (2000)

17.

Oakes, B.J., Franceschini, R., Van Mierlo, S., et al.: The computational notebook paradigm for multi-paradigm modeling. In: MODELS, pp. 449–454. IEEE (2019)

18.

Westfechtel, B.: AGTIVE’03: summary from a tool builder’s viewpoint. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 493–495. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25959-6_44CrossRef

19.

Rensink, A.: The GROOVE simulator: a tool for state space generation. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479–485. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25959-6_40CrossRef

20.

Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1997)CrossRef

21.

Rule, A., Tabard, A., Hollan, J.D.: Exploration and explanation in computational notebooks, pp. 1–12. ACM, New York (2018)

22.

Rensink, A., Taentzer, G.: AGTIVE 2007 graph transformation tool contest. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 487–492. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89020-1_33 CrossRef

23.

Schürr, A., Rensink, A.: Software and systems modeling with graph transformations theme issue. Softw. Syst. Model. 13(1), 171–172 (2014)CrossRef

24.

Schürr, A., Winter, A.J., Zündorf, A.: Graph grammar engineering with PROGRES. In: Schäfer, W., Botella, P. (eds.) ESEC 1995. LNCS, vol. 989, pp. 219–234. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-60406-5_17CrossRef

25.

Van Gorp, P., Mazanek, S.: Share: a web portal for creating and sharing executable research papers. Proc. Comput. Sci. 4, 589–597 (2011)CrossRef

26.

Wang, A.Y., Mittal, A., et al.: How data scientists use computational notebooks for real-time collaboration. In: Proceedings of ACM HCI 3(CSCW), November 2019

27.

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

28.

Zündorf, A., George, T., Lindel, S., et al.: Story driven modeling libary (SDMLib). In: 6th Transformation Tool Contest (TTC 2013), ser. EPTCS (2013)

Titel: GrapePress - A Computational Notebook for Graph Transformations
verfasst von: Jens H. Weber
Verlag: Springer International Publishing
Buch: Graph Transformation
Print ISBN: 978-3-030-78945-9

Electronic ISBN: 978-3-030-78946-6

Copyright-Jahr: 2021
DOI: https://doi.org/10.1007/978-3-030-78946-6_16

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"