Synthesis of reo circuits for implementation of component-connector automata specifications
Composition of a concurrent system out of components involves coordination of their mutual interactions. In component-based construction, this coordination becomes the responsibility of the glue-code language and its underlying run-time middle-ware. Reo offers an expressive glue-language for construction of coordinating component connectors out of primitive channels. In this paper we consider the problem of synthesizing Reo coordination code from a specification of a behavior as a relation on scheduled-data streams. The specification is given as a constraint automaton that describes the desired input/output behavior at the ports of the components. We present an algorithm that generates Reo code from a given constraint automaton.
|, , , , , , , , , , ,|
|Software Engineering [SEN]|
Arbab, F, Baier, C, de Boer, F.S, Rutten, J.J.M.M, & Sirjani, M. (2004). Synthesis of reo circuits for implementation of component-connector automata specifications. Software Engineering [SEN]. CWI.