Reo is an exogenous coordination model for software components. The informal Reo's semantics has been matched by several proposals of formalisation, exploiting co-algebraic techniques, constraint-automata, and coloring tables. We aim to show that the Tile Model offers a flexible and adequate semantic setting for Reo, such that: (i) it is able to capture context-aware behaviour; (ii) it is equipped with a natural notion of behavioural equivalence which is compositional; (iii) it offers a uniform setting for representing not only the ordinary execution of Reo systems but also dynamic reconfiguration strategies.

Tiles for Reo

LANESE, IVAN;
2009

Abstract

Reo is an exogenous coordination model for software components. The informal Reo's semantics has been matched by several proposals of formalisation, exploiting co-algebraic techniques, constraint-automata, and coloring tables. We aim to show that the Tile Model offers a flexible and adequate semantic setting for Reo, such that: (i) it is able to capture context-aware behaviour; (ii) it is equipped with a natural notion of behavioural equivalence which is compositional; (iii) it offers a uniform setting for representing not only the ordinary execution of Reo systems but also dynamic reconfiguration strategies.
Proceedings of the 19th International Workshop on Algebraic Development Techniques
37
55
F. ARBAB; R. BRUNI; D. CLARKE; I. LANESE; U. MONTANARI
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11585/104479
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 28
  • ???jsp.display-item.citation.isi??? 18
social impact