验证网路服务组合之服务品质的可靠性 - jitas journal of information .pdf

Journal of Information, Technology and Society 驗證網路服務組合之服務品質的可靠性 A Validating Approach for Evaluating Reliability of Web Services Compositions 戚玉樑、李志偉 中原大學資訊管理研究所 桃園縣中壢市(32023)中北路 200 號 maxchi@.tw, craigbaseball@.tw 摘 要 網路服務(Web Services)是應用於系統整合的新興技術，目前已被採用在電子商務的架構 上，然而一個網路服務的功能有限，因此未來的商業應用是以組合一群相關的網路服務為 主。十餘種以 XML 為基礎的服務流程語言也在近年來紛紛推出，雖然它們在語法上稍有不 同，但大致是以工作流程的觀點來建構服務組合。由於服務組合的成員通常是外來的，它 代表流程整合者不一定能掌握成員的非功能性狀況，因此服務品質的問題亦成為近年來重 要的研究議題之一。為確保服務組合的可靠性，本研究是針對服務組合在設計上的驗證為 主，並以流程組合中的死結、可達性、及控制權移轉的安全性等三項問題為解決指標。因 為服務組合須以 XML 格式呈現，故須轉換為等價的其他模型以利量化計算，我們因此選擇 以 Petri Net 模型為標的，再分別配合適宜的分析方法驗證。研究過程中，我們克服了模型 間轉換的問題，並銜接後續的各項演算法。最後，實證經驗顯示運用本研究的驗證方法， 確可用於驗證服務組合在流程設計上的可靠性。 關鍵詞 ：網路服務、服務組合、工作流程、可靠性。 Abstract This paper reports some experiences that we utilize Petri Net models to validate the reliability of a composite Web services. To enable a validate process, the PNML (Petri Net Markup Language) are introduced to transform a composite service into a Petri Net model that can be further used by measurable processes. The algorithms and corresponding reliable issues have been proposed, such as the coverability tree for detecting flow safeness, the incidence matrix state equation for finding reachable issues, and a transitive matrix for detecting a deadlock problem. Empirical results suggest that the PNML is essen