【摘要】：Web服務(wù)組合的目標(biāo)是通過簡單服務(wù)的組合形成以滿足需求的新服務(wù),這個目標(biāo)的完成是通過相對簡單的Web服務(wù)交互的設(shè)計。但Web服務(wù)組合的執(zhí)行過程中,復(fù)雜的需求的互動往往涉及一些簡單的服務(wù)。當(dāng)用戶有多服務(wù)可選時,由于多個服務(wù)組合時產(chǎn)生了問題或不信任這些簡單服務(wù),因而影響到了Web服務(wù)的發(fā)展和應(yīng)用。服務(wù)組合流程的并發(fā)性和復(fù)雜性,使得驗證服務(wù)組合模型的測試變得非常重要。鑒于上述問題本文進(jìn)行了以下工作： 1.基于Web服務(wù)本體語言O(shè)WL-S與有色Petri網(wǎng)的語義一致性,將有色Petri網(wǎng)描述規(guī)則運用到OWL-S進(jìn)程。其中包含OWL-S的原子進(jìn)程及復(fù)合進(jìn)程描述方式,并按照該描述方式使用有色Petri網(wǎng)驗證工具CPN Tools對語義Web服務(wù)組合流程進(jìn)行建模,并對模型進(jìn)行驗證與分析。 2.對此建模方法用于基于有色Petri網(wǎng)的語義Web服務(wù)組合模型的測試方法進(jìn)行了總結(jié)。對于基于有色Petri網(wǎng)的語義Web服務(wù)組合模型,總結(jié)了相關(guān)的測試方法與測試用例生成方式。介紹了完全路徑覆蓋的測試方法,并運用此方法對模型生成的可達(dá)圖生成相應(yīng)的測試用例,以此進(jìn)行測試的正確性分析。 3.對本文提出的方法進(jìn)行實例分析。通過網(wǎng)站提供的Web服務(wù)組合實例,應(yīng)用上述模型做案例分析,針對貸款審批的例子驗證方法的有效性和正確性。經(jīng)實例分析表明,本文建議的方法更為有利于對語義Web服務(wù)組合的模型的正確性驗證以及其模型的測試用例生成。
【學(xué)位授予單位】：內(nèi)蒙古農(nóng)業(yè)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2014
【分類號】：TP393.09
【圖文】：

圖3 OWL-S中的服務(wù)本體Fig.3 Service ontology in OWL-Srofile：在OWL-S中表示為類Service Profile。描述服務(wù)提供者的息，主要是指服務(wù)的 IOPE: Input、Output、Precondition、Effect,

使用OWL-S的Web Services架構(gòu)如圖4所示讓OWL-S聯(lián)合當(dāng)前的Web服務(wù)構(gòu)架（SOAP、WSDL、UDDI)能夠達(dá)成Web Services的發(fā)現(xiàn)、實行和組合自動化【4”。OWL-S ^crvicc SBB "WWi serrlpc? qomposirio^f ‘ '‘mKM (pm.'S p^oas? mwkii :知SMHjji “ ^ ‘“ 、 、：口/” ：■kEj^H Interface specsfsca?tD? laver: WSDLMctssagj-ng layer: SOAPTransport la> cr: HTTF.TCP.UDRand so m圖4應(yīng)用OWL-S的Web Services體系結(jié)構(gòu)Fig.4 Web Services architecture and application of OWL-S語義Web服務(wù)體系結(jié)構(gòu)圖如圖5所示它共有三種基本的角色：服務(wù)提供者(Provider)、服務(wù)請求者(Requester)和服務(wù)注冊中心(OWL-S/OJDDI Matchmaker)。其中，提供者發(fā)布自己的服務(wù)(服務(wù)模式)和服務(wù)請求的響應(yīng)；OWL-S/UDDI Matchmaker提供語義搜索服務(wù)，并登記發(fā)布的服務(wù)；請求注冊中心/匹配匹配所需的服務(wù)請求者，然后使用服務(wù)。！ OWL-S/UDDI i/MatchmakerV \^^quest Advertiser^Requester ： Grounding Provider圖5語義Web Sercices的體系結(jié)構(gòu)Fig.5 The architecture of semantic Web Sercices2.1.2 OWL-S 進(jìn)程OWL-S是一個基于OWL的語義Web服務(wù)本體語言。為了使得計算機能夠為用戶完成服務(wù)的發(fā)現(xiàn)、調(diào)用、組合、驗證、互操作及執(zhí)行監(jiān)控等任務(wù)，OWL-S將Web服務(wù)成為計算機可以理解的實體視為目標(biāo)【49】。0WL-S流程模型采用工作流的流

Fig.4 Web Services architecture and application of OWL-S語義Web服務(wù)體系結(jié)構(gòu)圖如圖5所示它共有三種基本的角色：服務(wù)提供者(Provider)、服務(wù)請求者(Requester)和服務(wù)注冊中心(OWL-S/OJDDI Matchmaker)。其中，提供者發(fā)布自己的服務(wù)(服務(wù)模式)和服務(wù)請求的響應(yīng)；OWL-S/UDDI Matchmaker提供語義搜索服務(wù)，并登記發(fā)布的服務(wù)；請求注冊中心/匹配匹配所需的服務(wù)請求者，然后使用服務(wù)。！ OWL-S/UDDI i/MatchmakerV \^^quest Advertiser^Requester ： Grounding Provider圖5語義Web Sercices的體系結(jié)構(gòu)Fig.5 The architecture of semantic Web Sercices2.1.2 OWL-S 進(jìn)程OWL-S是一個基于OWL的語義Web服務(wù)本體語言。為了使得計算機能夠為用戶完成服務(wù)的發(fā)現(xiàn)、調(diào)用、組合、驗證、互操作及執(zhí)行監(jiān)控等任務(wù)，OWL-S將Web服務(wù)成為計算機可以理解的實體視為目標(biāo)【49】。0WL-S流程模型采用工作流的流

【參考文獻(xiàn)】

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

1 蔡菊;王迪;李必信;;基于擴(kuò)展的層次有色petri網(wǎng)的組合服務(wù)測試用例生成[J];東南大學(xué)學(xué)報(自然科學(xué)版);2008年04期

2 王晨;王紅兵;許迅;;基于Petri網(wǎng)的OWL-S流程模型的驗證與分析[J];電腦知識與技術(shù);2008年07期

3 崔華;應(yīng)時;袁文杰;胡羅凱;;語義Web服務(wù)組合綜述[J];計算機科學(xué);2010年05期

4 羅楠;嚴(yán)雋薇;劉敏;;一種基于有色Petri網(wǎng)的語義Web服務(wù)組合驗證機制[J];計算機集成制造系統(tǒng);2007年11期

5 胡新;王映康;;一種基于隨機PETRI網(wǎng)的OWL-S量化描述模型[J];計算機科學(xué);2012年S1期

本文編號：2743468