CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishReo 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.
| Titolo: | Tiles for Reo |
| Autore/i: | F. ARBAB; R. BRUNI; D. CLARKE; LANESE, IVAN; U. MONTANARI |
| Autore/i Unibo: | |
| Anno: | 2009 |
| Serie: | |
| Titolo del libro: | Proceedings of the 19th International Workshop on Algebraic Development Techniques |
| Pagina iniziale: | 37 |
| Pagina finale: | 55 |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-642-03429-9_4 |
| 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. |
| Data prodotto definitivo in UGOV: | 26-giu-2013 |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
http://hdl.handle.net/11585/104479
Copyright © 2021