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.

, , , , , ,
CWI
Software Engineering [SEN]
Computer Security

Arbab, F, Baier, C, Rutten, J.J.M.M, & Sirjani, M. (2003). Modeling component connectors in Reo by constraint automata. Software Engineering [SEN]. CWI.