ACM Transactions on Computer Systems (TOCS)
IEEE Transactions on Computers
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Performance Engineering of Software Systems
Performance Engineering of Software Systems
Principles of Discrete Event Simulation
Principles of Discrete Event Simulation
IEEE Transactions on Software Engineering
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Modeling methodology for integrated simulation of embedded systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
On the role of generalized semi-Markov processes in simulation output analysis
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
Q-Automata: Modelling the Resource Usage of Concurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
From Coordination to Stochastic Models of QoS
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Reo2MC: a tool chain for performance analysis of coordination models
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Component connectors with QoS guarantees
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Stochastic Petri Nets: Modelling, Stability, Simulation
Stochastic Petri Nets: Modelling, Stability, Simulation
Stochastic simulation of graph transformation systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Formal modeling
Hi-index | 0.00 |
Quantifying the performance of component-based or service-oriented systems is a complex task, e.g., it is non-trivial to calculate the end-to-end quality of service of a composite Web service. An established approach to reason about such systems in general is the use of coordination models, which can provide a formal basis for both their verification and implementation. An example of such a model is the channel-based coordination language Reo and its probabilistic extension Stochastic Reo. However, all existing performance analysis approaches for Stochastic Reo are restricted to the use of exponential distributions. To this end we introduce a transition structure, which enables a simulation approach for performance evaluation in Reo, enabling the use of arbitrary distributions and predefined probabilistic behaviors. Our approach supports steady-state and transient analysis and, moreover, scales much better than the existing automata-based algorithms.