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.
|Title of host publication||Proceedings 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 status||Published - 2006|
|Name||Electronic Notes in Theoretical Computer Science|