KRAMER, J

MAGEE, J

IEEE Transactions on Software Engineering

English

J. Kramer

J. Magee

Crossref

The evolving philosophers problem: dynamic change management

Spiral - Imperial College Digital Repository

An Overview of the SR language and its implementation,”

Carp: Graph abstractions for concurrent programming,” in

Constructing distributed systems in conic,”

degrees in computing science from Imperial College,

Distributed termination,”

Dynamic configuration for distributed systems,”

Dynamic module replacement in a distributed system ,”

Dynamic program updating in a distributed computer system,” in

graduated from Queens University,

Graphical configuration programming,”

HPC: A model of structure and change in distributed systems,”

Program evolution,” in

Programming at the processor-memory-switch level,” in

Programming-in-the-large versus programming-in-the-small,” in Proc. Conf Reliable Sofhvare,

Reasoning about networks of communicating processes,” INRIA Advanced NATO Studies Inst. Logics and Models for Verification and Specification of Concurrent Systems,

received the B.Sc. (Eng) degree in electrical engineering from the

Specifying concurrent systems with A-grammars,” in

The CONIC toolkit for building distributed systems,”

The drinking philosophers problem,”

Transparent reconfiguration requires a third-party connect,”

THE EVOLVING PHILOSOPHERS PROBLEM - DYNAMIC CHANGE MANAGEMENT

One of the major challenges in the provision of distributed systems is the accomodation of evolutionary change. This may involve modifications or extensions to the system which were not envisaged at design time. Furthermore, in many application domains there is a requirement that the system accomodate such change application domains there is a requirement that the system accomodate such change dynamically, without stopping or disturbing the operation of those parts of the system unaffected by the change. Since the description of software structure (components and interconnections) provides a clear mea..

Jeff Kramer

Jeff Magee

CiteSeerX

The Evolving Philosophers Problem: Dynamic Change Management.

Abstract-One of the major challenges in the provision of distributed systems is the accommodation of evolutionary change. This may involve modifications or extensions to the system which were not envisaged at design time. Furthermore, in many application domains there is a requirement that the system accommodate such change dynamically, without stopping or disturbing the operation of those parts of the system unaffected by the change. Since the description of software structure (components and interconnections) provides a clear means for both sys-tem comprehension and construction, it seems appropriate that changes should also be specified as structural change, in terms of component creation /deletion and connection/disconnection. These changes are then applied to the operational system itself to produce the modified system. This paper presents a model for dynamic change management which separates structural concerns from component application concerns. 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 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 described in this model have been implemented and tested in the Conic environment for distributed systems. Index Terms-Change management, distributed systems, dynamic con-figuration, system evolution. I

https://spiral.imperial.ac.uk:8443/bitstream/10044/1/449/1/The

THE EVOLVING PHILOSOPHERS PROBLEM - DYNAMIC CHANGE MANAGEMENT

Abstract

Similar works

Full text

Available Versions

Crossref

Spiral - Imperial College Digital Repository

CiteSeerX

CiteSeerX