Electronic Notes in Theoretical Computer Science vol:159 pages:61-77
FSEN edition:1 location:Tehran, Iran date:1-3 October 2005
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.