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

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