作者：上超望 刘清堂 赵刚 童名文bpel组合web服务活动协同授权cpn一致性检测
摘要：BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点.通过扩展的CPN（有色Petri网）对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现活动协同授权约束一致性的动态检测,为组合Web服务中业务流程协同授权约束设计的一致性提供合理的理论基础.最后,通过实例说明了检测机制的有效性.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
