A Constraint-Driven Executable Model of Dynamic System Reconfiguration

D'Arcy Walsh, Francis Bordeleau, Bran Selic
2008 Journal of Software  
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
more » ... ed 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. Abstract <> ConstraintCom patibilityM etaO bject LocalConstraintPropertyM etaO bject G lobalConstraintPropertyM etaO bject LocalConstraintC om patibilityM etaO bject G lobalConstraintCom patibilityM etaObject inherits from instance of ConstraintCharacteristicsM etaO bjects {im m utability,cardinality,perform ance,synchronization, distribution,persistence,security,control style, ...} <> new: withMixinLinearizationList
doi:10.4304/jsw.3.4.37-50 fatcat:uwqjsvuqafdhpenqpf2ya2c3wy