The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Probability, stochastic processes, and queueing theory: the mathematics of computer performance modeling
Building tightly integrated software development environments: the IPSEN approach
Building tightly integrated software development environments: the IPSEN approach
Petri Nets in Performance Analysis: An Introduction
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language
WG '89 Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science
On the Interleaving Sematics of Transformation Units - A Step into GRACE
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
SSJ: SSJ: a framework for stochastic simulation in Java
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Stochastic Graph Transformation Systems
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental pattern matching in the viatra model transformation system
Proceedings of the third international workshop on Graph and model transformations
Rule-Based Modelling, Symmetries, Refinements
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
Graph Transformation with Incremental Updates
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of stochastic systems part I: Stochastic automata
Information and Computation
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Stochastic analysis of graph transformation systems: a case study in P2P networks
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
| Hi-index | 0.00 |
Distributed systems with mobile components are naturally modelled by graph transformations. To formalise and predict properties such as performance or reliability of such systems, stochastic methods are required. Stochastic graph transformations allow the integrated modelling of these two concerns by associating with each rule and match a probability distribution governing the delay of its application. Depending on the nature of these distributions, different techniques for analysis are available, ranging from stochastic model checking for exponential distributions to simulation for systems with general distributions. In this paper we explore further the second notion, adding a model of global time to avoid the overhead of frequent local clock updates. We also transfer the notion of stochastic graph transformation system from an algebraic to a general background, allowing an arbitrary graph transformation approach to be used for the underlying system. We present a correspondingly extended semantic model, simulation algorithm and tool. The concepts are justified and illustrated by an accident management scenario which requires a model of physical mobility and sophisticated transformation concepts.