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

• 作者: 上超望 刘清堂 童名文 赵刚
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: BPEL 组合Web服务 活动 协同授权 CPN 一致性检测
• 年，卷（期）: 2014,（7）
• 所属期刊栏目: 2013'Petri网
• 页码范围: 81-85
• 页数: 5页
• 分类号: TP393
• 字数: 6957字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2014.07.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵刚	华中师范大学教育信息技术学院	18	181	7.0	13.0
2	刘清堂	华中师范大学教育信息技术学院	148	1663	22.0	35.0
3	童名文	华中师范大学教育信息技术学院	26	111	6.0	9.0
4	上超望	华中师范大学教育信息技术学院	26	129	7.0	10.0