7 citations found. Retrieving documents...
J. Kramer, J. Magee, and M. Sloman. The CONIC Toolkit for Building Distributed Systems. IEE Software Engineering Journal, 134-D(2):73--82, 1987.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Restclk: A Communication Paradigm For Observation And Control Of.. - Das   (Correct)

....the use of observation and control for transparent dynamic reconfiguration of application systems in various situations. We also use these examples to compare RESTCLK solutions for dynamic reconfiguration with solutions proposed in other systems like polylith [19, 38, 21, 22, 20, 5] and conic [25, 27, 26, 24]. These two are the only other significant systems that we are aware of, which propose novel communication systems organization that facilitate dynamic system reconfigurations of the kinds discussed here. The examples discussed in this chapter will illustrate clearly the benefits gained by using ....

....practice cost very little in terms of additional delays incurred in communication, when compared to any other agent mediated communication system. Thus there is little or no overhead to using RESTCLK. 168 2. Development of tools, languages and environments for dynamic reconfiguration programming [38, 5, 1, 26, 27, 23, 30, 45, 14], and 3. New paradigm that allows a priori unplanned for dynamic reconfigurations. RESTCLK is the only work in this category. Works in the first category above brought the problem of dynamic reconfiguration into prominence and also proposed viable solutions to the problem which were widely ....

J. Kramer, J. Magee, and M. Sloman. The CONIC Toolkit for Building Distributed Systems. IEE Software Engineering Journal, 134-D(2):73--82, 1987.


Deadlock-free Configuration Programming - Ribeiro Justo Freire (1994)   (7 citations)  (Correct)

....hierarchical composition and abstraction are essential properties, and a system consists of a set of modules composed hierarchically and connected via well defined interfaces. The structure or configuration is then specified by declaring the modules (processes) their interfaces and connections [Kra90, KMS85]. Certain design and validation problems however are not considered during the configuration specification. The partitioning problem, for instance, is important to parallel and distributed programming because it also affects portability and performance over different topologies of hardware. If ....

....completely analysed. Also, some ordering in the nodes of the graph can reduce the number of vertices visited. 6. 1 Dynamic Configuration of Deadlockfree Processes Reconfiguration of program structures during the execution is a useful mechanism in the development of parallel and distributed system [KMS85, JC92]. It allows systems to evolve to easily accommodate changes in the environment during the execution. Application Process Manager File Manager Socket Manager Device Manager Application Process Manager Socket Manager Device Manager File Manager (a) b) Figure 8: CHORUS ....

J. Kramer, J. Magee, and M. Sloman. The conic toolkit for building distributed systems. In 6th IFAC - Distributed Control System Workshop, May 1985.


Configuration Management via Constraint Programming - Coatta, Neufeld (1992)   (1 citation)  (Correct)

....the Raven Configuration Management System. The RCMS is part of the Raven Project at the University of British Columbia. The goal of the Raven Project is to explore a variety of issues in distributed object oriented computing. The RCMS draws its inspiration from systems such as GRAPPLE[HL88] Conic[KMS87] MKS89] and Darwin[Min85] It provides a unified, dynamic, and distributed approach to configuration management. Configuration information is represented as a series of constraints expressed in first order predicate logic. Related constraints are grouped together into units referred to as ....

....the language used to express the expert system s rules are still under development. 5 Conclusions The RCMS represents a new approach to the problem of configuration management. Although there is a great variety of systems addressing particular issues in configuration management [BVT89] All80] KMS87] RSS88] PF89] Sim89] TS89] TBC 88] HL88] WSY91] few systems have attempted to encompass the features of the RCMS: 1) Active Configuration Management: The RCMS automates configuration management through the active monitoring and adjustment of all software components in a distributed ....

Jeff Kramer, Jeff Magee, and M. Sloman. The conic toolkit for building distributed systems. IEE Proceedings-D Control Theory and Applications, 134(1):73--82, 1987.


Configuration Management via Constraint Programming - Coatta (1992)   (1 citation)  (Correct)

....both for code and documentation, establishing a consistent mechanism for handling bug reports, etc. This aspect of configuration management is represented by tools such as make [Fel79] BVT89] SCCS [All80] RCS [Tic82] Tic85] CMA [PF89] Arcadia [TBC 88] and GRAPPLE [HL88] The Conic [KMS87] MKS89] and Lynx [Sco87] systems provide limited configuration primitives at the operating system level. SNMP and its associated tools [CDFS89] address configuration concerns in the realm of network devices and software. ISO standards such as the Common Management Information Protocol (CMIP) and ....

....which I will review next. But as will be clear, the Conic system lacks advanced configuration tools of the sort that I have just been describing. The proposal which I will be advancing is an attempt to bridge this gap with a unified approach to configuration management. The emphasis in the Conic [KMS87] MKS89] project is on the construction of applications out of simpler components. At the lowest level, these components are programmed in a derivative of Pascal. The novel feature of Conic is a separate configuration language which allows a programmer to specify a composite component in terms of ....

Jeff Kramer, Jeff Magee, and M. Sloman. The conic toolkit for building distributed systems. IEE Proceedings-D Control Theory and Applications, 134(1):73--82, 1987.


Distributed Configuration Management Using Composite Objects.. - Coatta, Neufeld (1994)   (6 citations)  (Correct)

....governed by constraints expressed in a declarative language. The RCMS is part of the Raven Project at the University of British Columbia. The Raven Project explores a variety of issues in distributed object oriented computing. The RCMS draws its inspiration from systems such as GRAPPLE[HL88] Conic[KMS87] and Darwin[Min85] The RCMS provides a unified, dynamic, and distributed approach to configuration management. Configuration information is represented as a series of constraints expressed in first order predicate logic. Related constraints are grouped together into units referred to as ....

Jeff Kramer, Jeff Magee, and M. Sloman. The conic toolkit for building distributed systems. IEE Proceedings-D Control Theory and Applications, 134(1):73--82, 1987.


Configuration Programming - A Framework for the Development of.. - Kramer (1990)   (29 citations)  Self-citation (Kramer)   (Correct)

....the general research direction in this field and to elucidate some of the in the paper to indicate the general research direction in this field and to elucidate some of the issues and possible solutions. 2. CURRENT SUPPORT FOR CONFIGURATION PROGRAMMING: The CONIC Environment. The Conic environment [18,19,29], developed by the Distributed Computing Group at Imperial The Conic environment [18,19,29] developed by the Distributed Computing Group at Imperial College, provides support for configuration programming for distributed and concurrent College, provides support for configuration programming for ....

....the general research direction in this field and to elucidate some of the issues and possible solutions. 2. CURRENT SUPPORT FOR CONFIGURATION PROGRAMMING: The CONIC Environment. The Conic environment [18,19,29] developed by the Distributed Computing Group at Imperial The Conic environment [18,19,29], developed by the Distributed Computing Group at Imperial College, provides support for configuration programming for distributed and concurrent College, provides support for configuration programming for distributed and concurrent programs. The environment provides support for two languages, one ....

J. Kramer, J. Magee, M. Sloman. The CONIC toolkit for building distributed systems. J. Kramer, J. Magee, M. Sloman. The CONIC toolkit for building distributed systems. IEE Proceedings, Vol. 134, Pt. D, No.2, March 1987.


Formal Methods: Use and Relevance for the Development of.. - Barroca, McDermid (1992)   (28 citations)  (Correct)

No context found.

J. Kramer, J. Magee, and M. Sloman. The conic toolkit for building distributed systems. IEE Proceedings Pt D, 134(2), March 1987.

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