基于PETRI網(wǎng)的語義WEB服務(wù)組合建模及可靠性研究.pdf

1、如今,Internet為我們提供了可供訪問的大量的Web服務(wù),這些服務(wù)大多面向特定的功能,而且單個服務(wù)能完成的工作是很有限的。如果能夠找到一種方法,讓我們可以以一種機器可理解的方式對Web服務(wù)進行描述,進而把功能相對單一的服務(wù)進行組合,我們就能在不必大量編寫代碼的情況下獲得增值服務(wù),這就是語義Web研究的問題。
　　OWL-S是最有效的語義Web服務(wù)本體語言之一,它提供了一種基于本體的框架和規(guī)則,在這種規(guī)則下對Web服務(wù)的描述具有

2、語義信息,可以使計算機在一定程度上理解我們的描述。OWL-S語言使用方便、表達能力強,并且對Web服務(wù)的描述非常清晰明了。但是,目前在語義本體語言方面的理論研究重在其形式化和性質(zhì)驗證,而在非功能特性和量化分析方面卻相對薄弱。為了使用戶能判斷一個服務(wù)在非功能特性方面是否能滿足其需求,進而從服務(wù)群中選出對其整體系統(tǒng)最有利的服務(wù),我們需要建立一種方法來分析OWL-S中組合服務(wù)的服務(wù)質(zhì)量。
　　在這篇論文中,我們以非馬爾科夫鏈的隨機 Pe

3、tri網(wǎng)(NMSPN)為基礎(chǔ),對OWL-S中涉及的原子服務(wù)、結(jié)構(gòu)服務(wù)建立了Petri網(wǎng)模型,從而可以方便地使用基于概率的方法計算單個服務(wù)的正常結(jié)束概率,然后通過計算得到整個系統(tǒng)的可靠性。這種方法使用一個概率性的值來表示服務(wù)調(diào)用和SOAP消息傳遞的成功情況,并將其作為輸入?yún)?shù)傳入模型進行計算。
　　為了驗證模型和計算方法的可行性與正確性,我們詳細分析了一個實例。先建立起系統(tǒng)的Petri網(wǎng)模型,然后測得它在實際運行中的各種數(shù)據(jù)。使用這