计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2012年
2期
545-550
,共6页
李劲%张华%吴浩雄%向军
李勁%張華%吳浩雄%嚮軍
리경%장화%오호웅%향군
Web服务组合%一致性检查%Web服务%形式化方法
Web服務組閤%一緻性檢查%Web服務%形式化方法
Web복무조합%일치성검사%Web복무%형식화방법
Web服务编排和Web服务编制从全局和局部分别定义了Web服务组合的全局交互行为和每个参与者的局部行为,为了保证Web服务组合实现的正确性,Web服务组合的全局交互行为和每个参与者的局部行为必须是一致的.首先利用进程代数给出了对Web服务组合的全局交互行为、局部行为以及二者之间的映射关系的形式化描述,在此基础上分别通过分析全局会话变迁和局部进程变迁的关系和进程互相似理论给出了Web服务组合全局交互行为和局部行为的一致性的两个形式化判定准则.同时通过案例说明了如何形式化地检测Web服务组合的全局交互行为和局部行为之间的一致性.结果显示提出的Web服务组合一致性形式化定义和检测方法能检测组合行为的一致性,从而能有效地保证Web服务组合的正确性.
Web服務編排和Web服務編製從全跼和跼部分彆定義瞭Web服務組閤的全跼交互行為和每箇參與者的跼部行為,為瞭保證Web服務組閤實現的正確性,Web服務組閤的全跼交互行為和每箇參與者的跼部行為必鬚是一緻的.首先利用進程代數給齣瞭對Web服務組閤的全跼交互行為、跼部行為以及二者之間的映射關繫的形式化描述,在此基礎上分彆通過分析全跼會話變遷和跼部進程變遷的關繫和進程互相似理論給齣瞭Web服務組閤全跼交互行為和跼部行為的一緻性的兩箇形式化判定準則.同時通過案例說明瞭如何形式化地檢測Web服務組閤的全跼交互行為和跼部行為之間的一緻性.結果顯示提齣的Web服務組閤一緻性形式化定義和檢測方法能檢測組閤行為的一緻性,從而能有效地保證Web服務組閤的正確性.
Web복무편배화Web복무편제종전국화국부분별정의료Web복무조합적전국교호행위화매개삼여자적국부행위,위료보증Web복무조합실현적정학성,Web복무조합적전국교호행위화매개삼여자적국부행위필수시일치적.수선이용진정대수급출료대Web복무조합적전국교호행위、국부행위이급이자지간적영사관계적형식화묘술,재차기출상분별통과분석전국회화변천화국부진정변천적관계화진정호상사이론급출료Web복무조합전국교호행위화국부행위적일치성적량개형식화판정준칙.동시통과안례설명료여하형식화지검측Web복무조합적전국교호행위화국부행위지간적일치성.결과현시제출적Web복무조합일치성형식화정의화검측방법능검측조합행위적일치성,종이능유효지보증Web복무조합적정학성.
