Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
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.
KeywordsMode Change Graph Transformation Graph Grammar Reachable Graph Minimal Graph
Unable to display preview. Download preview PDF.
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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.
- Rei85.W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer, 1985.Google Scholar
- 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
- 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
- WFH99.P. Wright, B. Fields, and M. Harrison. Analysing Human-Computer Interaction as Distributed Cognition. Draft-Revised, August 1999.Google Scholar