Deconstructing Reo

• Tipo: Artigo em Revista Científica Internacional
• Data: 2009

Autores

Clarke, D (Autor) Outra; Proença, J (Autor) Outra; Lazovik, A (Autor) Outra; Arbab, F (Autor) Outra

Revista

Título: Electronic Notes in Theoretical Computer Science

Vol. 229

Páginas: 43-58

ISSN: 1571-0661

Editora: Elsevier

Indexação

Scopus - 14 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica