The evolving philosophers problem: dynamic change management
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (11) , 1293-1306
- https://doi.org/10.1109/32.60317
Abstract
A model for dynamic change management which separates structural concerns from component application concerns is presented. This separation of concerns permits the formulation of general structural rules for change at the configuration level without the need to consider application state, and the specification of application component actions without prior knowledge of the actual structural changes which may be introduced. In addition, the changes can be applied in such a way so as to leave the modified system in a consistent state, and cause no disturbance to the unaffected part of the operational system. The model is applied to an example problem, 'evolving philosophers'. The principles of this model have been implemented and tested in the Conic environment for distributed systems.Keywords
This publication has 14 references indexed in Scilit:
- Programming at the processor-memory-switch levelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Graphical configuration programmingComputer, 1989
- Constructing distributed systems in ConicIEEE Transactions on Software Engineering, 1989
- Specifying concurrent systems with Δ-grammarsPublished by Association for Computing Machinery (ACM) ,1989
- Garp: Graph abstractions for concurrent programmingPublished by Springer Nature ,1988
- The Conic toolkit for building distributed systemsIEE Proceedings D Control Theory and Applications, 1987
- HPC: A model of structure and change in distributed systemsIEEE Transactions on Computers, 1985
- Dynamic Configuration for Distributed SystemsIEEE Transactions on Software Engineering, 1985
- Program evolutionInformation Processing & Management, 1984
- Programming-in-the large versus programming-in-the-smallPublished by Association for Computing Machinery (ACM) ,1975