| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422745 | Electronic Notes in Theoretical Computer Science | 2006 | 17 Pages |
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 of Reo in the presence of reconfiguration, and a logic, and its model checking algorithm, for reasoning about connector behaviour in this setting.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
