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-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
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-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
Probabilistic graph transformation systems
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
Domain-specific discrete event modelling and simulation using graph transformation
Software and Systems Modeling (SoSyM)
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.