Back to Search
Start Over
Tiles for Reo.
- 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