Abstract | ||
---|---|---|
As the complexity of computer systems has increased, the task of managing those systems has grown to the point where the assistance of the computer itself is required. The diversity of management tasks has, in turn, lead to a diversity of software. Distributed systems expand the realm of configuration management through emphasis on issues such as communication, dynamic reconfiguration, and consistency between information maintained at different sites. The Raven Configuration Management System (RCMS) provides a uniform means for performing many of these tasks. Configuration information is expressed as constraints in first order predicate logic. The constraints indicate acceptable states of the system. When the system enters a prohibited state, an expert system generates a series of commands to correct the situation. The authors offer a preliminary overview of the RCMS, including a sample application and a description of noteworthy implementation issues |
Year | Venue | Keywords |
---|---|---|
1992 | London | configuration management,distributed processing,formal logic,formal specification,logic programming,specification languages,RCMS,Raven Configuration Management System,constraint programming,distributed systems,dynamic reconfiguration,expert system,first order predicate logic,management tasks,prohibited state |
Field | DocType | Citations |
Software engineering,Computer science,Constraint programming,Expert system,Real-time computing,Concurrent constraint logic programming,Prolog,Logic programming,Configuration management,Constraint logic programming,Control reconfiguration,Distributed computing | Conference | 2 |
PageRank | References | Authors |
0.39 | 10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Terry Coatta | 1 | 16 | 7.64 |
Gerald Neufeld | 2 | 394 | 80.81 |