LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Arbab , Farhad; Meng , Sun; Moon , Young-Joo; Kwiatkowska , Marta; Qu , Hongyang (2009)
Publisher: ACM
Languages: English
Types: Conference object
Subjects: [ INFO.INFO-SE ] Computer Science [cs]/Software Engineering [cs.SE]
International audience; 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.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • 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.
  • No related research data.
  • No similar publications.

Share - Bookmark

Funded by projects

  • EC | CONNECT

Related to

  • fet-fp7FET Proactive: FET proactive: ICT forever yours
  • fet-fp7FET Proactive: Emergent Connectors for Eternal Software Intensive Networked Systems

Cite this article