發(fā)布時間：2020-01-21 22:34

【摘要】：隨著面向服務體系結構(SOA)的提出,很多軟件及其應用都被封裝成服務,服務的使用也進入人們的日常生活。但是,在復雜的網絡環(huán)境下,單一的Web服務已經不再能夠滿足用戶越來越復雜的需求。因此,Web服務組合成為急需解決的問題。Web服務具有的動態(tài)特征和分布式特點,使它不受外部軟件和硬件環(huán)境的限制,從而使Web服務的組合成為可能,同時服務組合的可靠性也成為學術界關注的問題。為了保證服務組合的可靠性,本文提出了幾種服務組合可信范式,并且通過范式來規(guī)范SOA的可靠性設計。 本文針對現有的Web服務組合編輯器對服務組合時的可靠行和可信性考慮不足,在以往研究基礎上,把可信軟件體系結構代數模型中的第一范式、第二范式、可信一型范式和可信二型范式應用到服務組合建模與發(fā)布工作中,通過可信范式可以約束服務組合過程并提高服務組合的可靠屬性。根據Web服務組件之間的組合運算方式和組件之間的調用關系來判定組合的服務符合哪種范式也就是服務的可信等級。 服務的發(fā)布可以分為契約優(yōu)先和代碼優(yōu)先兩種方式,由于本編輯器先生成了契約,即WSDL,所以發(fā)布服務必須用契約優(yōu)先,有WSDL生成Java代碼來發(fā)布服務,供用戶使用。 本文最后從服務組件、可信服務組合及其核心算法設計、集成服務發(fā)布三個方面介紹如何通過編輯器進行可靠服務組合建模的過程,并且同時給出兩個具體實際的案例來說明工具的可用性。
【學位授予單位】：北方工業(yè)大學
【學位級別】：碩士
【學位授予年份】：2014
【分類號】：TP393.09

【參考文獻】

相關期刊論文 前10條

1 杜栓柱,譚建榮,陸國棟;基于界面構件關聯圖的軟件功能測試技術[J];計算機研究與發(fā)展;2002年02期

2 李光遠,陳詠章;用隨機Petri網對構件化軟件可靠性進行早期評估[J];計算機工程與應用;2005年29期

3 陳丁劍;吳健;馬滿福;胡正國;;基于Petri網的Web服務組合建模[J];計算機科學;2006年05期

4 閆春鋼;蔣昌俊;李啟炎;;基于Petri網的Web服務組合與分析[J];計算機科學;2007年02期

5 張亮;姚淑珍;;基于Petri網的工作流模式研究[J];計算機集成制造系統(tǒng);2006年01期

6 閻志華,丁秋林;基于Petri網的Web服務流程建模[J];計算機應用;2003年12期

7 毛曉光,鄧勇進;基于構件軟件的可靠性通用模型[J];軟件學報;2004年01期

8 岳昆,王曉玲,周傲英;Web服務核心支撐技術:研究綜述[J];軟件學報;2004年03期

9 黎立;朱清新;王芳;;EPC系統(tǒng)中的中間件研究[J];計算機工程與設計;2006年18期

10 趙會群;申寧;;Web服務組合編輯器的設計與實現[J];計算機技術與發(fā)展;2012年12期

，

本文編號：2571741