資源描述：
《基于動(dòng)態(tài)邏輯語(yǔ)義web服務(wù)組合的研究》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、碩十學(xué)位論文摘要隨著Web服務(wù)技術(shù)的迅速發(fā)展，越來(lái)越多的Web服務(wù)運(yùn)行在Internet上，但單個(gè)Web服務(wù)功能有限，難以滿足日益增長(zhǎng)和不斷變化的用戶需求。因此，如何將已有的、運(yùn)行在異構(gòu)平臺(tái)上的Web服務(wù)組合起來(lái)，提供給用戶更為強(qiáng)大和增值的功能，成為Web服務(wù)研究領(lǐng)域中的一個(gè)熱點(diǎn)。目前，Web服務(wù)組合還面臨著一些問(wèn)題：如何確定Web服務(wù)之間的邏輯及時(shí)序關(guān)系，以實(shí)現(xiàn)Web服務(wù)組合的自動(dòng)化；如何測(cè)試和驗(yàn)證Web服務(wù)組合，以保證組合后Web服務(wù)執(zhí)行結(jié)果的正確性。針對(duì)上述問(wèn)題，文本提出了基于動(dòng)態(tài)邏輯的Web服務(wù)組合方法，將OWL．S描述的語(yǔ)義Web服務(wù)映射為動(dòng)態(tài)邏輯中的動(dòng)作和公式，利用動(dòng)
2、態(tài)邏輯的形式化推理來(lái)產(chǎn)生滿足用戶需求的服務(wù)組合，從而實(shí)現(xiàn)了Web服務(wù)組合的自動(dòng)化，并保證了服務(wù)組合結(jié)果的正確性和完整性。本文的主要工作包括：1．從OWL．S中的過(guò)程模型出發(fā)，利用動(dòng)態(tài)邏輯對(duì)語(yǔ)義Web服務(wù)進(jìn)行形式化描述。對(duì)應(yīng)于過(guò)程模型中的原子過(guò)程，可以對(duì)變量、變量綁定、輸入、輸出、前提條件和結(jié)果等多個(gè)方面進(jìn)行刻畫；對(duì)應(yīng)于過(guò)程模型中的組合過(guò)程，可以相應(yīng)地對(duì)順序、條件、選擇、循環(huán)等控制結(jié)構(gòu)進(jìn)行描述。2．在Web服務(wù)組合過(guò)程中，將W曲服務(wù)組合問(wèn)題看成基于動(dòng)態(tài)邏輯的規(guī)劃問(wèn)題，給出了Web服務(wù)組合的形式化定義。用戶所有的輸入被表示為規(guī)劃的初始狀態(tài)，用戶的輸出被表示為規(guī)劃的目標(biāo)狀態(tài)，而服務(wù)組合
3、序列就是從初始狀態(tài)到目標(biāo)狀態(tài)的一個(gè)規(guī)劃。3．給出了基于動(dòng)態(tài)邏輯的語(yǔ)義Web服務(wù)組合框架，用以實(shí)現(xiàn)自動(dòng)化W曲服務(wù)組合。該框架分為用戶層、語(yǔ)義層和執(zhí)行層。用戶層由本體圖形界面模塊構(gòu)成。語(yǔ)義層由OWL．S描述模塊，OWL．S到動(dòng)態(tài)邏輯的轉(zhuǎn)換器模塊，動(dòng)態(tài)邏輯知識(shí)庫(kù)模塊，組合引擎模塊構(gòu)成，而執(zhí)行層則由執(zhí)行引擎模塊和執(zhí)行結(jié)果模塊構(gòu)成。關(guān)鍵詞：語(yǔ)義網(wǎng)；語(yǔ)義Web服務(wù)：服務(wù)組合；Web服務(wù)本體語(yǔ)言；動(dòng)態(tài)邏輯；自動(dòng)推理；基于動(dòng)態(tài)邏輯的語(yǔ)義Web服務(wù)組合研究AbstractWiththerapiddevelopmentofWebservicetechnologies，moreandmoreWebse
4、rvicesarerunningontheInternet．However，asingleWebService’Sfunctionislimited，whichmakeitdifficulttomeetthegrowingandchanginguserneed．ThereforehowtocomposetheWebservicesofheterogeneousplantformstoprovidetheuserwithamorepowerfulandvaluablefunctionhasbecomesahottopicofResearchinthefieldofWebServic
5、e．Currently，manyresearchinstitutionsathomeorabroadbegintosudytheWebservicescompositionandachievedsomeSUCCESS．However，therearestillsomeproblemsneedtosolve．Forexample，howtodeterminethelogicandtimingrelationshipbetweenthebasicWebservicesSOthatcomplexWebservicescanbecomposedautomatically；howtotes
6、tandvalidateWebservicescompositionSOthattheresultofexecutonofWebservicesiscorrect．Aimingattheseproblems，thispaperproposedanautomaticsemanticWebservicecompostionmethodbasedondynamiclogic．SemanticWebservicesaremappetotheactionandformulaofthedynamiclogicandtheWebservicescompositoncanbeachievedby
7、thereasoningofdynamiclogic．TheadvantagesofthismethodlieintheautomationofWebservicescompositonandcorrectnessoftheresultofWebservicescompositon．Themainjobofthispaperincludes：1．TheOWL-SProcessModelofsemanticWebserviceswillbeformalizedbyactionand
