Title: Tiles for Reo
Authors: Arbab, Farhad * ×
Bruni, Roberto *
Clarke, Dave *
Lanese, Ivan *
Montanari, Ugo * #
Issue Date: Sep-2009
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:5486 pages:37-55
Conference: WADT edition:19 location:Pisa, Italy date:13-16 June, 2008
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.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
* (joint) first author
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
TILES.pdfMain article Published 445KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science