General

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 au-tomatically 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 con-nectors. In support of understanding connector behavior and per-formance properties, the tool also provides the graphical represen-tation of the QIA and Markov Chains