Web服務業務流程一致性驗證
2010-12-31 00:00:00吳明暉熊向輝應晶
計算機應用研究 2010年10期
摘要：在Web服務業務流程建模和實現過程中，Web服務編排從全局角度描述了Web服務參與者之間的協作和交互過程；Web服務編制描述了單個Web服務參與者與其他參與者的交互，兩者的結合能有效提高服務流程建模和實現的效率以及準確性，但必須解決Web服務編排和服務編制的一致性驗證問題。提出了一種基于CSP(communication sequence process)的Web服務編排語言WS-CDL(Web service choreography description lan-guage)和web服務編制規范WS-BPEL(web selNice business process execution language)間的一致性驗證方法。該方法將WS-CDL和WS-BPEL均轉換為CSP語言；然后基于CSP的模型檢測工具PAT(process analysis toolkit)進行兩者的一致性檢查；最后通過一個完備的案例對該方法進行了驗證，結果表明了該方法的有效性。
關鍵詞：Web服務編排；Web服務編制；Web服務編排描述語言；Web服務業務流程執行語言；通信序列進程：一致性
中圖分類號：TP393 文獻標志碼：A 文章編號：1001－3695(2010)10－3758－05
