發(fā)布時(shí)間：2017-08-12 06:24

  本文關(guān)鍵詞：支持Web服務(wù)組合與驗(yàn)證的形式化模型

  更多相關(guān)文章： Web服務(wù) 服務(wù)組合 形式化模型 范疇理論 進(jìn)程代數(shù)

【摘要】：針對(duì)Web服務(wù)的組合與驗(yàn)證問(wèn)題,在范疇理論描述框架的基礎(chǔ)上,引入進(jìn)程代數(shù)描述服務(wù)組件的外部行為,為Web服務(wù)系統(tǒng)的架構(gòu)描述建立了一種形式化的語(yǔ)義模型。Web服務(wù)作為范疇理論中的對(duì)象節(jié)點(diǎn),服務(wù)間的交互和組合關(guān)系作為態(tài)射,從而以范疇圖表的形式來(lái)描述服務(wù)網(wǎng)絡(luò)。在形式化定義服務(wù)接口、Web服務(wù)、服務(wù)組合等概念的基礎(chǔ)上,進(jìn)一步分析討論了服務(wù)組合和交互過(guò)程中的語(yǔ)義特性,給出了Web服務(wù)可替代性和服務(wù)請(qǐng)求可滿足性的形式化定義。實(shí)例研究表明,該框架增強(qiáng)了Web服務(wù)架構(gòu)的語(yǔ)義描述能力。
【作者單位】： 濰坊學(xué)院計(jì)算機(jī)工程學(xué)院;
【關(guān)鍵詞】： Web服務(wù) 服務(wù)組合 形式化模型 范疇理論 進(jìn)程代數(shù)
【基金】：山東省科技發(fā)展計(jì)劃項(xiàng)目(2011YD01042,2011YD01043) 山東省優(yōu)秀中青年科學(xué)家科研獎(jiǎng)勵(lì)基金資助項(xiàng)目(BS2011DX039) 山東省高等學(xué)校優(yōu)秀中青年骨干教師國(guó)際合作培養(yǎng)計(jì)劃項(xiàng)目(2013)
【分類號(hào)】：TP393.09;TP311.52
【正文快照】： 0引言近年來(lái),隨著Internet網(wǎng)絡(luò)應(yīng)用模式向著云計(jì)算不斷推進(jìn),服務(wù)計(jì)算在工業(yè)界和學(xué)術(shù)界都取得了長(zhǎng)足的發(fā)展,傳統(tǒng)的計(jì)算系統(tǒng)和軟件系統(tǒng)正逐步演變?yōu)榉⻊?wù)系統(tǒng)[1]。Web服務(wù)作為一種隨時(shí)可被用戶訪問(wèn)的互聯(lián)網(wǎng)資源,可以方便地滿足用戶需求,是實(shí)現(xiàn)面向服務(wù)計(jì)算的主要技術(shù)。通常Web服

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前5條

1 張廣泉;戎玫;朱雪陽(yáng);何亞麗;石慧娟;;基于XYZ/ADL的Web服務(wù)組合描述與驗(yàn)證[J];電子學(xué)報(bào);2011年S1期

2 史忠植;常亮;;基于動(dòng)態(tài)描述邏輯的語(yǔ)義Web服務(wù)推理[J];計(jì)算機(jī)學(xué)報(bào);2008年09期

3 鄧水光;黃龍濤;吳斌;尹健偉;李革新;;一種QoS最優(yōu)的語(yǔ)義Web服務(wù)自動(dòng)組合方法[J];計(jì)算機(jī)學(xué)報(bào);2013年05期

4 陳振邦;王戟;董威;齊治昌;;面向服務(wù)軟件體系結(jié)構(gòu)的接口模型[J];軟件學(xué)報(bào);2006年06期

5 侯可佳;白曉穎;陸?zhàn)?李樹(shù)芳;周立柱;;基于接口語(yǔ)義契約的Web服務(wù)測(cè)試數(shù)據(jù)生成[J];軟件學(xué)報(bào);2013年09期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 吳彥;高洪皓;;網(wǎng)絡(luò)軟件動(dòng)態(tài)演化的元胞自動(dòng)機(jī)模型研究[J];電腦知識(shí)與技術(shù);2010年05期

