Sciweavers

Share
IFM
2009
Springer

Application of Graph Transformation in Verification of Dynamic Systems

12 years 7 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model the dynamic behaviour of a telecommunication system. In this paper, we show how GTS modeling can facilitate verification of invariant properties of potentially infinitestate communication systems. We take as a case study for this approach an invariant property of telecommunication service components that can act both as the source and the target of a connection. Verifying an ordering among service components to be invariant is essential to guarantee the desirable behaviour of these services. We show how the verification can be performed by the analysis of a finite set of transformation rules describing the GTS system model. We prove that invariant properties are preserved in a GTS model if the set of transformation rules describing the model satisfies the property. Thus, we show how to perform system verificati...
Zarrin Langari, Richard J. Trefler
Added 20 Feb 2011
Updated 20 Feb 2011
Type Journal
Year 2009
Where IFM
Authors Zarrin Langari, Richard J. Trefler
Comments (0)
books