Take a look at the new version of this page: [ beta version ]. Tell us what you think.

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.

REFERENCES

• 1: Eclipse Coordination Tools. http://reo.project.cwi.nl/.
• 2: Farhad Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, v.14 n.3, p.329-366, June 2004 [doi>10.1017/S0960129504004153]
• 3: Farhad Arbab , Tom Chothia , Rob Mei , Sun Meng , Youngjoo Moon , Chrétien Verhoef, From Coordination to Stochastic Models of QoS, Proceedings of the 11th International Conference on Coordination Models and Languages, June 09-12, 2009, Lisboa, Portugal [doi>10.1007/978-3-642-02053-7_14]
• 4: Christel Baier , Marjan Sirjani , Farhad Arbab , Jan Rutten, Modeling component connectors in Reo by constraint automata, Science of Computer Programming, v.61 n.2, p.75-113, July 2006 [doi>10.1016/j.scico.2005.10.008]
• 5: Marta Kwiatkowska, 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, September 03-07, 2007, Dubrovnik, Croatia [doi>10.1145/1287624.1287688]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

General Terms:
Performance

Keywords:
coordination model, markov chain, performance analysis, reo