Specification, simulation, and verification of component connectors in Reo

M.R. Mousavi, M. Sirjani, F. Arbab

Research output: Book/ReportReportAcademic

48 Downloads (Pure)


Coordination and composition of components is an essential concern in component-based software engineering. In this paper, we present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components, that unawarely comprise a complex system, into a coherent collaboration. The formal semantics we present here paves the way for studying the behavior of component composition mechanisms rigorously. To demonstrate the feasibility of such a rigorous approach, we give a faithful translation of Reo semantics into the Maude term rewriting language. This translation allows us to exploit the rewriting engine and the modelchecking module in the Maude tool-set to symbolically run and model-check the behavior of Reo connectors.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages24
Publication statusPublished - 2004

Publication series

NameComputer science reports
ISSN (Print)0926-4515

Fingerprint Dive into the research topics of 'Specification, simulation, and verification of component connectors in Reo'. Together they form a unique fingerprint.

Cite this