基于隨機(jī)Petri網(wǎng)的BPEL服務(wù)組合分析方法的研究.pdf

1、在互聯(lián)網(wǎng)中數(shù)據(jù)共享與功能互用的一個(gè)重要手段是通過(guò)Web服務(wù)來(lái)實(shí)現(xiàn)的，Web服務(wù)能較好地解決異構(gòu)服務(wù)在松散藕合環(huán)境下的集成、協(xié)作和互操作的問(wèn)題。
　　Web服務(wù)組合解決了單個(gè)Web服務(wù)的功能始終有限，不能滿足復(fù)雜系統(tǒng)的需求缺陷。目前組合Web服務(wù)的主流方法是基于WS-BPEL規(guī)范編寫的業(yè)務(wù)流程組合Web服務(wù)。由于組合中的服務(wù)組件分布存在自治、異構(gòu)以及動(dòng)態(tài)變化等特點(diǎn),從而使服務(wù)存在諸多不確定的因素，這樣的服務(wù)組合可信性有待考證。因此，

2、Web服務(wù)組合的可信性進(jìn)行研究是很有必要的，它是推動(dòng)Web服務(wù)技術(shù)發(fā)展的需要。
　　本文提供了一種分析方法來(lái)預(yù)測(cè)Web服務(wù)組合的非功能特性，主要工作如下：
　?、俳M合規(guī)范的抽象：為了獲得對(duì)基于BPEL描述的服務(wù)組合的中間模型，需從服務(wù)組合中提取出與服務(wù)質(zhì)量相關(guān)的要素。從而可在適當(dāng)?shù)膶哟紊蠈?duì)服務(wù)組合進(jìn)行抽象，以確保模型規(guī)模的適度。
　?、谠O(shè)計(jì)中間模型：以Petri網(wǎng)為中間模型對(duì)基于BPEL描述的服務(wù)組合進(jìn)行建模，中間模型

3、定量描述的要素有：原子活動(dòng)、結(jié)構(gòu)活動(dòng)、特殊處理活動(dòng)、消息交互以及控制鏈接等。此外，還要關(guān)注活動(dòng)內(nèi)部影響流程演化和活動(dòng)觸發(fā)條件的諸多條件。
　?、鄯枪δ苤笜?biāo)的定量求解：根據(jù)第②步可得到狀態(tài)圖，標(biāo)注狀態(tài)圖進(jìn)行的時(shí)間和概率，最后嵌入同質(zhì)連續(xù)時(shí)間馬爾科夫鏈。從同質(zhì)連續(xù)時(shí)間馬爾科夫鏈中獲得對(duì)應(yīng)的變遷強(qiáng)度矩陣Q，在矩陣Q上進(jìn)行相關(guān)的時(shí)間與概率計(jì)算最終可獲得服務(wù)組合的一些非功能特性（執(zhí)行效率、組合可靠性、執(zhí)行代價(jià)）的定量評(píng)估結(jié)果。
　　④