Baldan, Paolo; Corradini, Andrea; König, Barbara:
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars-A Case Study
In: Proceedings of the Sixth World Conference on Integrated Design & Process Technology (IDPT 2002) / Ehrig, H.; Krämer, B.; Ertas, A. (Hrsg.). - Pasadena: Society for Design and Process Science, 2002
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars-A Case Study
Autor(in):
Baldan, Paolo; Corradini, Andrea; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2002
Erschienen in:
Proceedings of the Sixth World Conference on Integrated Design & Process Technology (IDPT 2002) / Ehrig, H.; Krämer, B.; Ertas, A. (Hrsg.). - Pasadena: Society for Design and Process Science, 2002
Link URL:

Abstract:

We consider a distributed system with mobility modelled as a graph transformation system. Then we show that non-secure level processes cannot influence secure level processes, a property formalized as the absence of causal dependencies between such processes. This is done by resorting to an analysis technique for graph transformation systems, called approximated unfolding, based on the construction of an approximation of the unfolding semantics.