1、Web服務技術日趨成熟，提供了一種平臺獨立、自描述、位置透明的軟件模塊。利用Web服務組合技術，能夠快速、靈活的滿足復雜多變的業(yè)務需求。當前Web服務組合的建模、分析驗證、仿真運行等方面的研究還不完善，本文針對這些不足展開研究，具體研究成果如下： 1.提出了一個Web服務組合模型WSC_ECPN。該模型借鑒了模型驅動體系結構的思想，基于形式化模型一擴展顏色Petri網，能對Web服務組合進行描述、分析驗證及仿真運行，且模型獨立于

2、具體Web服務組合描述語言；模型將Web服務組合的描述細化到Web服務操作，能同時描述控制流和數據流，支持層次化Web服務組合描述，并以圖形方式表示Web服務組合，精確、全面、清晰、直觀的刻畫了Web服務組合。 2.首先給出了WSC_ECPN模型語法正確性檢測算法，然后從四個層面對WSC_ECPN模型的正確性進行了分析檢測：控制流正確性：給出了WSC_ECPN模型控制流正確性的形式化定義及檢測算法；數據依賴正確性：分析了數據依賴

3、錯誤產生的原因，并給出了檢測數據依賴錯誤的算法；控制依賴與數據依賴沖突：分析了沖突產生的原因并給出了沖突檢測算法；Web服務操作間數據映射正確性：給出了數據映射正確性定義并給出了相應檢測算法。通過以上算法能有效檢測出模型中存在的錯誤并給出錯誤提示信息，為模型的改正提供了參考，確保了模型的正確性。 3.給出了WSC_ECPN模型的動態(tài)運行規(guī)則，嚴格定義了模型的執(zhí)行語義。通過初始化函數設定具體參數將模型實例化，應用模型的動態(tài)運行規(guī)則