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 / F. ARBAB; R. BRUNI; D. CLARKE; I. LANESE; U. MONTANARI. - STAMPA. - 5486:(2009), pp. 37-55. (Intervento presentato al convegno 19th International Workshop on Algebraic Development Techniques tenutosi a Pisa, Italy nel 13-16/6/2008) [10.1007/978-3-642-03429-9_4].
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
