【摘要】：驗(yàn)證問(wèn)題是Web服務(wù)發(fā)展中亟待解決的關(guān)鍵問(wèn)題之一,類(lèi)型系統(tǒng)的加入以及Web服務(wù)動(dòng)態(tài)的體系結(jié)構(gòu)給問(wèn)題的解決增添了很多難度.針對(duì)上述問(wèn)題,在多元Pi-演算的基礎(chǔ)上給出Web服務(wù)的描述模型和子類(lèi)型關(guān)系定義,并對(duì)Web服務(wù)的相容性進(jìn)行細(xì)化,給出Web服務(wù)可替換性定義;基于這些模型和定義,給出Web服務(wù)構(gòu)造時(shí)類(lèi)型正確性的判定規(guī)則和運(yùn)行時(shí)可替換性的判定方法;最后用1個(gè)例子說(shuō)明上述規(guī)則和方法的可行性.結(jié)果表明上述模型、定義和方法為解決動(dòng)態(tài)的、類(lèi)型化的Web服務(wù)驗(yàn)證問(wèn)題提供了理論依據(jù)和基礎(chǔ).
[Abstract]:Verification is one of the key problems to be solved in the development of Web services. The addition of type systems and the dynamic architecture of Web services make it more difficult to solve the problems. Aiming at the above problems, the description model and subtype relation definition of Web service are given on the basis of multivariate Pi- calculus, and the compatibility of Web service is refined, and the definition of Web service substitutability is given. Based on these models and definitions, the rules for determining the correctness of Web service types and the method for determining runtime substitutability are given, and finally, an example is given to illustrate the feasibility of the above rules and methods. The results show that the above models, definitions and methods provide the theoretical basis and foundation for solving the dynamic and typed Web service validation problem.
【作者單位】： 天津大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(61003080) 教育部科技發(fā)展中心網(wǎng)絡(luò)時(shí)代科技論文快速共享專(zhuān)項(xiàng)研究課題資助項(xiàng)目(2011117)
【分類(lèi)號(hào)】：TP393.09

【參考文獻(xiàn)】

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

1 辜希武;盧正鼎;;Web服務(wù)相容性的形式化描述與分析[J];計(jì)算機(jī)工程與應(yīng)用;2007年27期

2 辜希武;盧正鼎;;類(lèi)型化的Web服務(wù)組合形式化模型[J];計(jì)算機(jī)科學(xué);2008年01期

3 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務(wù)組合的描述和驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

