Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks

In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To formalise, measure, and predict these properties, stochastic methods are required. At the same time such systems are characterised by a high degree of architectural reconfiguration. Viewing the architecture of a distributed system as a graph, this is naturally modelled by graph transformations. To address these two concerns, stochastic graph transformation systems have been introduced associating with each rule its application rate—the rate of the exponential distribution governing the delay of its application. Deriving continuous-time Markov chains, Continuous Stochastic Logic is used to specify reliability properties and verify them through model checking. In particular, we study a protocol for the reconfiguration of P2P networks intended to improve their reliability by adding redundant connections. The mode...

• Type: Conference
• Year: 2005
• Where: ICTAC
• Authors: Reiko Heckel
• Keywords: Continuous Stochastic Logic, Graph Transformation, ICTAC 2005, Stochastic Graph Transformation