發(fā)布時間：2017-10-19 15:29

  本文關(guān)鍵詞：一種基于邏輯Petri網(wǎng)的Web服務(wù)簇組合方法

  更多相關(guān)文章： Web服務(wù) 服務(wù)簇 服務(wù)組合 邏輯Petri網(wǎng) 服務(wù)簇網(wǎng)

【摘要】：Web服務(wù)組合是實現(xiàn)快速服務(wù)增值和軟件重用的重要方式,但現(xiàn)有的靜態(tài)服務(wù)組合和動態(tài)服務(wù)組合方式都有待于進(jìn)一步完善.文中集成靜態(tài)服務(wù)組合和動態(tài)服務(wù)組合的優(yōu)點,提出了一種在虛擬層面上基于服務(wù)簇進(jìn)行服務(wù)組合的思想;研究并提出了一種基于服務(wù)簇的服務(wù)組合方法,并應(yīng)用邏輯Petri網(wǎng)對其進(jìn)行形式化建模描述;給出了服務(wù)簇網(wǎng)的基本組合模型,并分別對其完備性繼承作了分析;研究了服務(wù)簇網(wǎng)組合的代數(shù)運算性質(zhì).最后,通過實驗證明了服務(wù)簇網(wǎng)組合運算的可行性和有效性.
【作者單位】： 山東科技大學(xué)信息科學(xué)與工程學(xué)院;
【關(guān)鍵詞】： Web服務(wù) 服務(wù)簇 服務(wù)組合 邏輯Petri網(wǎng) 服務(wù)簇網(wǎng)
【基金】：國家自然科學(xué)基金(61170078) 國家“九七三”重點基礎(chǔ)研究發(fā)展規(guī)劃項目基金(2010CB328101) 教育部高等學(xué)校博士學(xué)科點專項科研基金博導(dǎo)類資助課題(20113718110004) 山東科技大學(xué)科研創(chuàng)新團(tuán)隊支持計劃項目(2011KYTD102) 青島市科技計劃基礎(chǔ)研究項目(13-1-4-116-jch)資助~~
【分類號】：TP393.09;TP301.1
【正文快照】： 1引言Web服務(wù)技術(shù)具有高度的互操作性、跨平臺性和松散耦合等優(yōu)點.近年來,云計算、物聯(lián)網(wǎng)等新型計算模式的涌現(xiàn)和發(fā)展,極大地推動了Web服務(wù)技術(shù)的發(fā)展.Web服務(wù)技術(shù)引起了世界范圍內(nèi)學(xué)術(shù)界和產(chǎn)業(yè)界的廣泛關(guān)注.隨著大數(shù)據(jù)時代的到來,Web服務(wù)不僅在數(shù)量上迅猛增長,并且在越來越多

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前1條

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

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前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，

本文編號：1061872