Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

A Living Monograph for Graph Transformation

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

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

Included in the following conference series:

  • 325 Accesses

Abstract

A preliminary account of the notion of a living monograph for the field of graph transformation, and the reasons that led us to it, is given. The advantages of such a system are discussed along with the technical problems that will need to be overcome in order to build it.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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

Notes

  1. 1.

    CoREACT: COq-based Rewriting: towards Executable Applied Category Theory (ANR-22-CE48-0015).

  2. 2.

    e.g. the preservation of monomorphisms under pushout or the stability of pushouts under pullbacks.

References

  1. The QED manifesto. In: Bundy, A. (ed.) Automated Deduction - CADE-12. CADE 1994. LNCS, vol. 814, pp. 238–251. Springer, Berlin, Heidelberg (1994)

    Google Scholar 

  2. Alama, J., Brink, K., Mamane, L., Urban, J.: Large formal wikis: issues and solutions. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) CICM 2011. LNCS (LNAI), vol. 6824, pp. 133–148. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22673-1_10

    Chapter  Google Scholar 

  3. Arias, E.J.G., Pin, B., Jouvelot, P.: jsCoq: towards hybrid theorem proving interfaces. In: Proceedings of UITP 2016, vol. 239, pp. 15–27. EPTCS (2017)

    Google Scholar 

  4. Arsac, S.: Coq formalization of graph transformation. Master’s thesis, Université Paris-Cité (2022). https://www.samuelarsac.fr/rapport22.pdf

  5. 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_30

    Chapter  MATH  Google Scholar 

  6. Behr, N., Harmer, R., Krivine, J.: Concurrency theorems for non-linear rewriting theories. In: Gadducci, F., Kehrer, T. (eds.) ICGT 2021. LNCS, vol. 12741, pp. 3–21. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-78946-6_1

    Chapter  Google Scholar 

  7. Behr, N., Harmer, R., Krivine, J.: Fundamentals of compositional rewriting theory (2022). https://arxiv.org/abs/2204.07175

  8. Bertot, Y., Kahn, G., Théry, L.: Proof by pointing. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol. 789, pp. 141–160. Springer, Heidelberg (1994). https://doi.org/10.1007/3-540-57887-0_94

    Chapter  Google Scholar 

  9. Bertot, Y., Castéran, P.: Interactive theorem proving and program development. In: Bertot, Y., Castéran, P. (eds.) Texts in Theoretical Computer Science. An EATCS Series, Springer, Berlin, Heidelberg (2004). https://doi.org/10.1007/978-3-662-07964-5

  10. Claus, V., Ehrig, H., Rozenberg, G.: Graph-grammars and their application to computer science and biology. LNCS, vol. 73. Springer, Berlin, Heidelberg (1979). https://doi.org/10.1007/BFb0025713

  11. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. In: Ehrig, H., Ehrig, K., Prange, U., Taentzer, G. (eds.) Texts in Theoretical Computer Science. An EATCS Series, Springer, Berlin, Heidelberg (2006). https://doi.org/10.1007/3-540-31188-2

  12. Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages and Tools. World Scientific, Singapore (1999)

    Google Scholar 

  13. Ehrig, H., Kreowski, H.J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 3: Concurrency, Parallelism, and Distribution. World Scientific, Singapore (1999)

    Google Scholar 

  14. Ehrig, H., Nagl, M., Rozenberg, G., Rosenfeld, A. (eds.): Graph Grammars 1986. LNCS, vol. 291. Springer, Heidelberg (1987). https://doi.org/10.1007/3-540-18771-5

    Book  Google Scholar 

  15. Elliott, J., Turner, T., Clavisi, O., Thomas, J., Higgins, J., Mavergames, C., Gruen, R.: Living systematic reviews: an emerging opportunity to narrow the evidence-practice gap. PLoS Med. 11(2), e1001603 (2014)

    Article  Google Scholar 

  16. Garner, R., Lack, S.: On the axioms for adhesive and quasiadhesive categories. Theory Appl. Categories 27(3), 27–46 (2012)

    MathSciNet  MATH  Google Scholar 

  17. Harju, T., Petre, I., Rozenberg, G.: Tutorial on DNA computing and graph transformation. In: Corradini, A., Ehrig, H., Kreowski, H., Rozenberg, G. (eds.) Graph Transformation. ICGT 2002. LNCS, vol. 2505, pp. 430–434. Springer, Berlin, Heidelberg (2002)

    Google Scholar 

  18. Heckel, R., Taentzer, G.: Graph Transformation for Software Engineers. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-43916-3

    Book  Google Scholar 

  19. Kohlhase, M., Rabe, F.: QED reloaded: towards a pluralistic formal library of mathematical knowledge. J. Formalized Reasoning 9(1), 201–234 (2016)

    MathSciNet  MATH  Google Scholar 

  20. Lack, S., Sobociński, P.: Adhesive and quasiadhesive categories. RAIRO - Theor. Inform. Appl. 39(3), 511–545 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  21. Pfaltz, J.L., Rosenfeld, A.: Web Grammars. In: Proceedings of the 1st International Joint Conference on Artificial Intelligence, pp. 609–619 (1969)

    Google Scholar 

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

    Google Scholar 

  23. Schneider, H.J.: Chomsky-languages for multidimensional input-media. In: Proceedings of the International Computing Symposium, pp. 599–608 (1970)

    Google Scholar 

  24. Söldner, R., Plump, D.: Towards mechanised proofs in double-pushout graph transformation. In: Proceedings of GCM 2022, vol. 374, 59–75. EPTCS (2022)

    Google Scholar 

  25. Strecker, M.: Interactive and automated proofs for graph transformations. Math. Struct. Comput. Sci. 28(8), 1333–1362 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  26. Wheary, J., Schutz, B.: Living reviews in relativity: making an electronic journal live. J. Electr. Publish. 3(1) (1997)

    Google Scholar 

  27. Wiedijk, F.: The QED manifesto revisited. Stud. Logic, Grammar Rhetoric 10(23), 121–133 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université Paris Cité, CNRS, IRIF, 8 Place Aurélie Nemours, 75205, Paris Cedex 13, France

    Nicolas Behr

  2. Université de Lyon, ENS de Lyon, UCBL, CNRS, LIP, 46 allée d’Italie, 69364, Lyon Cedex 07, France

    Russ Harmer

Authors
  1. Nicolas Behr
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Russ Harmer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Russ Harmer .

Editor information

Editors and Affiliations

  1. King's College London, London, UK

    Maribel Fernández

  2. Singapore Management University, Singapore, Singapore

    Christopher M. Poskitt

Rights and permissions

Reprints and permissions

Copyright information

© 2023 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

Behr, N., Harmer, R. (2023). A Living Monograph for Graph Transformation. In: Fernández, M., Poskitt, C.M. (eds) Graph Transformation. ICGT 2023. Lecture Notes in Computer Science, vol 13961. Springer, Cham. https://doi.org/10.1007/978-3-031-36709-0_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-36709-0_15

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-36708-3

  • Online ISBN: 978-3-031-36709-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation