Simulation-Based Performance Analysis of Channel-Based Coordination Models

Abstract : 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.
Type de document :
Communication dans un congrès
Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.187-201, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_13〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01582989
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 septembre 2017 - 14:54:58
Dernière modification le : mercredi 6 septembre 2017 - 15:01:33

Fichier

978-3-642-21464-6_13_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

C. Verhoef, C. Krause, O. Kanters, R. Mei. Simulation-Based Performance Analysis of Channel-Based Coordination Models. Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.187-201, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_13〉. 〈hal-01582989〉

Partager

Métriques

Consultations de la notice

29

Téléchargements de fichiers

11