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. © 2009 Springer Berlin Heidelberg.
Cite
CITATION STYLE
Arbab, F., Bruni, R., Clarke, D., Lanese, I., & Montanari, U. (2009). Tiles for Reo. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5486 LNCS, pp. 37–55). https://doi.org/10.1007/978-3-642-03429-9_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
