Connector colouring was devised as a way of determinining which "macro-step" of a connector to perform next, abstracting away from details such as "which state to go into". Connector colouring has served as a suitable basis for implementing connectors, but it still remains somewhat mysterious and problematic. This talk recasts …read more
At a high-level Reo can be seen as a graphical language for specifying a number of properties of component connectors: synchronisation and exclusion constraints between components; protocols or schedules by which components abide; and data flow between the components. Unfortunately, Reo itself is not flexible enough to use as the …read more
We have been developing a semantic model for Reo that allows us to calculate the behaviour of general Reo circuits. The resulting semantic model can also be used to capture the behaviour of circuits which express priority or other context sensitive behaviour.
The semantic model will be presented using an …read more
From a semantic perspective, the reconfiguration features of Reo have not yet been explored. This talk presents their semantics in terms of sequences of constraint automata. In addition, a logic for reasoning about Reo connectors in the presence of reconfiguration is described. Interestingly, the logic is decideable, although its underlying …read more
We present BioReo, an application of the Reo coordination paradigm to provide a compositional formal model for describing and reasoning about the behaviour of biological systems, such as regulatory gene networks. Reo governs the interaction and flow of data between components by constructing connector circuits which have a precise formal …read more
Page 1 / 1