2 馬勝男;孫翊;;現(xiàn)代服務(wù)業(yè)中的共性標(biāo)準(zhǔn)化問(wèn)題(下)[J];信息技術(shù)與標(biāo)準(zhǔn)化;2010年06期

3 萬(wàn)長(zhǎng)林;韓旭;牛溫佳;王文杰;史忠植;;基于動(dòng)態(tài)描述邏輯的服務(wù)組合及質(zhì)量模型[J];電子學(xué)報(bào);2010年08期

4 張大鵬;王文杰;史忠植;;一種基于主體的可信網(wǎng)構(gòu)軟件設(shè)計(jì)方法[J];電子學(xué)報(bào);2010年11期

5 常亮;;基于邏輯的行動(dòng)理論綜述[J];桂林電子科技大學(xué)學(xué)報(bào);2010年05期

6 周相兵;;本體應(yīng)用綜述[J];廣西科學(xué)院學(xué)報(bào);2010年04期

7 徐猛;崔立真;李慶忠;;基于擴(kuò)展圖規(guī)劃的Top-K服務(wù)組合方法研究[J];電子學(xué)報(bào);2012年07期

8 徐丙鳳;黃志球;胡軍;魏歐;肖芳雄;;一種狀態(tài)事件故障樹(shù)的定量分析方法[J];電子學(xué)報(bào);2013年08期

9 李林輝;俞俊;劉東;施康;;基于E語(yǔ)言的全過(guò)程管理組件的設(shè)計(jì)與實(shí)現(xiàn)[J];電力系統(tǒng)自動(dòng)化;2013年21期

10 俞東進(jìn);吳為;殷昱煜;閆大強(qiáng);劉志清;;基于模型檢測(cè)的服務(wù)規(guī)則路由正確性驗(yàn)證方法[J];電子科技大學(xué)學(xué)報(bào);2014年01期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前2條

1 吳寧生;董光波;曾慶虎;高效;;基于面向服務(wù)和組件技術(shù)的雷達(dá)組網(wǎng)系統(tǒng)架構(gòu)方法[A];2007年中國(guó)智能自動(dòng)化會(huì)議論文集[C];2007年

2 董光波;吳寧生;高效;曾慶虎;楊進(jìn);溫京;;一種組件式多線程網(wǎng)絡(luò)應(yīng)用架構(gòu)的設(shè)計(jì)與實(shí)現(xiàn)[A];2009年中國(guó)智能自動(dòng)化會(huì)議論文集（第六分冊(cè)）[中南大學(xué)學(xué)報(bào)（增刊）][C];2009年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 鄺礫;基于接口和行為語(yǔ)義的Web服務(wù)發(fā)現(xiàn)與適配研究[D];浙江大學(xué);2009年

2 宋雅娟;Web服務(wù)組合方法研究[D];吉林大學(xué);2011年

3 蕭毅鴻;基于本體的復(fù)雜決策任務(wù)表示方法與求解技術(shù)研究[D];南京大學(xué);2011年

4 唐素勤;面向語(yǔ)義Web的描述邏輯本體構(gòu)建[D];中南大學(xué);2011年

5 張龍昌;面向復(fù)雜上下文的組合服務(wù)決策方法研究[D];北京郵電大學(xué);2011年

6 沈國(guó)華;基于描述邏輯的語(yǔ)義Web服務(wù)建模及推理研究[D];南京航空航天大學(xué);2009年

7 楊瑞龍;基于短語(yǔ)特征的Web文檔聚類方法研究[D];重慶大學(xué);2010年

8 吳明暉;面向服務(wù)的語(yǔ)義模型驅(qū)動(dòng)企業(yè)應(yīng)用軟件開(kāi)發(fā)方法及關(guān)鍵技術(shù)研究[D];浙江大學(xué);2011年

