T. Coatta and G. Neufeld, Distributed Configuration Management using Composite Objects and Constraints,, Distributed Systems Engineering Journal, Vol. 1, No. 5, pp. 294-303, 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....an alternative needed to explicit naming of components for facilitating reactive change expressions which are robust to evolution, but for concise configuration descriptions. Predicate logic, for example is an extremely powerful and expressive notation which has been adopted by Gerel [7] and RCMS [15]. We have used relationships and enumeration of component instances based on attributes to govern configuration evolution. Although, less expressive than predicate logic, our model, unlike predicate logic requires no formal training to use. However, a problem we have found with our approach is ....

Coatta, T. and Neufeld, G. Distributed Configuration Management using Composite Objects and Constraints. Proceedings of the International Workshop Configurable Distributed Systems, Pittsburgh, Pennsylvania. IEEE. pp 112-122. 1994.

....a variety of contexts. As a result, the work that has been done is quite varied. The purpose of this section is not to provide a complete survey, but rather to highlight a few developments which are particularly related to the work in this report. The Raven Configuration Management System (RCMS) [CN94] is a system developed at UBC as part of an exploration of configuration management in general. RCMS supports management of collections of objects in the Raven [ACN92] object oriented system. Specifications of correct configurations are given as assertions in first order predicate calculus. The ....

....calculus is ideal. Unfortunately, repair is easiest if there is a simple procedural language. The obvious solution when confronted by this tension is to create a hybrid solution: declarative assertions used for verification, and programs used for repair. This is exactly the approach taken in RCMS [CN94]. The central motivating assertion of this report is that a single form of specification is preferable to a hybrid approach. The language must be declarative, but at the same time there must be simple and efficient algorithms for modifying systems to achieve conformance. The fundamental ....

Terry Coatta and Gerald Neufeld. Distributed Configuration Management Using Composite Objects and Constraints. In Second International Workshop on Configurable Distributed Systems, Pittsburgh, 1994.

....respectively. But after all, the SIM gives no guarantees. An important issue in the VPR context is the composition of new services from existing ones. Currently, we concentrate our work on the mediation of services and on guaranteeing their properties. But there are already some proposals [13, 14, 15] that support the composition of distributed applications and the definition of reconfiguration rules in exceptional cases. Other approaches [16, 17] focus more on the selection of services at runtime, but they do neither take responisbiblity for the provision of the requested services with the ....

T. Coatta, G. Neufeld. Distributed configuration management using composite objects and constraints. Distributed Systems Engineering, 1(1994) 5, September.

....they only yield valid configurations [1] is an interesting problem in itself but here, we are concerned with identifying and bringing about the safe state for individual node consistency during configuration changes. 1 e.g. connecting two producers together. Much of recent research in the area [2, 3, 4, 5] has concentrated on providing tool and language support to help the programmer express and execute the desired changes. In most cases the running assumption is that the system is already in the safe state for reconfiguration by the time the change actions are carried out, or that the system will ....

T. Coatta and G. Neufeld. Distributed configuration management using composite objects and constraints. In 2nd International Workshop on Configurable Distributed Systems, pages 112--122. March 1994.

....[1] introduces a three layered name space of the form (host, subsystem, attribute) to store information. The installation model is separate for each subsystem. Similar to GENUADMIN, other services must be implemented externally to the information model. The Raven Configuration Management System [3] combines a class based object model with configuration assertions written in a first order calculus language. It supports mechanisms for automatic reconfiguration by applying monitoring techniques, and similar to our approach, focuses on the integration of managed objects and configuration ....

T. Coatta and G. Neufeld. Distributed Configuration Management Using Composite Objects and Constraints. In Second International Workshop on Configurable Distributed Systems, Pittsburgh, 1994.

No context found.

T. Coatta and G. Neufeld, Distributed Configuration Management using Composite Objects and Constraints,, Distributed Systems Engineering Journal, Vol. 1, No. 5, pp. 294-303, 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC