Sciweavers

SIGSOFT
2009
ACM

Reo2MC: a tool chain for performance analysis of coordination models

15 years 1 months ago
Reo2MC: a tool chain for performance analysis of coordination models
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 ContinuousTime 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. Categories and Subject Descriptors D.2.2 [Software Engineering]: Design Tools and Techniques General Terms Performance Keywords Coordination Model, Reo, Markov Chain, Performance Analysis
Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. K
Added 19 Nov 2009
Updated 19 Nov 2009
Type Conference
Year 2009
Where SIGSOFT
Authors Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu
Comments (0)