Reo2MC: a Tool Chain for Performance Analysis of Coordination Models - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Reo2MC: a Tool Chain for Performance Analysis of Coordination Models

Résumé

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.
Fichier principal
Vignette du fichier
esecfse.pdf (259.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00458921 , version 1 (22-02-2010)

Identifiants

Citer

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

Collections

CONNECT
81 Consultations
136 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More