9 陳楚湘;中醫(yī)診療標(biāo)準(zhǔn)建立及應(yīng)用的智能方法研究[D];解放軍信息工程大學(xué);2011年

10 郭曉峰;基于SOA和HLA的分布式仿真關(guān)鍵技術(shù)研究[D];解放軍信息工程大學(xué);2011年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 宋超臣;基于推薦網(wǎng)絡(luò)的服務(wù)搜索技術(shù)研究[D];哈爾濱工程大學(xué);2010年

2 杜娟;基于語(yǔ)義網(wǎng)格的知識(shí)地圖資源組織研究與應(yīng)用[D];哈爾濱工程大學(xué);2010年

3 朱利君;基于茶學(xué)領(lǐng)域本體的智能檢索研究[D];安徽農(nóng)業(yè)大學(xué);2010年

4 楊彥博;基于流演算的上下文感知Web服務(wù)組合研究[D];浙江大學(xué);2011年

5 宋慶;基于領(lǐng)域本體的智能檢索技術(shù)應(yīng)用研究[D];中國(guó)農(nóng)業(yè)科學(xué)院;2011年

6 簡(jiǎn)林;基于接口自動(dòng)機(jī)的服務(wù)組合驗(yàn)證研究[D];中南大學(xué);2011年

7 陳誠(chéng);語(yǔ)義Web服務(wù)索引的構(gòu)建和帶有QoS的服務(wù)發(fā)現(xiàn)[D];南京郵電大學(xué);2011年

8 吳玲娟;基于OWL-S和HTN的語(yǔ)義Web服務(wù)組合技術(shù)研究[D];內(nèi)蒙古科技大學(xué);2010年

9 覃明文;基于服務(wù)操作的細(xì)粒度服務(wù)發(fā)現(xiàn)機(jī)制研究與應(yīng)用[D];重慶大學(xué);2011年

10 顧嘉楠;基于多層QoS本體模型的個(gè)性化服務(wù)選擇機(jī)制研究[D];重慶大學(xué);2011年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 林惠民,張文輝;模型檢測(cè):理論、方法與應(yīng)用[J];電子學(xué)報(bào);2002年S1期

2 史忠植,董明楷,蔣運(yùn)承,張海俊;語(yǔ)義Web的邏輯基礎(chǔ)[J];中國(guó)科學(xué)E輯:信息科學(xué);2004年10期

3 傅博;基于模擬退火遺傳算法的軟件測(cè)試數(shù)據(jù)自動(dòng)生成[J];計(jì)算機(jī)工程與應(yīng)用;2005年12期

4 傅博;;基于蟻群算法的軟件測(cè)試數(shù)據(jù)自動(dòng)生成[J];計(jì)算機(jī)工程與應(yīng)用;2007年12期

5 常亮;史忠植;邱莉榕;林芬;;動(dòng)態(tài)描述邏輯的Tableau判定算法[J];計(jì)算機(jī)學(xué)報(bào);2008年06期

6 朱雪陽(yáng),唐稚松;基于時(shí)序邏輯的軟件體系結(jié)構(gòu)描述語(yǔ)言XYZ/ADL[J];軟件學(xué)報(bào);2003年04期

7 楊芙清;軟件工程技術(shù)發(fā)展思索[J];軟件學(xué)報(bào);2005年01期

8 楊鑫;陳俊亮;;WSC/ADL:Web Services組合系統(tǒng)體系結(jié)構(gòu)描述語(yǔ)言[J];軟件學(xué)報(bào);2006年05期

9 文艷軍;王戟;齊治昌;;并發(fā)反應(yīng)式系統(tǒng)的組合模型檢驗(yàn)與組合精化檢驗(yàn)[J];軟件學(xué)報(bào);2007年06期

10 王穎,謝劍英;一種自適應(yīng)蟻群算法及其仿真研究[J];系統(tǒng)仿真學(xué)報(bào);2002年01期

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 張淵源;王海舜;;基于Web服務(wù)組合的醫(yī)院預(yù)檢系統(tǒng)應(yīng)用與分析[J];軟件導(dǎo)刊;2007年19期

