Reo2MC

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Reo2MC: a tool chain for performance analysis of coordination models

Full text

Pdf (336 KB)

Source

Foundations of Software Engineering archive
Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium table of contents

Amsterdam, The Netherlands

DEMONSTRATION SESSION: Tool demonstrations table of contents

Pages 287-288

Year of Publication: 2009

ISBN:978-1-60558-001-2

Authors

Farhad Arbab	CWI, Amsterdam, Netherlands
Sun Meng	CWI, Amsterdam, Netherlands
Young-Joo Moon	CWI, Amsterdam, Netherlands
Marta Kwiatkowska	University of Oxford, Oxford, United Kingdom
Hongyang Qu	University of Oxford, Oxford, United Kingdom

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 25, Citation Count: 0

Additional Information:

abstract references index terms

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1595696.1595745 What is a DOI?

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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Eclipse Coordination Tools. http://reo.project.cwi.nl/.
	2	F. Arbab. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14(3):329--366, 2004.
	3	F. Arbab, T. Chothia, R. van der Mei, S. Meng, Y.-J. Moon, and C. Verhoef. From Cooridination to Stochastic Models of QoS. In Proceedings of COORDINATION'09, pages 268--287, LNCS 5521, Springer, 2009.
	4	C. Baier, M. Sirjani, F. Arbab, and J. J. M. M. Rutten. Modeling component connectors in Reo by constraint automata. Science of Computer Programming, 61(2):75--113, 2006.
	5	M. Kwiatkowska. Quantitative verification: Models, techniques and tools. In Proceedings of ESEC/FSE 2007, pages 449--458. ACM Press, September 2007.