Title: Modeling component connectors: Synchronisation and context-dependency
Authors: Izadi, Mohammad
Bonsangue, Marcello
Clarke, Dave #
Issue Date: Nov-2008
Publisher: IEEE Press
Host Document: Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on pages:303-312
Conference: SEFM edition:6 location:Cape Town, South Africa date:10-14 November 2008
Abstract: Reo is an exogenous coordination language for component connectors extending data flow networks with synchronization and context-dependent behavior. We propose an operational model of Reo based on Buchi automata in which port synchronization is modeled by records labeling the transitions, whereas context dependencies are stored in the states. We provide a composition operator which models the joining of two connectors, and show that it can be obtained by using two standard operators: alphabet extension and automata product. Our semantics has the advantage over previous models in that it is based on standard automata theory, so that existing theories and tools can be easily reused. Moreover, it is the first formal model addressing all of Reo's features: synchronization, mutual exclusion, hiding, and context-dependency.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Non-KU Leuven Association publications
# (joint) last author

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


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

© Web of science