Skip to main content
SpringerLink
Log in

Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems

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

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

Included in the following conference series:

Abstract

Automating software engineering activities for developing safety-critical systems reliably and correctly brings along the challenge to combine expressive specification methods with powerful analysis techniques. The focus of this paper lies in the analysis of graph transformation systems by analysis techniques transferred from Petri nets. Since Petri nets are famous for their powerful analysis techniques we have started to transfer several notions from Petri nets to graph transformation systems. Especially, invariants provide vast possibilities for analysing a model. Hence, we have transferred transition invariants to rule invariants in graph transformation systems. This allows a suitable analysis of graph transformation systems as is exemplified by a safety-critical system specification in the area of human-computer interaction.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. CEL+94._A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and F. Rossi. Note on standard representation of graphs and graph derivations. In Proc. Graph Grammar Workshop Dagstuhl 93, pages 104–118, 1994. Lecture Notes in Computer Science 776.

    Google Scholar 

  2. CMR+97._A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic Approaches to Graph Transformation-Part I: Basic Concepts and Double Pushout Approach, volume 1, chapter 3, pages 163–245. World Scientific, 1997. G. Rozenberg (ed.).

    Google Scholar 

  3. Andrea Corradini. Concurrent computing: from Petri nets to graph grammars. In A. Corradini and U. Montanari, editors, Electronic Notes in Theoretical Computer Science, volume 2. Elsevier Science Publishers, 2000.

    Google Scholar 

  4. H. Ehrig. Introduction to the Algebraic Theory of Graph Grammars (A Survey). In Graph Grammars and their Application to Computer Science and Biology. Springer LNCS 73, 1979.

    Google Scholar 

  5. B. E. Enders-Sucrow. Describing a Continuous Collaborative Specification Process of Human-Computer Interaction by Graph Rewriting. In a Special Issue of the Transactions of the SDPS: Journal of Integrated Design and Process Science, volume 5 of 1. Society for Design and Process Science, March 2001.

    Google Scholar 

  6. B. Fields, P. Wright, and M. Harrison. Designing Human-System Interaction Using The Resource Model. In Proceedings of APCHI’96: Asia Pacific Conference on Human-Computer Interaction, Singapore, June 1996.

    Google Scholar 

  7. F. Gadducci, R. Heckel, and M. Koch. Model checking graph-interpreted temporal formulas. In G. Engels and G. Rozenberg, editors, Proc. 6th International Workshop on Theory and Applications of Graph Transformation (TAGT’98), number tr-ri-98-201 in Reihe Informatik, pages 292–299. Universität-Gesamthochschule Paderborn, 1998.

    Google Scholar 

  8. R. Heckel, A. Corradini, H. Ehrig, and M. Löwe. Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science, 6(6):613–648, 1996.

    MATH  Google Scholar 

  9. V. De Keyser and D. Javaux. Human Factors in Aeronautics, pages 28–45. Springer, Vienna, 1996. F. Bodart and J. Vanderdonckt (eds.).

    Google Scholar 

  10. M. Koch. Integration of Graph Transformation and Temporal Logic for the Specification of Distributed Systems. PhD thesis, Technische Universität Berlin, FB 13, 1999.

    Google Scholar 

  11. M. Korff and L. Ribeiro. Formal relationship between graph grammars and Petri nets. In J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, Graph Grammars and their Applications to Computer Science, pages 288–303. Springer, LNCS 1073, 1995. 5th International Workshop, Williamsburg, USA, November 1994, Selected Papers.

    Chapter  Google Scholar 

  12. H.-J. Kreowski. A comparison between Petri-nets and graph grammars. In Lecture Notes in Computer Science 100, pages 1–19. Springer, 1981.

    Google Scholar 

  13. A. Monnier. Rapport préliminaire de la Commission d’enquête administrative sur l’accident du Mont Saint-Odile du 20 janvier 1992. Technical report, Ministère de l’Equipement, du Logement, des Transports et de l’Espace, Paris, France, 1992.

    Google Scholar 

  14. J. Müller. Terminating and cyclic graph rewriting. In G. Engels and G. Rozenberg, editors, Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT’98), number tr-ri-98-201 in Reihe Informatik, pages 316–323. Universität-Gesamthochschule Paderborn, 1998.

    Google Scholar 

  15. J. Padberg and B. E. Enders. Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. Internal report, http://www.informatik.uni-essen.de/enders/Papers/textframe.html, 2001.

  16. W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer, 1985.

    Google Scholar 

  17. B. E. Sucrow. Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources. In Proceedings of the 1997 Automated Software Engineering Conference (ASE’97), pages 28–35. IEEE Computer Society, November 1–5 1997.

    Google Scholar 

  18. P. Wright, B. Fields, and M. Harrison. Distributed Information Resources: A New Approach to Interaction Modelling. In T. Green and J. Canas and C. Warran, editor, EACE, pages 5–10, 1996.

    Google Scholar 

  19. P. Wright, B. Fields, and M. Harrison. Analysing Human-Computer Interaction as Distributed Cognition. Draft-Revised, August 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technical University of Berlin, University of Essen, Germany

    Julia Padberg & Bettina E. Enders

Authors
  1. Julia Padberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bettina E. Enders
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125, Pisa, Italy

    Andrea Corradini

  2. Computer Science Department, Technical University of Berlin, Franklinstraße 28/29, 10587, Berlin, Germany

    Hartmut Ehrig

  3. Computer Science Department, University of Bremen, Bibliothekstraße 1, 28359, Bremen, Germany

    Hans -Jörg Kreowski

  4. Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333, CA Leiden, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Padberg, J., Enders, B.E. (2002). Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. In: Corradini, A., Ehrig, H., Kreowski, H.J., Rozenberg, G. (eds) Graph Transformation. ICGT 2002. Lecture Notes in Computer Science, vol 2505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45832-8_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-45832-8_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44310-0

  • Online ISBN: 978-3-540-45832-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation