Skip to main content
SpringerLink
Log in

Tool Support for Functional Graph Rewriting with Persistent Data Structures - GrapeVine

  • Conference paper
  • First Online:
Graph Transformation (ICGT 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13349))

Included in the following conference series:

Abstract

Existing graph transformation (GT) tools treat graphs as ephemeral data structures, i.e., the successful application of a GT rule to a graph G rewrites that graph to produce a modified graph \(G'\). The original graph G is lost during that update. In contrast to ephemeral data structures, persistent data structures preserve access to all previous versions when data is modified and fully persistent data structures even allow all previous versions to be modified. In earlier work, we introduced the Graph Rewriting and Persistence Engine Grape as a tool for specifying and executing transformations on large-scale graphs and integrated it with a computational notebook platform (GrapePress). While the term “persistence” has been in the tool’s acronym from the start, it was chosen to indicate that graphs were maintained in a database with transactional support. Until now, Grape (and GrapePress) treated graphs as ephemeral data structures, i.e., previous graph versions were not retained upon modification. This paper presents a major revision of the tool (called GrapeVine) to support functional graph rewriting based on a fully persistent data structure.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Aouat, A., Bendella, F., Deba, E.a.: Tools of model transformation by graph transformation. In: IEEE CSAE 2012, pp. 425–428 (2012). https://doi.org/10.1109/ICSESS.2012.6269495

  2. 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_15

    Chapter  MATH  Google Scholar 

  3. Barmpis, K., Kolovos, D.: Hawk: towards a scalable model indexing architecture. In: Proceedings of the of ACM BigMDE 2013 (2013). https://doi.org/10.1145/2487766.2487771

  4. Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae 26(3, 4), 241–265 (1996). https://doi.org/10.3233/FI-1996-263402

  5. Ehrig, H., Habel, A.: Graph Grammars with Application Conditions, pp. 87–100. Springer, CHam (1986). https://doi.org/10.1007/978-3-642-95486-3_7

  6. Ehrig, H., et al.: Algebraic approaches to graph transformation - Part II: single pushout approach and comparison with double pushout approach. In: Handbook of Graph Grammars and Computing by Graph Transformation, pp. 247–312 (1997). https://doi.org/10.1142/9789812384720_0004

  7. Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3, 4), 287–313 (1996). https://doi.org/10.3233/FI-1996-263404

  8. Jahnke, J.H., Schäfer, W., Wadsack, J.P., Zündorf, A.: Supporting iterations in exploratory database reengineering processes. Sci. Comput. Program. 45(2–3), 99–136 (2002). https://doi.org/10.1016/S0167-6423(02)00056-4

    Article  MATH  Google Scholar 

  9. Kaplan, H.: Persistent data structures. In: Handbook of Data Structures and Applications, pp. 511–527. Chapman and Hall/CRC (2018)

    Google Scholar 

  10. Nickel, U., Niere, J., Zündorf, A.: The fujaba environment. In: Proceedings of ICSE, pp. 742–745 (2000). https://doi.org/10.1145/337180.337620

  11. Orejas, F., Ehrig, H., Prange, U.: A logic of graph constraints. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 179–198. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78743-3_14

    Chapter  Google Scholar 

  12. Pfaltz, J.L., Nagl, M., Bohlen, B.: AGTIVE 2003, vol. 3062 LNCS. Springer (2004)

    Google Scholar 

  13. 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_40

    Chapter  Google Scholar 

  14. Rensink, A.: Isomorphism checking in groove. Electr. Commun. EASST 1 (2007). https://doi.org/10.14279/tuj.eceasst.1.77

  15. Rensink, A., Van Gorp, P.: Graph transformation tool contest 2008. Int. J. Softw. Tools Technol. Transfer 12(3), 171–181 (2010). https://doi.org/10.1007/s10009-010-0157-7

    Article  Google Scholar 

  16. Runge, O., Ermel, C., Taentzer, G.: AGG 2.0 – new features for specifying and analyzing algebraic graph transformations. In: Schürr, A., Varró, D., Varró, G. (eds.) AGTIVE 2011. LNCS, vol. 7233, pp. 81–88. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-34176-2_8

    Chapter  Google Scholar 

  17. Schürr, A., Varró, D., Varró, G. (eds.) AGTIVE 2011. LNCS, vol. 5088 LNCS. Springer (2008)

    Google Scholar 

  18. Schürr, A., Rensink, A.: Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling. Softw. Syst. Model. 13(1), 171–172 (2012). https://doi.org/10.1007/s10270-012-0254-z

    Article  Google Scholar 

  19. Schürr, A., Varró, D., Varró, G.: AGTIVE 2011, vol. 7233 LNCS. Springer (2012)

    Google Scholar 

  20. Taentzer, G.: AGG: a graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446–453. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25959-6_35

    Chapter  Google Scholar 

  21. 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_13

    Chapter  Google Scholar 

  22. Weber, J.H.: Grapepress - a computational notebook for graph transformations. In: Graph Transformation, LNCS, vol. 12741, pp. 294–302. Springer (2021). https://doi.org/10.1007/978-3-030-78946-6_16

Download references

Author information

Authors and Affiliations

  1. University of Victoria, Victoria, BC, Canada

    Jens H. Weber

Authors
  1. Jens H. Weber
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jens H. Weber .

Editor information

Editors and Affiliations

  1. Université Paris Cité, Paris, France

    Nicolas Behr

  2. Computer Science and Engineering, Chalmers | Gothenburg University, Gothenburg, Sweden

    Daniel Strüber

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Weber, J.H. (2022). Tool Support for Functional Graph Rewriting with Persistent Data Structures - GrapeVine. In: Behr, N., Strüber, D. (eds) Graph Transformation. ICGT 2022. Lecture Notes in Computer Science, vol 13349. Springer, Cham. https://doi.org/10.1007/978-3-031-09843-7_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-09843-7_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-09842-0

  • Online ISBN: 978-3-031-09843-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation