政策描述规范研究综述.docVIP

政策描述规范研究综述 　　 (湖南大学 计算机与通信学院， 长沙 410082) 　　 　　摘 要： 　　国内外政策描述规范方面的研究，主要有四个流派：KAoS、Rei、Ponder和PRAL。首先对这几个流派进行了详细的介绍，利用举例的方式阐述它们政策的表示方法、政策类型，同时概括介绍了它们的政策冲突发现和解决方法。按照政策表达、政策类型、政策冲突解决和政策的制定工具这几个角度对四个流派进行分析和比较，指出它们各自的优势与不足。最后，总结分析了当前研究的特点和不足，指出了未来的研究方向。 　　关键词：政策； 描述规范； 政策冲突； 本体 　　中图分类号：TP309文献标志码：A 　　文章编号：1001?菠B3695(2009)04?菠B1217?菠B05 　　 　　Overview of policy description specification research 　　HU Jun, WANG Bai??yun 　　 　　(College of Computer Communication, Hunan University, Changsha 410082, China) 　　 　　Abstract: 　　The mainstream of research on policy description specification in the world includes KAoS, Rei, Ponder and PRAL. Firstly, introduced these specifications in detail and sequence, by illustrating their expressing way. Meanwhile, this paper briefly introduced the strategy of policy conflict detection and resolution. Then, according to the angles of policy description, policy types, policy conflict resolutions and policy tools, compared these four genres and showing their strengths and limitations. At last, summarizing the characteristic and flaw of currently research, proposed the future research direction. 　　Key words：policy; description specification; policy conflict; ontology 　　 　　0 引言 　　?フ?策这一术语在人类社会的社会管理领域已经得到了广泛使用。在社会管理中，政策是指导人们在社会环境中活动的各种行为规范和行动准则，通过政策来约束并指导人类的社会活动，以此来维持社会的秩序。随着计算机技术和网络技术的迅猛发展，政策这一概念被逐渐应用于计算机与网络的各个领域，包括数据库安全、大型分布式网络和多agent系统等。 　　?フ?策[1~3]是系统对在某种状态下所作行为选择的一种陈述性描述，它影响着政策域中实体的行为，通过把政策与系统运行机制分离的方法，使政策独立于系统之外，在系统运行情况下动态地改变实体的行为，从而大大降低人直接管理系统的复杂度。然而，仅仅拥有政策是不够的，因为政策本身是一种抽象的概念，在实际应用时必须把这种抽象的概念描述出来，使政策域内的成员能够理解这些政策，则需要建立一种统一的标准和格式来描述。只有建立一套完整的政策描述规范，整个系统才能够在政策的约束、指导和驱动下有条不紊地运行，不至于因为语义理解上的不一致而发生行为、决策的混乱。不同的应用环境，如普适计算环境、分布式环境和自治计算环境，对政策描述规范的要求是不同的，依据这些环境建立的政策描述规范也有各自不同的特色。 　　?ハ纸锥喂?内外已经提出了多种不同的政策描述规范。为了更清晰地了解各种政策描述规范的特点以及它们的发展趋势，本文详细介绍了国内外几个主流的政策描述规范，包括KAoS、Rei、Ponder和PRAL，采用举例说明的手法介绍政策表示的形式，并主要从四个角度对这几种政策描述规范进行比较，指出它们的优势与不足。 　　1 国内外研究现状 　　?フ?策的描述规范是依据政策的描述语言建立起来的一整套形式化标准，使得政策域中的成员能够赞同一致的理解政策的语义。本章将对国内外政策描述规范方面的研究现状进行详细介绍，按照不同