Formal semantics and analysis of component connectors in Reo

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

26 Citaten (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.
Originele taal-2Engels
TitelProceedings 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)
StatusGepubliceerd - 2006

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
ISSN van geprinte versie1571-0061

Vingerafdruk Duik in de onderzoeksthema's van 'Formal semantics and analysis of component connectors in Reo'. Samen vormen ze een unieke vingerafdruk.

Citeer dit