Paper Info
Title
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
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.
Year
DOI
Venue
2006
10.1016/j.entcs.2005.12.062
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
software system,coordination,connector reconfiguration ii,basic reconfiguration logic,model checking algorithm,component connector,reo,connector behaviour,coordination language reo,dynamic reconfiguration,model checking,software systems
Model checking,Programming language,Computer science,Theoretical computer science,Software system,Cable gland,Reo Coordination Language,Control reconfiguration,Semantics,Coordination language
Journal
Volume
ISSN
Citations 
159,
Electronic Notes in Theoretical Computer Science
7
PageRank 
References 
Authors
0.50
15
1
Name
Order
Citations
PageRank
Dave Clarke141626.19