基于著色賦時Petri網(wǎng)的Web服務組合流程建模研究.pdf

1、近年來，面向服務的計算(SOC)成為了軟件領域研究的熱點之一，它的核心理念是在交換的軟件成分之間，構建起松耦合的協(xié)同軟件體系。SOC以Web服務作為基本組成成分，并采用一系列的標準化的協(xié)議進行交互。關于SOC的研究涉及很多方面，其中一個重要的課題就是Web服務組合問題[1]，Web服務組合的描述是：一個復雜的需求無法由一個單一的Web服務完成，而可以由幾個Web服務組合起來完成。而Web服務組合又主要涉及兩個方面的問題：(1)Web服務

2、合成：(2)Web服務組合的編制執(zhí)行[2]。本文的工作主要集中在前者之上，研究怎樣將一組給定的Web服務組合成復合的粒度更大的服務。具體研究成果如下： 1.借助Pctd網(wǎng)理論提出了一個web服務組合模型WSC-CTPN。在該基于Petri網(wǎng)的模型中通過引入時間集合來表示W(wǎng)eb服務觸發(fā)的時間條件，通過引入顏色集合來區(qū)別不同種類的Web服務，并可通過該模型對web服務的組合進行描述，分析驗證及仿真運行，以使對Web服務組合的描述更為