摘要:在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