4 錢(qián)柱中;陸桑璐;謝立;;基于Petri網(wǎng)的Web服務(wù)自動(dòng)組合研究[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

5 胡靜;馮志勇;;基于Pi-演算的Web服務(wù)形式化描述模型*[J];計(jì)算機(jī)應(yīng)用研究;2011年06期

【共引文獻(xiàn)】

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

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

2 常宏達(dá);孫文輝;于雙元;丁丁;;Web服務(wù)組合形式理論分析與研究[J];兵工自動(dòng)化;2009年05期

3 康輝;苑森淼;浦潔;劉勇;;基于Pi演算的Web服務(wù)建模與WSDL轉(zhuǎn)換[J];北京工業(yè)大學(xué)學(xué)報(bào);2008年11期

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

5 代鈺;楊雷;張斌;;面向業(yè)務(wù)領(lǐng)域基于智能規(guī)劃的web服務(wù)組合(英文)[J];Journal of Southeast University(English Edition);2007年03期

6 程杰;程燕;;Web服務(wù)復(fù)合技術(shù)在SOA系統(tǒng)中的研究與應(yīng)用[J];電腦知識(shí)與技術(shù);2006年26期

7 苑慶濤;陳彥萍;;Web服務(wù)組合方法研究綜述[J];電腦知識(shí)與技術(shù);2010年07期

8 魏慧;;基于XYZ/ADL的BPEL4WS Web服務(wù)組合描述方法[J];電腦知識(shí)與技術(shù);2010年29期

9 劉紹華;馬鐵軍;景興建;;云端的服務(wù)協(xié)作動(dòng)態(tài)構(gòu)造技術(shù)研究綜述[J];電信科學(xué);2010年S1期

10 周霞;曹寶香;;OOPN下基于優(yōu)先級(jí)算法的Web服務(wù)組合[J];電子技術(shù);2011年04期

相關(guān)會(huì)議論文 前2條

1 趙會(huì)群;孫晶;魏瑩;王文文;;服務(wù)體系結(jié)構(gòu)的動(dòng)態(tài)演化方法研究[A];CCF NCSC 2011——第二屆中國(guó)計(jì)算機(jī)學(xué)會(huì)服務(wù)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2011年

2 張功源;李必信;邱棟;吉順慧;;一種基于并發(fā)的BPEL控制流模型的分析及驗(yàn)證[A];第六屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2010年

相關(guān)博士學(xué)位論文 前10條

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

2 曹洪江;基于用戶(hù)需求的Web服務(wù)組合系統(tǒng)研究[D];武漢理工大學(xué);2010年

3 曹虹華;語(yǔ)義編程語(yǔ)言SPROGLE及其實(shí)現(xiàn)機(jī)制研究[D];武漢大學(xué);2009年

4 趙亮;Web服務(wù)組合性能建模與分析[D];武漢大學(xué);2009年

5 曾鳴;基于SOA的森林資源空間信息分級(jí)服務(wù)研究[D];中國(guó)林業(yè)科學(xué)研究院;2011年

6 周航;基于質(zhì)量有色Petri網(wǎng)的Web組合服務(wù)建模與沖突、沖撞研究[D];南京航空航天大學(xué);2009年

7 肖芳雄;面向QoS的Web服務(wù)組合建模和驗(yàn)證研究[D];南京航空航天大學(xué);2010年

8 朱俊;基于Petri網(wǎng)的Web服務(wù)組合的交互模型及其應(yīng)用機(jī)理的研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

9 劉林源;Web服務(wù)組合隱私分析與驗(yàn)證研究[D];南京航空航天大學(xué);2011年

10 崔金棟;基于本體的網(wǎng)格信息檢索模型研究[D];吉林大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 馬文濤;基于Web Services的工作流系統(tǒng)新模型的研究與實(shí)現(xiàn)[D];遼寧工程技術(shù)大學(xué);2010年

2 康件麗;網(wǎng)格服務(wù)質(zhì)量評(píng)價(jià)與服務(wù)組合的研究[D];河南理工大學(xué);2010年

3 張大奎;基于Agent的網(wǎng)格服務(wù)組合研究[D];河南理工大學(xué);2010年

4 鄭姜;基于WS-CDL的貿(mào)易協(xié)同流程建模工具的研究與實(shí)現(xiàn)[D];華東理工大學(xué);2011年

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

6 宋仲凱;大粒度服務(wù)組合驗(yàn)證工具的設(shè)計(jì)與實(shí)現(xiàn)[D];浙江大學(xué);2011年

7 朱恒亮;SOA中服務(wù)與服務(wù)組合的形式化研究[D];福建師范大學(xué);2010年

8 李延紅;基于Pi演算的Web服務(wù)組合技術(shù)研究[D];山東經(jīng)濟(jì)學(xué)院;2011年

9 王軼;基于顏色Petri網(wǎng)的BPEL自動(dòng)生成方法[D];北方工業(yè)大學(xué);2011年

10 向劍峰;基于OWL-S的語(yǔ)義Web服務(wù)組合模型的研究[D];湖北工業(yè)大學(xué);2011年

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

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

1 袁敏;黃志球;曹子寧;肖芳雄;;一種擴(kuò)充的π-演算及事務(wù)性等價(jià)關(guān)系研究[J];計(jì)算機(jī)研究與發(fā)展;2010年03期

2 辜希武;盧正鼎;;基于Pi-演算的BPEL4 WS Web服務(wù)組合形式化模型[J];計(jì)算機(jī)科學(xué);2007年03期

3 辜希武;盧正鼎;;Web服務(wù)編排描述語(yǔ)言WS-CDL的形式化模型框架[J];計(jì)算機(jī)科學(xué);2007年09期

4 王曉玲,郭志懋,周傲英;Web服務(wù)組合的基于文法的消息處理[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

5 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務(wù)組合的描述和驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

6 張文濤;彭泳;陳俊亮;;會(huì)話(huà)類(lèi)E-Service的接口兼容和服務(wù)組合分析[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

7 岳昆,王曉玲,周傲英;Web服務(wù)核心支撐技術(shù):研究綜述[J];軟件學(xué)報(bào);2004年03期

8 張侃;朱稷涵;張廣泉;;基于有色Petri網(wǎng)的Web服務(wù)組合建模與分析[J];蘇州大學(xué)學(xué)報(bào)(工科版);2010年04期

【相似文獻(xiàn)】

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

1 胡靜;馮志勇;;基于多元Pi-演算的Web服務(wù)形式化描述模型及其驗(yàn)證[J];計(jì)算機(jī)應(yīng)用研究;2011年08期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

，

本文編號(hào)：2315702