基于CPN的BPEL活动协同授权一致性检测机制研究  

Study on Mechanism of Consistency Detection in BPEL Activities Authorization Coordination Based on CPN

作　　者：上超望[1,2] 刘清堂[1] 赵刚[1] 童名文[1] 

机构地区：[1]华中师范大学教育信息技术学院,武汉430079 [2]青少年网络心理与行为教育部重点实验室,武汉430079

出　　处：《计算机科学》2014年第7期81-85,共5页Computer Science

基　　金：华中师范大学中央高校基本科研业务费项目(CCNU13A05053);教育部人文社科项目(11YJA880163);湖北省教育规划课题(2011B039);武汉市科技计划项目(2014060101010030);国家"十二五"科技支撑计划课题(2012BAD35B02)资助

摘　　要：BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点。通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现活动协同授权约束一致性的动态检测,为组合Web服务中业务流程协同授权约束设计的一致性提供合理的理论基础。最后,通过实例说明了检测机制的有效性。Mechanism of BPEL access control is one of focal points in Web services secure composition. It is a difficult problem to maintain the activities authorization constraint coordination. With the extended CPN（Colored Petri Nets） for modeling the dynamic behavioral semantics of BPEL activities execution, this paper used the method of coverability tree to analyze the fire sequence of model state transition, and implemented the dynamic consistency detection of activities authorization coordination. The paper provided theoretical foundation for the detection and optimization in the design of BPEL activities authorization coordination. At last, an example proved the efficiency of the mechanism.

关 键 词：BPEL 组合WEB服务 活动 协同授权 CPN 一致性检测 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]