Reo2MC: a Tool Chain for Performance Analysis of Coordination Models

Abstract : In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC is able to automatically generate the Quantitative Intentional Automaton (QIA) as its operational semantics, and the corresponding Continuous- Time Markov Chain (CTMC), which allows us to apply existing CTMC tools, e.g., PRISM, for performance analysis of Reo connectors. In support of understanding connector behavior and performance properties, the tool also provides the graphical representation of the QIA and Markov Chains.
Type de document :
Communication dans un congrès
Hans van Vliet and Valérie Issarny. 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, Aug 2009, Amsterdam, Netherlands. ACM, 2009, 〈10.1145/1595696.1595745〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00458921
Contributeur : Brigitte Briot <>
Soumis le : lundi 22 février 2010 - 16:56:01
Dernière modification le : mercredi 20 décembre 2017 - 17:42:07
Document(s) archivé(s) le : vendredi 18 juin 2010 - 21:38:22

Fichier

esecfse.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Kwiatkowska, Hongyang Qu. Reo2MC: a Tool Chain for Performance Analysis of Coordination Models. Hans van Vliet and Valérie Issarny. 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, Aug 2009, Amsterdam, Netherlands. ACM, 2009, 〈10.1145/1595696.1595745〉. 〈inria-00458921〉

Partager

Métriques

Consultations de la notice

212

Téléchargements de fichiers

73