Enders, B.e.; Padberg, J.:
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
In: Proceedings of the ICGT 2002 -- 1st International Conference on Graph Transformation, Barcelona, Spain October 7-12 2002 : Lecture Notes In Computer Science - Berlin / Heidelberg: Springer, 2002
Buchaufsatz/Kapitel in Sammelwerk / Fach: Wirtschaftswissenschaften
Titel:
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
Autor(in):
Enders, B.e.; Padberg, J.
Erscheinungsjahr:
2002
Erschienen in:
Proceedings of the ICGT 2002 -- 1st International Conference on Graph Transformation, Barcelona, Spain October 7-12 2002 : Lecture Notes In Computer Science - Berlin / Heidelberg: Springer, 2002
ISBN:
Link URL:

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.