Formal semantics and analysis of component connectors in Reo

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

26 Citations (Scopus)


We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components that comprise a complex system, into a coherent collaboration. The formal semantics we present here paves the way for a rigorous study of the behavior of component composition mechanisms. 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 model-checking module in the Maude tool-set to symbolically run and model-check the behavior of Reo connectors.
Original languageEnglish
Title of host publicationProceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'05, San Francisco CA, USA, August 27, 2005; in conjunction with CONCUR'05)
Publication statusPublished - 2006

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Print)1571-0061

Fingerprint Dive into the research topics of 'Formal semantics and analysis of component connectors in Reo'. Together they form a unique fingerprint.

Cite this