10.11896/j.issn.1002-137X.2014.07.016
基于CPN的BPEL活动协同授权一致性检测机制研究
BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点.通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现活动协同授权约束一致性的动态检测,为组合Web服务中业务流程协同授权约束设计的一致性提供合理的理论基础.最后,通过实例说明了检测机制的有效性.
BPEL、组合Web服务、活动、协同授权、CPN、一致性检测
41
TP393(计算技术、计算机技术)
华中师范大学中央高校基本科研业务费项目CCNU13A05053;教育部人文社科项目11YJA880163;湖北省教育规划课题2011B039;武汉市科技计划项目2014060101010030;国家“十二五”科技支撑计划课题2012BAD35B02
2014-09-16(万方平台首次上网日期,不代表论文的发表时间)
共5页
81-85