计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
7期
81-85
,共5页
上超望%刘清堂%赵刚%童名文
上超望%劉清堂%趙剛%童名文
상초망%류청당%조강%동명문
BPEL%组合Web服务%活动%协同授权%CPN%一致性检测
BPEL%組閤Web服務%活動%協同授權%CPN%一緻性檢測
BPEL%조합Web복무%활동%협동수권%CPN%일치성검측
BPEL%Composite Web services%Activity%Authorization coordination%CPN%Consistency detection
BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点.通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现活动协同授权约束一致性的动态检测,为组合Web服务中业务流程协同授权约束设计的一致性提供合理的理论基础.最后,通过实例说明了检测机制的有效性.
BPEL訪問控製機製是Web服務安全組閤研究的重要內容,如何維護活動協同授權的一緻性是其中的難點.通過擴展的CPN(有色Petri網)對BPEL活動協同授權執行的動態行為語義進行建模,利用可覆蓋樹方法分析協同授權模型狀態變遷髮生的序列,實現活動協同授權約束一緻性的動態檢測,為組閤Web服務中業務流程協同授權約束設計的一緻性提供閤理的理論基礎.最後,通過實例說明瞭檢測機製的有效性.
BPEL방문공제궤제시Web복무안전조합연구적중요내용,여하유호활동협동수권적일치성시기중적난점.통과확전적CPN(유색Petri망)대BPEL활동협동수권집행적동태행위어의진행건모,이용가복개수방법분석협동수권모형상태변천발생적서렬,실현활동협동수권약속일치성적동태검측,위조합Web복무중업무류정협동수권약속설계적일치성제공합리적이론기출.최후,통과실례설명료검측궤제적유효성.