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

Authors:
Julia Padberg;Bettina Enders
Affiliations:
-;-
Venue:
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Year:
2002

Citing 6
Cited 2

Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach

Handbook of graph grammars and computing by graph transformation
Formal Relationship between Graph Grammars and Petri Nets

Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Introduction to the Algebraic Theory of Graph Grammars (A Survey)

Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
A Comparison Between Petri-Nets and Graph Grammars

WG '80 Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science
Formal specification of human-computer interaction by graph grammars under consideration of information resources

ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Describing A Continuous Collaborative Specification Process Of Human-Computer Interaction By Graph Rewriting

Journal of Integrated Design & Process Science

Workshop on Petri Nets and Graph Transformations

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Workshop on petri nets and graph transformations

ICGT'06 Proceedings of the Third international conference on Graph Transformations

Quantified Score

Hi-index	0.00

Visualization

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.