In: Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, et al. (Eds.): Lecture Notes in Computer Science, Vol. 3256: Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, pages 210-225. Springer-Verlag, 2004.
Abstract: To formalize, measure, and predict availability properties, stochastic concepts are required. Reconfiguration and communication in mobile and distributed environments, where due to the high volatility of network connections reasoning on such properties is most important, is best described by graph transformation systems. Consequently, in this paper we introduce stochastic graph transformation systems, following the outline of stochastic Petri nets. Besides the basic definition and a motivating example, we discuss the analysis of properties expressed in continuous stochastic logic including an experimental tool chain.