Deconstructing Reo

• Type: Article in International Scientific Journal
• Date: 2009

Authors

Clarke, D (Author) Other; Proença, J (Author) Other; Lazovik, A (Author) Other; Arbab, F (Author) Other

Journal

Title: Electronic Notes in Theoretical Computer Science

Vol. 229

Pages: 43-58

ISSN: 1571-0661

Publisher: Elsevier

Indexing

Scopus - 14 Citations

Other information

Authenticus ID: P-00A-ADK

DOI: 10.1016/j.entcs.2009.06.028

Abstract (EN): Coordination in R eo emerges from the composition of the behavioural constraints of the primitives, such as channels, in a component connector. Understanding and implementing R eo, however, has been challenging due to interaction of the channel metaphor, which is an inherently local notion, and the non-local nature of constraint propagation imposed by composition. In this paper, the channel metaphor takes a back seat, and we focus on the behavioural constraints imposed by the composition of primitives, and phrase the semantics of R eo as a constraint satisfaction problem. Not only does this provide a clear intensional description of the behaviour of R eo connectors in terms of synchronisation and data flow constraints, it also paves the way for new implementation techniques based on constraint propagation and satisfaction. In fact, decomposing R eo into constraints provides a new computational model for connectors, which we extend to model interaction with an unknown external world beyond what is currently possible in R eo.

Language: English

Type (Professor's evaluation): Scientific