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
Incremental pattern matching in the viatra model transformation system
Proceedings of the third international workshop on Graph and model transformations
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A theory of stochastic systems part I: Stochastic automata
Information and Computation
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-based stochastic simulation of P2P VoIP using graph transformation system
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Stochastic modelling and simulation of dynamic resource allocation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Simulation-based performance analysis of channel-based coordination models
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Advances in model transformations by graph transformation: specification, execution and analysis
Rigorous software engineering for service-oriented systems
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
Parallelism and concurrency of stochastic graph transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Incremental pattern matching for the efficient computation of transitive closure
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Abstraction and training of stochastic graph transformation systems
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
Stochastic graph transformation systems (SGTS) [1] support integrated modelling of architectural reconfiguration and non-functional aspects such as performance and reliability. In its simplest form a SGTS is a graph transformation system (GTS) where each rule name is associated with a rate of an exponential distribution governing the delay of its application. However, this approach has its limitations. Model checking with explicit states does not scale well to models with large state space. Since performance and reliability properties often depend on the behaviour of large populations of entities (network nodes, processes, services, etc.), this limitation is significant. Also, exponential distributions do not always provide the best abstraction. For example, the time it takes to make a phone call or transmit a message is more likely to follow a normal distribution.