Modeling Component Connectors in Reo by Constraint Automata
Farhad Arbab, Christel Baier, Jan Rutten, Marjan Sirjani · Electronic Notes in Theoretical Computer Science · 2004
Reo is an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. Building automated tools to address such concerns as equivalence or containment of the behavior of two given connectors, verification of the behavior of a connector, etc. requires an operational semantic model suitable for model checking. In this paper we introduce constraint automata and propose them as a semantic model for Reo.