數(shù)據(jù)和時(shí)間感知的web服務(wù)組合形式化建模與驗(yàn)證研究

1、蘇州大學(xué)學(xué)位論文獨(dú)創(chuàng)性聲明本人鄭重聲明：所提交的學(xué)位論文是本人在導(dǎo)師的指導(dǎo)下，獨(dú)立進(jìn)行研究工作所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不含其他個(gè)人或集體已經(jīng)發(fā)表或撰寫過的研究成果，也不含為獲得蘇州大學(xué)或其它教育機(jī)構(gòu)的學(xué)位證書而使用過的材料。對(duì)本文的研究作出重要貢獻(xiàn)的個(gè)人和集體，均已在文中以明確方式標(biāo)明。本人承擔(dān)本聲明的法律責(zé)任。論文作者簽名：童墜縫軍日期：埋如墨：唾數(shù)據(jù)和時(shí)問感知的w曲服務(wù)組合形式化建橫‘j驗(yàn)證研究中文摘要數(shù)據(jù)和

2、時(shí)間感知的Web服務(wù)組合形式化建模與驗(yàn)證研究中文摘要近年來，隨著互聯(lián)網(wǎng)的普及與電子商務(wù)技術(shù)的發(fā)展，面向服務(wù)的計(jì)算(SOC)和面向服務(wù)的體系結(jié)構(gòu)(SOA)正逐步變?yōu)槲磥碥浖l(fā)展的一種趨勢(shì)。也已成為學(xué)術(shù)界和工業(yè)界共同關(guān)注的一個(gè)研究熱點(diǎn)。作為一種全新的計(jì)算模式，SoC有效解決在分布、動(dòng)態(tài)以及異構(gòu)環(huán)境下分布式應(yīng)用集成問題，而SoA作為一種新的軟件開發(fā)模式，通過松耦合方式有效支持和實(shí)現(xiàn)軟件資產(chǎn)的集成與復(fù)用。目前w曲服務(wù)技術(shù)的不斷成熟與發(fā)展使其成為

3、SOA的主流實(shí)現(xiàn)方式，也為SOC提供了最佳技術(shù)支撐。W曲服務(wù)是一種基于網(wǎng)絡(luò)的自描述、自包含的軟件構(gòu)件，具有松耦合、獨(dú)立性強(qiáng)等特點(diǎn)。它以SOAP、wSDL以及UDDI等標(biāo)準(zhǔn)協(xié)議為核心，采用面向服務(wù)的體系結(jié)構(gòu)，通過服務(wù)發(fā)布、查找以及綁定等基本操作，實(shí)現(xiàn)分布式環(huán)境中動(dòng)態(tài)、開放的互操作以及跨平臺(tái)應(yīng)用。由于單個(gè)W曲服務(wù)的功能有限，通過將已有的服務(wù)構(gòu)件以靜態(tài)或動(dòng)態(tài)的方式組合成一個(gè)新的服務(wù)來滿足企業(yè)特定的個(gè)性化需求已成為目前動(dòng)態(tài)電子商務(wù)領(lǐng)域的發(fā)展趨勢(shì)

4、，并且已影響到當(dāng)今服務(wù)產(chǎn)業(yè)的產(chǎn)品開發(fā)方式。然而，由于網(wǎng)絡(luò)環(huán)境的動(dòng)態(tài)、異構(gòu)以及分布式等特性，如何確保組合后的W曲服務(wù)能夠?qū)崿F(xiàn)企業(yè)要求的業(yè)務(wù)功能，同時(shí)在運(yùn)行過程中不會(huì)出現(xiàn)企業(yè)不期望的情況，已成為構(gòu)建和運(yùn)行面向服務(wù)架構(gòu)系統(tǒng)、實(shí)現(xiàn)企業(yè)應(yīng)用集成的根本。形式化技術(shù)作為軟件質(zhì)量保證的一種重要方法，為解決以上問題提供了有效途徑。本文采用形式化技術(shù)，圍繞服務(wù)組合研究領(lǐng)域所涉及的三個(gè)核心科學(xué)問題：W曲服務(wù)組合的建模、靜態(tài)驗(yàn)證及運(yùn)行時(shí)動(dòng)態(tài)驗(yàn)證展開研究。首先，

5、以自動(dòng)機(jī)理論為基礎(chǔ)，建立一個(gè)可以有效刻畫數(shù)據(jù)及時(shí)間等信息的W曲服務(wù)組合形式化模型；其次，以模型檢測(cè)技術(shù)為核心思想，提出一種能夠?qū)曲服務(wù)組合的行為屬性、時(shí)間屬性以及數(shù)據(jù)屬性等進(jìn)行靜態(tài)驗(yàn)證的理論方法；最后。以運(yùn)行時(shí)監(jiān)控W曲服務(wù)組合一般方法為基本思路，給出一套能夠在W曲服務(wù)組合動(dòng)態(tài)運(yùn)行過程中出現(xiàn)異常時(shí)進(jìn)行有效處理的故障診斷機(jī)制。對(duì)服務(wù)組合建模與驗(yàn)證技術(shù)的深入研究可以有效提高W曲服務(wù)組合的可信性，推動(dòng)面向服務(wù)概念的發(fā)展。關(guān)鍵詞：w曲服務(wù)組合；