Title: Reasoning about connector reconfiguration II: Basic reconfiguration logic
Authors: Clarke, Dave #
Issue Date: May-2006
Publisher: Elsevier
Host Document: Electronic Notes in Theoretical Computer Science vol:159 pages:61-77
Conference: FSEN edition:1 location:Tehran, Iran date:1-3 October 2005
Abstract: Software systems evolve over time. To facilitate this, the coordination language Reo offers operations to dynamically reconfigure the topology of component connectors. We present a semantics for Reo in the presence of reconfiguration, and a logic, and its model checking algorithm, for reasoning about connector behaviour in this setting.
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
ConfigII.pdfMain article Published 427KbAdobe PDFView/Open


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