Back to Search Start Over

Tiles for Reo.

Authors :
Arbab, Farhad
Bruni, Roberto
Clarke, Dave
Lanese, Ivan
Montanari, Ugo
Source :
Recent Trends in Algebraic Development Techniques (9783642034282); 2009, p37-55, 19p
Publication Year :
2009

Abstract

Reo is an exogenous coordination model for software components. The informal semantics of Reo has been matched by several proposals of formalization, 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 behavior; (ii) it is equipped with a natural notion of behavioral 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. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISBNs :
9783642034282
Database :
Complementary Index
Journal :
Recent Trends in Algebraic Development Techniques (9783642034282)
Publication Type :
Book
Accession number :
76738357
Full Text :
https://doi.org/10.1007/978-3-642-03429-9_4