[AMMKQ09]
F. Arbab, S. Meng, Y.-J. Moon, M. Kwiatkowska and H. Qu.
Reo2MC: a Tool Chain for Performance Analysis of Coordination Models.
In Hans van Vliet, Valérie Issarny (editor), The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pages 287-288, ACM.
August 2009.
[pdf]
[bib]
[Presents a tool chain for analysing Stochastic Reo models, incorporating PRISM.]
|
Links:
[Google]
[Google Scholar]
|
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.
|