%0 Journal Article
%T 基于cpn的bpel活动协同授权一致性检测机制研究
%A 上超望？
%A 刘清堂？
%A 赵刚？
%A 童名文？
%J 计算机科学
%D 2014
%R 10.11896/j.issn.1002-137X.2014.07.016
%X bpel访问控制机制是web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点。通过扩展的cpn(有色petri网)对bpel活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现活动协同授权约束一致性的动态检测,为组合web服务中业务流程协同授权约束设计的一致性提供合理的理论基础。最后,通过实例说明了检测机制的有效性。
%K bpel
%K 组合web服务
%K 活动
%K 协同授权
%K cpn
%K 一致性检测中图法分类号tp393文献标识码a
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140716&flag=1