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

摘要：

BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点.通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现活动协同授权约束一致性的动态检测,为组合Web服务中业务流程协同授权约束设计的一致性提供合理的理论基础.最后,通过实例说明了检测机制的有效性.

关键词： 网络服务组合 Petri网 业务流程执行语言 协同授权 一致性测试

作者: 上超望 刘清堂 赵呈领 童名文

作者单位: 华中师范大学 信息与新闻传播学院 武汉 430079;青少年网络心理与行为教育部重点实验室 华中师范大学 信息与新闻传播学院 武汉 430079

会议类型: 国内会议

会议名称: 第十四届全国Petri 网理论与应用学术年会

会议地点: 西安

会议语种:中文

页码: 1-5

在线出版日期: 2013-08-23（万方平台首次上网日期，不代表论文的发表时间）