EngineeringChange ManagementSystems EngineeringDistributed SystemsSystems ArchitectureSystems ModelingConfiguration ControlConfiguration ManagementDistributed Systems DesignModel FormulationState ManagementSystem StructureApplication StateApplication State ManagementChange PropagationReconfiguration ManagementState PreservationStructural RulesSystem Configuration
The requirements needed to manage arbitrary changes to a system configuration are analyzed, and a model which separates application concerns from those at the configuration level is presented. This permits the formulation of general structural rules for change without the need to consider application state, as well as the specification of application actions without knowledge of the actual changes which might be introduced. The changes can be affected in such a way as to leave the modified system in a consistent state and cause minimal disturbance to the application during change. The model is applied to an example problem, the 'evolving philosophers' problem. The principles described in this model have been implemented and tested in the Conic environment for distributed systems.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
11
Programming-in-the large versus programming-in-the-small
Frank DeRemer, Hans H. Kron · ACM SIGPLAN Notices · 1975 · 582 citations
Nissim Francez · ACM Transactions on Programming Languages and Systems · 1980 · 240 citations