網路服務(Web Service)技術的興起,讓商業流程管理從提供自動化及整合的功能逐漸趨向具有協同機制架構。現行商業流程管理系統著重在流程的定義、執行與管理,對於流程定義又往往受限於廠商的系統功能。對使用者而言面臨的問題包括:第一缺乏廣義的正規語意塑模語言、第二缺乏對流程及網路服務的驗證及分析功能,第三缺乏對規範間互通及移植的功能。所以本研究目的在設計一個塑模平臺,以Colour Petri Net作為流程定義的塑模語言,提供使用者較廣義且淺顯易懂的圖形化塑模工具,並利用Petri Net具有驗證及分析流程的功能。另外提供網路服務搜尋及檢驗功能,藉以提高網路服務的品質。最後提供網路服務組合規範的轉換機制,使用者可以自動產生組合規範文件,或是將規範文件匯至系統,做為不同規範間的交換平臺。實務上本研究希望藉由提供塑模平臺,協助商業人員使用圖形化符號設計高階流程模型,並提供對映的轉換機制至低階流程規範文件,其中提供流程及服務的驗證功能,最後可以完成符合商業需求的可執行之流程模型。
Web services are an emerging technology that not only provides XML messaging centered computing but achieves distributed system integration. Current Web services disciplines are focus on the lifecycle of single Web service. However, the composition of Web services is an essential requirement in e-commerce collaboration. In addition, Web services are all outsourced services, the composing task is under uncertain circumstances. This study describes an integrated platform for composing Web services including visualized modeling, quality verification, services flow language transformation, and flow execution. The platform is based on the Colored Petri Net to construct and transform a flow model. Thus, a services flow model can be further verified by mathematical computing. The study provides a walkthrough example to demonstrate the usages of the integrated platform. The empirical feedbacks indicate that IT developers can take advantages especially in Web services composition modeling.