Configuration management via constraint programming
Configuration management via constraint programming
复制标题
通过约束编程进行配置管理
DOI：
--
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
G. Neufeld
中科院分区：
文献类型：
--
作者：
Terry Coatta;G. Neufeld
随着计算机系统复杂性的增加，管理这些系统的任务已经增长到需要计算机本身的帮助的程度。管理任务的多样性反过来又导致了软件的多样性。分布式系统通过强调诸如通信、动态重新配置和在不同站点维护的信息之间的一致性等问题来扩展配置管理的领域。Raven配置管理系统（RCMS）提供了一种统一的方法来执行这些任务。配置信息表示为一阶谓词逻辑中的约束。约束指示系统的可接受状态。当系统进入禁止状态时，专家系统会生成一系列命令来纠正这种情况。作者提供了RCMS的初步概述，包括一个示例应用程序和对值得注意的实现问题的描述。>
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. >