Policy definition language for automated management of distributed systems
Policy definition language for automated management of distributed systems
复制标题
DOI：
10.1109/iwsm.1996.534147
复制
发表时间：
1996-06
期刊：
影响因子：
--
通讯作者：
T. Koch;C. Krell;B. Kramer
中科院分区：
文献类型：
--
作者：
T. Koch;C. Krell;B. Kramer
分布式系统的异构性、不断增长的规模和复杂性需要新的体系结构、策略和工具来进行技术管理。本文提出了一种基于策略的分布式系统管理方法。不同抽象级别的使用允许从非正式的战略级别逐步细化到正式的操作级别。在最低级别，我们使用一种正式语言来单独定义策略和事件，这使计算机能够检查给定策略描述的语法，并将策略转换为可执行的规则。为了增强对给定策略集的推理能力，我们通过操作策略和事件规范的过程语义的图模型来扩展该体系结构。图模型由编译器支持，该编译器将操作规范映射到它们的语义图中，并对这些图执行分析和操作功能。
The heterogeneity, increasing size and complexity of distributed systems requires new architectures, strategies, and tools for their technical management. In this paper we propose a policy based approach to distributed systems management. The use of different abstraction levels allows a stepwise refinement from an informal strategic level to a formalized operational level. On the lowest level, we use a formal language for separate definition of policies and events, that enables the computer to check the syntax of a given policy description and to translate policies into executable rules. To increase the capability for reasoning on a given set of policies, we extended the architecture by a graph model of the process semantics of operational policy and event specifications. The graph model is supported by a compiler mapping operational specifications into their semantic graphs, and performing analysis and manipulation functions on such graphs.