摘要
Policy被越来越多地应用于大型分布式系统的管理 .提出了一种基于逻辑的 Policy定义语言 L PDL ,定义了 L PDL的语法、运行模型和语义 ,为基于 Policy的网络管理提供了一种形式化的框架 .L PDL具有简单的语法规则和与图灵机等价的计算能力 ,管理人员可以根据实际需要 ,灵活地将系统的解释决策功能用 L PDL语言定义成Policy或封装在系统物理实现代码中 .最后给出了基于 L PDL 的网络管理模型及其原型实现和应用 ,表明 L PDL能很好满足网络管理动态发展的需要 .
Policies are increasingly used to manage large-scale distributed system. In this paper, a logic-based Policy definition language LPDL is proposed. We define LPDL's syntax, execution model and its semantic that provides a formal framework for Policy-based network management. LPDL has simple syntax and Turing-equivalent computing power. Administrator can use LPDL to describe system's analysis and decision function or encapsulate it into physical codes flexibly based on actual need. Finally, a LPDL-based network management model, its prototype and application is presented to show that LPDL can meet the requirements of network management's dynamic growth.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第11期1491-1497,共7页
Journal of Computer Research and Development
基金
江苏省自然科学基金资助 ( DK9912 8)
