Web服務(wù)組合的時間顏色Petri網(wǎng)模型及其在交通信息服務(wù)系統(tǒng)建模中應(yīng)用.pdf

1、Web服務(wù)是一種按標(biāo)準(zhǔn)語言描述并通過網(wǎng)絡(luò)發(fā)布、可供發(fā)現(xiàn)和調(diào)用的軟件模塊，具有平臺獨(dú)立、可重用、松散耦合、自描述的特點(diǎn)。利用Web服務(wù)組合可以快速滿足業(yè)務(wù)需求，并能靈活適應(yīng)需求的變化。本文在Web服務(wù)組合建模及分析方面做了如下研究：
　　 （1）給出了一個基于時間顏色Petri網(wǎng)的Web服務(wù)組合描述模型WSC-HTCPN，模型支持Web服務(wù)組合中參數(shù)、組合結(jié)構(gòu)、調(diào)用Web服務(wù)延時的描述，能夠較全面的描述Web服務(wù)組合，并且支持We

2、b服務(wù)組合的層次化設(shè)計(jì)。
　　 （2）在WSC HTCPN模型基礎(chǔ)之上，定義了描述Web服務(wù)組合中Web服務(wù)間依賴關(guān)系的邏輯網(wǎng)，并給出邏輯網(wǎng)正確性分析驗(yàn)證方法，確保Web服務(wù)組合的邏輯正確性。
　　 （3）在確保Web服務(wù)組合邏輯正確性前提下，給出了WSC HTCPN模型動態(tài)運(yùn)行規(guī)則，實(shí)現(xiàn)了Web服務(wù)組合流程的運(yùn)行仿真。通過設(shè)定變遷引發(fā)的延時，可獲得仿真運(yùn)行中流程的一些時間值，根據(jù)實(shí)際應(yīng)用需求可對Web服務(wù)組合流程的性能