本文選題：Web服務(wù)　切入點：Petri網(wǎng)　出處：《小型微型計算機(jī)系統(tǒng)》2013年02期

【摘要】：針對Petri網(wǎng)理論與方法在服務(wù)計算中的應(yīng)用,從Web服務(wù)執(zhí)行的角度,在定義Web服務(wù)組合的Petri網(wǎng)的基礎(chǔ)上,給出Web服務(wù)組合的Petri網(wǎng)的自動生成方法.首先對Web服務(wù)的Petri網(wǎng)描述,通過利用Web服務(wù)的輸入、輸出等元素的本體定義為Petri網(wǎng)中相應(yīng)庫所元素添加語義標(biāo)簽,得到Web服務(wù)的Petri網(wǎng)的PNML(Petri net Markup Language)+OWL(OntologyWeb Language)描述,其中PNML部分描述Petri網(wǎng)的網(wǎng)結(jié)構(gòu),OWL部分描述Petri網(wǎng)中各庫所元素的語義標(biāo)記;進(jìn)一步,在已得到Web服務(wù)組合中各子Web服務(wù)之間輸入/輸出關(guān)聯(lián)元素的基礎(chǔ)上,確定各子Web服務(wù)的Petri網(wǎng)之間的可融合庫所,通過執(zhí)行可融合庫所之間的庫所融合操作,將各子Web服務(wù)的Petri網(wǎng)合并得到Web服務(wù)組合的Petri網(wǎng),為Petri網(wǎng)相關(guān)理論與方法在服務(wù)計算中得到實際應(yīng)用提供了必要的前提.
[Abstract]:Aiming at the application of Petri net theory and method in service computing, from the point of view of Web service execution, based on the definition of Petri net of Web service composition, an automatic generation method of Web service composition Petri net is presented.Firstly, the Petri net description of Web service is described. By using the ontology of the input and output elements of the Web service, the PNML(Petri net Markup language (OWL(OntologyWeb language) description of the Petri net of the Web service is obtained by adding semantic tags to the elements of the corresponding library in the Petri net.The PNML part describes the network structure of the Petri net and the semantic markup of the elements of each library in the Petri net. Furthermore, on the basis of obtaining the input / output correlation elements among the sub-#en4# services in the Web service composition,The fusible library stations between the Petri nets of each sub-#en0# service are determined. By performing the fusion operation of the libraries between the Web services, the Petri nets of each sub-#en2# service are merged to obtain the Petri net of the Web service composition.It provides a prerequisite for the practical application of Petri net theory and method in service computing.
【作者單位】： 山東省網(wǎng)絡(luò)環(huán)境智能計算技術(shù)重點實驗室;濟(jì)南大學(xué)信息科學(xué)與工程學(xué)院;
【基金】：國家自然科學(xué)基金項目(60903099)資助 山東省優(yōu)秀中青年科學(xué)家獎勵基金項目(BS2009DX012)資助 山東省高等學(xué)�？萍加媱濏椖�(J09LG14)資助
【分類號】：TP393.09;TP301.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 郭玉彬;杜玉越;奚建清;;Web服務(wù)組合的有色網(wǎng)模型及運算性質(zhì)[J];計算機(jī)學(xué)報;2006年07期

2 范貴生;虞慧群;陳麗瓊;劉冬梅;;基于Petri網(wǎng)的服務(wù)組合故障診斷與處理[J];軟件學(xué)報;2010年02期

3 杜彥華;范玉順;李喜彤;;基于模塊化可達(dá)圖的服務(wù)組合驗證及BPEL代碼生成[J];軟件學(xué)報;2010年08期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 代秀娟;章昭輝;王敏生;楊娟;潘冬生;汪小寒;;旅游信息服務(wù)組合的Petri網(wǎng)建模及其實現(xiàn)[J];安徽師范大學(xué)學(xué)報(自然科學(xué)版);2011年04期

2 吳紅娟;;基于自愈型獨立性服務(wù)組合模型的設(shè)計與實現(xiàn)[J];成都信息工程學(xué)院學(xué)報;2009年01期

3 周宇;張鵬程;李必信;;一種Web服務(wù)組合的數(shù)學(xué)模型[J];東南大學(xué)學(xué)報(自然科學(xué)版);2007年04期

4 夏妍;;基于擴(kuò)展顏色Petri網(wǎng)的Web服務(wù)組合建模及應(yīng)用[J];電腦知識與技術(shù);2011年21期

5 王勇;代桂平;侯亞榮;方娟;任興田;;基于并發(fā)事務(wù)邏輯的Web服務(wù)編制驗證[J];電子學(xué)報;2009年10期

6 張正明;馬炳先;相東明;;基于Petri網(wǎng)的Web服務(wù)注冊方法的研究與實現(xiàn)[J];電信科學(xué);2012年11期

7 程永上;王志堅;;Web服務(wù)組合在水利領(lǐng)域中的應(yīng)用[J];計算機(jī)工程與應(yīng)用;2008年07期

8 程永上;王志堅;;語義Web服務(wù)組合的形式化描述與驗證研究[J];計算機(jī)科學(xué);2008年04期

9 張昭理;洪帆;;一個基于有色Petri網(wǎng)的自動Web服務(wù)合成模型[J];計算機(jī)科學(xué);2008年06期

10 高e，

本文編號：1725599