數據和時間感知的web服務組合形式化建模與驗證研究

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

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

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

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

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