Advertisement

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

  • Julia Padberg
  • Bettina E. Enders
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2505)

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.

Keywords

Mode Change Graph Transformation Graph Grammar Reachable Graph Minimal Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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. Cor00.
    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. Ehr79.
    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. ES01.
    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. FWH96.
    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. GHK98.
    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. HCEL96.
    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.zbMATHGoogle Scholar
  9. KJ96.
    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. Koc99.
    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. KR95.
    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.CrossRefGoogle Scholar
  12. Kre81.
    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. Mon92.
    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. Mül98.
    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. PE01.
    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. Rei85.
    W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer, 1985.Google Scholar
  17. Suc97.
    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. WFH96.
    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. WFH99.
    P. Wright, B. Fields, and M. Harrison. Analysing Human-Computer Interaction as Distributed Cognition. Draft-Revised, August 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Julia Padberg
    • 1
  • Bettina E. Enders
    • 1
  1. 1.Technical University of Berlin, University of EssenGermany

Personalised recommendations