Abstract

. The ability to update a software system as it is being used is increasingly important and manifests itself in systems that must be maintained while executing, in systems where the choices about which components comprise a system are deferred until their use, and where systems can be customised. Systems that fit one or more of these characteristics we call dynamically composed systems. Although some attention has been given to providing tools to support dynamic updates, and models of such dynamic updates have been constructed, little work has been done in examining this from a configuration management perspective. This paper describes a model of configuration management for dynamically composed systems, based on an existing model of configuration management for statically configured systems. The model includes a dynamic configuration description language, DCDL, and a formalisation in terms of many-sorted algebraic specification techniques. The use of this model to design tools to supp...

Citations