2 付曉東;鄒平;;一種規(guī)則驅(qū)動(dòng)的Web服務(wù)組合例外處理方法[J];計(jì)算機(jī)應(yīng)用;2007年08期

3 鐘讀杭;齊治昌;徐錫山;;基于N版本程序設(shè)計(jì)的Web服務(wù)組合可靠性優(yōu)化[J];計(jì)算機(jī)工程與科學(xué);2008年06期

4 鄒金安;楊艷萍;;圖在自動(dòng)Web服務(wù)組合中的應(yīng)用研究[J];小型微型計(jì)算機(jī)系統(tǒng);2008年11期

5 黃小慶;夏安邦;;基于有色Petri網(wǎng)和分類服務(wù)的Web服務(wù)組合模型[J];計(jì)算機(jī)集成制造系統(tǒng);2009年01期

6 王志堅(jiān);程永上;徐經(jīng)緯;;Web服務(wù)組合語(yǔ)義一致性驗(yàn)證研究[J];計(jì)算機(jī)集成制造系統(tǒng);2009年01期

7 門(mén)鵬;段振華;;動(dòng)態(tài)Web服務(wù)組合的選擇策略[J];光子學(xué)報(bào);2009年02期

8 邢智毅;李輝;;基于Web服務(wù)組合技術(shù)的智能交通信息服務(wù)系統(tǒng)[J];電腦與信息技術(shù);2013年01期

9 管有慶;程強(qiáng);;Web服務(wù)組合事務(wù)處理研究與實(shí)現(xiàn)[J];計(jì)算機(jī)技術(shù)與發(fā)展;2013年11期

10 魏慧;戎玫;張廣泉;;一種基于體系結(jié)構(gòu)的Web服務(wù)組合描述方法[J];計(jì)算機(jī)工程與科學(xué);2008年12期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前3條

1 楊艷萍;自動(dòng)Web服務(wù)組合關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2007年

2 鐘讀杭;Web服務(wù)組合的可靠性預(yù)測(cè)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2007年

3 梅健;基于Web服務(wù)組合的文本分類PSE問(wèn)題研究[D];上海大學(xué);2008年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 沈桂芳;面向感知上下文的Web服務(wù)組合的應(yīng)用研究[D];合肥工業(yè)大學(xué);2008年

2 章征東;基于移動(dòng)Agent的Web服務(wù)組合執(zhí)行框架的研究與實(shí)現(xiàn)[D];太原理工大學(xué);2007年

3 胡真華;動(dòng)態(tài)Web服務(wù)組合管理系統(tǒng)的研究與實(shí)現(xiàn)[D];國(guó)防科學(xué)技術(shù)大學(xué);2005年

4 閆培寧;支持Web服務(wù)組合的分布式事務(wù)處理模型[D];河南大學(xué);2007年

5 郭艷;基于BPEL的Web服務(wù)組合建模工具的研究與實(shí)現(xiàn)[D];西北大學(xué);2009年

6 段蕾;基于BPEL4WS的Web服務(wù)組合建模工具的研究和實(shí)現(xiàn)[D];山東大學(xué);2007年

7 王陽(yáng)陽(yáng);多目標(biāo)粒子群算法在Web服務(wù)組合中的應(yīng)用研究[D];河南大學(xué);2010年

8 王庭強(qiáng);Web服務(wù)組合工作流建模分析及Petri網(wǎng)驗(yàn)證[D];安徽理工大學(xué);2008年

9 劉慧蓮;Web服務(wù)組合環(huán)境下的長(zhǎng)事務(wù)處理研究與實(shí)現(xiàn)[D];電子科技大學(xué);2009年

10 李文娟;基于WS-BPEL的Web服務(wù)組合執(zhí)行引擎的設(shè)計(jì)與實(shí)現(xiàn)[D];西北大學(xué);2009年

，

本文編號(hào)：660175