基于擴(kuò)展顏色Petri網(wǎng)的Web服務(wù)組合建模研究.pdf

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

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

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