【摘要】：Web服務(wù)組合的目標(biāo)是通過(guò)簡(jiǎn)單服務(wù)的組合形成以滿足需求的新服務(wù),這個(gè)目標(biāo)的完成是通過(guò)相對(duì)簡(jiǎn)單的Web服務(wù)交互的設(shè)計(jì)。但Web服務(wù)組合的執(zhí)行過(guò)程中,復(fù)雜的需求的互動(dòng)往往涉及一些簡(jiǎn)單的服務(wù)。當(dāng)用戶有多服務(wù)可選時(shí),由于多個(gè)服務(wù)組合時(shí)產(chǎn)生了問(wèn)題或不信任這些簡(jiǎn)單服務(wù),因而影響到了Web服務(wù)的發(fā)展和應(yīng)用。服務(wù)組合流程的并發(fā)性和復(fù)雜性,使得驗(yàn)證服務(wù)組合模型的測(cè)試變得非常重要。鑒于上述問(wèn)題本文進(jìn)行了以下工作： 1.基于Web服務(wù)本體語(yǔ)言O(shè)WL-S與有色Petri網(wǎng)的語(yǔ)義一致性,將有色Petri網(wǎng)描述規(guī)則運(yùn)用到OWL-S進(jìn)程。其中包含OWL-S的原子進(jìn)程及復(fù)合進(jìn)程描述方式,并按照該描述方式使用有色Petri網(wǎng)驗(yàn)證工具CPN Tools對(duì)語(yǔ)義Web服務(wù)組合流程進(jìn)行建模,并對(duì)模型進(jìn)行驗(yàn)證與分析。 2.對(duì)此建模方法用于基于有色Petri網(wǎng)的語(yǔ)義Web服務(wù)組合模型的測(cè)試方法進(jìn)行了總結(jié)。對(duì)于基于有色Petri網(wǎng)的語(yǔ)義Web服務(wù)組合模型,總結(jié)了相關(guān)的測(cè)試方法與測(cè)試用例生成方式。介紹了完全路徑覆蓋的測(cè)試方法,并運(yùn)用此方法對(duì)模型生成的可達(dá)圖生成相應(yīng)的測(cè)試用例,以此進(jìn)行測(cè)試的正確性分析。 3.對(duì)本文提出的方法進(jìn)行實(shí)例分析。通過(guò)網(wǎng)站提供的Web服務(wù)組合實(shí)例,應(yīng)用上述模型做案例分析,針對(duì)貸款審批的例子驗(yàn)證方法的有效性和正確性。經(jīng)實(shí)例分析表明,本文建議的方法更為有利于對(duì)語(yǔ)義Web服務(wù)組合的模型的正確性驗(yàn)證以及其模型的測(cè)試用例生成。
【學(xué)位授予單位】：內(nèi)蒙古農(nóng)業(yè)大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類號(hào)】：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)、實(shí)行和組合自動(dòng)化【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語(yǔ)義Web服務(wù)體系結(jié)構(gòu)圖如圖5所示它共有三種基本的角色：服務(wù)提供者(Provider)、服務(wù)請(qǐng)求者(Requester)和服務(wù)注冊(cè)中心(OWL-S/OJDDI Matchmaker)。其中，提供者發(fā)布自己的服務(wù)(服務(wù)模式)和服務(wù)請(qǐng)求的響應(yīng)；OWL-S/UDDI Matchmaker提供語(yǔ)義搜索服務(wù)，并登記發(fā)布的服務(wù)；請(qǐng)求注冊(cè)中心/匹配匹配所需的服務(wù)請(qǐng)求者，然后使用服務(wù)。！ OWL-S/UDDI i/MatchmakerV \^^quest Advertiser^Requester ： Grounding Provider圖5語(yǔ)義Web Sercices的體系結(jié)構(gòu)Fig.5 The architecture of semantic Web Sercices2.1.2 OWL-S 進(jìn)程OWL-S是一個(gè)基于OWL的語(yǔ)義Web服務(wù)本體語(yǔ)言。為了使得計(jì)算機(jī)能夠?yàn)橛脩敉瓿煞⻊?wù)的發(fā)現(xiàn)、調(diào)用、組合、驗(yàn)證、互操作及執(zhí)行監(jiān)控等任務(wù)，OWL-S將Web服務(wù)成為計(jì)算機(jī)可以理解的實(shí)體視為目標(biāo)【49】。0WL-S流程模型采用工作流的流

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

【參考文獻(xiàn)】

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

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

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

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

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

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

本文編號(hào)：2743468