Reo2MC: a tool chain for performance analysis of coordination models

Authors:
Farhad Arbab;Sun Meng;Young-Joo Moon;Marta Kwiatkowska;Hongyang Qu
Affiliations:
CWI, Amsterdam, Netherlands;CWI, Amsterdam, Netherlands;CWI, Amsterdam, Netherlands;University of Oxford, Oxford, United Kingdom;University of Oxford, Oxford, United Kingdom
Venue:
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Year:
2009

Citing 3
Cited 2

Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Modeling component connectors in Reo by constraint automata

Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Quantitative verification: models techniques and tools

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Simulation-based performance analysis of channel-based coordination models

COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Puff, the magic protocol

Formal modeling

Quantified Score

Hi-index	0.00

Visualization

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.