Principles of software engineering management
Principles of software engineering management
A tutorial on hidden Markov models and selected applications in speech recognition
Readings in speech recognition
Fundamenta Informaticae - Special issue on graph transformations
Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Fundamenta Informaticae - Special issue on graph transformations
Communication and Concurrency
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Hierarchically Distributed Graph Transformation
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
PROGRESS: A VHL-Language Based on Graph Grammars
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Model Checking Continuous-Time Markov Chains by Transient Analysis
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Graph transformation in molecular biology
Formal Methods in Software and Systems Modeling
Stochastic context-free graph grammars for glycoprotein modelling
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Adaptive resource allocation for prioritized call admission over an ATM-based wireless PCN
IEEE Journal on Selected Areas in Communications
User mobility modeling and characterization of mobility patterns
IEEE Journal on Selected Areas in Communications
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
Graph transformation for domain-specific discrete event time simulation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Modular performance modelling for mobile applications
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Stochastic modelling and simulation of mobile systems
Graph transformations and model-driven engineering
Modeling the flow and change of information on the web
Proceedings of the 21st international conference companion on World Wide Web
| Hi-index | 0.00 |
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To formalize, measure, and predict such properties, stochastic methods are required. At the same time such systems are characterized by a high degree of architectural reconfiguration. Viewing the architecture of a distributed system as a graph, this is naturally modeled by graph transformations. To combine these two views, in this paper we introduce stochastic graph transformation systems associating with each rule its application rate - the rate of the exponential distribution governing the delay of its application. Beside the basic definitions and a motivating example, we derive continuous time Markov chains, establish a link with continuous stochastic logic, deal with the problem of abstraction through graph isomorphisms, and discuss the analysis of properties by means of an experimental tool chain.