A Constrained Executable Model of Dynamic System Reconfiguration

Explicit metaclass programming techniques are presented that enable domain-specific objects to dynamically change their run-time properties. The domain-specific objects are instantiations of a domain model of dynamic system reconfiguration. The domain model is the product of a model-based domain analysis that identified a set of concepts that reflect the types of reconfigurations possible and the system integrity characteristics that must be maintained during such reconfigurations. It is expressed using the Unified Modeling Language (UML) as a constrained representation of the domain-level specification and then realized as an executable model using a programming environment that supports explicit metaclass programming