Specification, simulation, and verification of component connectors in Reo

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

    54 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.
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's24
    StatusGepubliceerd - 2004

    Publicatie series

    NaamComputer science reports
    ISSN van geprinte versie0926-4515


    Duik in de onderzoeksthema's van 'Specification, simulation, and verification of component connectors in Reo'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit