Sciweavers

Share
ICTAC
2005
Springer

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

10 years 11 months ago
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...
Reiko Heckel
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ICTAC
Authors Reiko Heckel
Comments (0)
books