This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
21st IEEE International Conference on Automated Software Engineering (ASE'06)
An Automated Formal Approach to Managing Dynamic Reconfiguration
Tokyo, Japan
September 18-September 22
ISBN: 0-7695-2579-2
Ian Warren, University of Auckland, New Zealand
Jing Sun, University of Auckland, New Zealand
Sanjev Krishnamohan, University of Auckland, New Zealand
Thiranjith Weerasinghe, University of Auckland, New Zealand
Dynamic reconfiguration is the process of making changes to software at run-time. The motivation for this is typically to facilitate adaptive systems which change their behavior in response to changes in their operating environment or to allow systems with a requirement for continuous service to evolve uninterrupted. To enable development of reconfigurable applications, we have developed OpenRec, a framework which comprises a reflective component model plus an open and extensible reconfiguration management infrastructure. Recently we have extended OpenRec to verify whether an intended (re)configuration would result in an application?s structural constraints being satisfied. Consequently OpenRec can automatically veto proposed changes that would violate configuration constraints. This functionality has been realized by integrating OpenRec with the ALLOY Analyzer tool via a service-oriented architecture. ALLOY is a formal modelling notation which can be used to specify systems and associated constraints. In this paper, we present an overview of the OpenRec framework. In addition, we describe the application of ALLOY to modelling reconfigurable component based systems and highlight some interesting experiences with integrating OpenRec and the ALLOY Analyzer.
Citation:
Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe, "An Automated Formal Approach to Managing Dynamic Reconfiguration," ase, pp.37-46, 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.