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

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

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

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