Formal Semantics and Analysis of Component Connectors in Reo

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.

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab
• Keywords: Component Composition, Component Composition Language, ENTCS 2006, Reo Connectors