Paper Info
Title
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract
Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if components are connected using a coordination layer, then the way in which they are connected needs to change, or both. In some situations, changes must be performed without stopping the running system. This not only introduces a serious technological challenge, it also makes reasoning about the evolving system difficult. One approach to this problem is to use component connectors to plug components together. Reconfiguration of a system can then be reduced to reconfiguring the component connector, as changing component implementations can be implemented by changing which components the connector connects together. The coordination language Reo offers operations to dynamically reconfigure the topology of component connectors, but until now, no means for reasoning about reconfiguration in Reo has been developed. This issue is addressed in this paper. To enable reasoning about connector behaviour, and hence behaviour of the composed system, we present a semantics of Reo in the presence of reconfiguration, and a logic together with its model checking algorithm.
Year
Venue
Keywords
2008
Fundam. Inform.
software system,connector reconfiguration,basic logic,model checking algorithm,serious technological challenge,coordination layer,component implementation,component connector,component-based software engineering perspective,coordination language reo,connector behaviour
Field
DocType
Volume
Evolving systems,Model checking,Computer science,Implementation,Software system,Cable gland,Control reconfiguration,Coordination language,Semantics,Distributed computing
Journal
82
Issue
ISSN
Citations 
4
0169-2968
16
PageRank 
References 
Authors
0.63
32
1
Name
Order
Citations
PageRank
Dave Clarke141626.19