簡介：隨著服務(wù)經(jīng)濟的快速發(fā)展，現(xiàn)代服務(wù)逐漸區(qū)別于傳統(tǒng)服務(wù)，其最主要的特征是充分利用了網(wǎng)絡(luò)與IT技術(shù)，現(xiàn)代服務(wù)通常用網(wǎng)絡(luò)來發(fā)布和公告服務(wù)以及利用軟件系統(tǒng)來管理服務(wù)甚至直接在網(wǎng)絡(luò)上就完成服務(wù)查找和交易。因此從互聯(lián)網(wǎng)中發(fā)現(xiàn)并提取服務(wù)及服務(wù)提供者信息已成為需求。然而，由于服務(wù)分屬不同領(lǐng)域，服務(wù)提供者各自發(fā)布和管理自己的服務(wù)信息，這些信息分散在互聯(lián)網(wǎng)的各個角落，且服務(wù)的種類和數(shù)量又十分龐大，這對如何快速和精準地發(fā)現(xiàn)服務(wù)和服務(wù)提供者提出了巨大挑戰(zhàn)。本文提出的搜索引擎正是解決這個問題的有效方法，該搜索引擎避免了傳統(tǒng)搜索引擎基于關(guān)鍵字匹配的搜索，首先建立服務(wù)本體，包括按領(lǐng)域和服務(wù)內(nèi)容建立的領(lǐng)域主題類，并以此建立存儲目錄。在利用互聯(lián)網(wǎng)爬蟲下載網(wǎng)頁后，利用鏈接文本與主題及主題特征匹配，再利用網(wǎng)頁內(nèi)容和網(wǎng)頁結(jié)構(gòu)識別網(wǎng)頁主題，將鏈接存儲在不同主題目錄下，以便采取不同的信息抽取方案。信息抽取主要是從網(wǎng)頁提取服務(wù)提供者基本屬性和服務(wù)提供者之間的關(guān)系信息，利用人名特征識別詞性標注、正則表達式、本體匹配等智能技術(shù)識別服務(wù)提供者的基本信息，利用鏈接之間的結(jié)構(gòu)關(guān)系和抽象服務(wù)類建立服務(wù)提供者之間的關(guān)系。將得到的服務(wù)提供者的基本屬性和關(guān)系存儲到具體服務(wù)提供者和具體服務(wù)提供者關(guān)系本體中。本文的主要研究內(nèi)容就是面向服務(wù)的語義爬蟲和基于本體的信息抽取，爬蟲可以實現(xiàn)從互聯(lián)網(wǎng)中識別服務(wù)相關(guān)網(wǎng)頁并下載到本地，信息抽取是為從網(wǎng)頁中將服務(wù)提供者的基本信息和服務(wù)信息以及服務(wù)提供者之間的關(guān)系提取到結(jié)構(gòu)化的數(shù)據(jù)庫（本體）當中，為服務(wù)的檢索提供數(shù)據(jù)來源。本文對基于本體的服務(wù)搜索引擎進行了研究和部分功能的實現(xiàn)，并進行大量驗證，主要以醫(yī)院網(wǎng)站為源，通過對服務(wù)提供者（包括個人服務(wù)提供者和組織服務(wù)提供者）各種屬性信息的抽取，驗證該搜索引擎的功能及性能。通過實驗數(shù)據(jù)表明，基于本體的服務(wù)搜索引擎對測試用服務(wù)網(wǎng)站的服務(wù)提供者信息的識別基本能夠達到90％以上，個別實例達到98的準確率。

簡介：近幾年來隨著WEB服務(wù)技術(shù)的發(fā)展服務(wù)組合已被工業(yè)界、學(xué)術(shù)界普遍認為是WEB服務(wù)的重要支撐技術(shù)之一。與此同時由于WEB服務(wù)的廣泛使用其領(lǐng)域內(nèi)也出現(xiàn)了規(guī)模較大的組合服務(wù)。因此大規(guī)模組合服務(wù)的能耗也相應(yīng)迅速增加這極大地影響了服務(wù)組合的整體性能。為了更好地發(fā)揮服務(wù)組合的作用提高系統(tǒng)效率以能耗優(yōu)化為目標的服務(wù)組合研究刻不容緩。傳統(tǒng)的能耗優(yōu)化理論并不完全適用于服務(wù)組合領(lǐng)域需要對其作進一步的拓展和改進。目前在服務(wù)組合領(lǐng)域內(nèi)涉及能耗優(yōu)化的研究內(nèi)容十分匱乏仍有很多問題急待解決。在綠色計算的大背景下本研究以服務(wù)組合運行中的能耗優(yōu)化為目標在滿足用戶全局QOS約束的前提下實現(xiàn)能耗感知的服務(wù)組合。在當前的服務(wù)計算環(huán)境下降低服務(wù)組合過程中的能耗不僅可以提高服務(wù)組合的效率同時也提高了系統(tǒng)資源的利用率以此形成一個高效、節(jié)能的服務(wù)組合機制。本文從能耗的角度出發(fā)首先對單個服務(wù)進行能耗建模。接著根據(jù)服務(wù)組合的特點推導(dǎo)出組合服務(wù)的能耗模型該模型適用于面對同一個用戶請求存在多個可行路徑的情況。然后基于這一能耗模型給出了非功能屬性QOS約束并得出基于狀態(tài)空間模型的對應(yīng)約束方程。完成整個建模過程后繼續(xù)對該服務(wù)組合能耗模型進行了計算求解同時也給出了能耗比、QOS約束兩個計算條件。計算過程分為兩步分別是可行路徑的查找和請求速率的分配。考慮到前者過程較為復(fù)雜后文將單獨列出一章來講述具體的查找算法而后者則直接利用混沌理論來計算以服務(wù)組合的總能耗為目標函數(shù)請求速率為自變量來求解。在可行路徑的查找部分文章給出了一個基于規(guī)劃圖的服務(wù)組合方法利用規(guī)劃圖的分層概念來求解。算法過程分為三步分別是分層搜索階段、最優(yōu)QOS值計算階段以及可行路徑選取階段。文章最后通過仿真實驗對所提出的方法進行了正確性與有效性的驗證。實驗表明與傳統(tǒng)方法相比本文提出的能耗感知的服務(wù)組合方法在用戶全局QOS為約束的基礎(chǔ)上不僅能保證用戶需求的滿足同時也有效減少了組合服務(wù)的總能耗。

簡介：點擊查看更多基于語義的服務(wù)流程復(fù)用技術(shù)研究.pdf精彩內(nèi)容。

簡介：隨著電子服務(wù)的發(fā)展，對服務(wù)的訪問控制研究越來越受到人們的重視。除了要拒絕非法訪問，面向電子服務(wù)的訪問控制還要滿足由服務(wù)特征所帶來的對訪問的特殊性要求，需要適應(yīng)不同網(wǎng)絡(luò)架構(gòu)、不同服務(wù)關(guān)系，考慮多樣化的個體和服務(wù)主體屬性要求，提供安全、可靠、靈活和分級的服務(wù)訪問。本文以旅游電子服務(wù)為典型應(yīng)用場景，針對電子服務(wù)環(huán)境下訪問控制的熱點和關(guān)鍵技術(shù)問題進行深入研究。論文的研究內(nèi)容和主要貢獻如下1、通過對服務(wù)概念、電子服務(wù)共性特征的闡述，詳細分析了電子服務(wù)環(huán)境下訪問控制面臨的信任、動態(tài)性、智能性、分布式、規(guī)模性等問題。2、為了實現(xiàn)電子服務(wù)環(huán)境下服務(wù)的動態(tài)綁定和個性化訪問目的，提出了一種基于實體狀態(tài)和上下文約束的訪問控制模型。該模型擴展了RBAC模型，使系統(tǒng)可以根據(jù)外部環(huán)境和內(nèi)部約束做出訪問控制的動態(tài)調(diào)整；適合建立以服務(wù)為主導(dǎo)的上下文訪問控制執(zhí)行模式，實現(xiàn)訪問控制中服務(wù)客體的動態(tài)綁定和訪問主體的分級服務(wù)。在旅游電子服務(wù)中的實驗結(jié)果表明該模型可以滿足對訪問主體的個性化訪問需求。3、依據(jù)上下文約束做出選擇和調(diào)整是實現(xiàn)電子服務(wù)動態(tài)性的一個重要方法。為了能夠依據(jù)上下文進行有選擇性的服務(wù)，并實現(xiàn)服務(wù)聯(lián)盟關(guān)系下上下文約束條件在服務(wù)執(zhí)行過程中的動態(tài)調(diào)整，本文提出了服務(wù)聯(lián)盟關(guān)系下的上下文感知和推理的訪問控制模型，解決了服務(wù)內(nèi)部約束條件動態(tài)調(diào)整的智能性問題，并且例示了在導(dǎo)游資格認證服務(wù)中的規(guī)則定義和異常處理等。此外，為解決該模型中上下文感知信息傳輸?shù)陌踩詥栴}，設(shè)計了基于IBE的輕量級安全傳輸協(xié)議，并分析了協(xié)議的安全性。通過對信息加密計算性能的實驗驗證，表明了該協(xié)議在受限環(huán)境中加密信息的可行性。4、利用信任度作為閥值進行訪問控制，是目前電子服務(wù)領(lǐng)域?qū)崿F(xiàn)開放式服務(wù)訪問的一個重要方法。但是現(xiàn)有信任度計算很少考慮委托關(guān)系，容易造成合謀攻擊的可能性。通過旅游電子服務(wù)中委托場景的應(yīng)用分析，本文給出了電子服務(wù)環(huán)境中的委托關(guān)系、委托信任度定義及其基本特征描述，并提出了一種基于服務(wù)委托關(guān)系的信任度計算方法。該信任度計算方法分別從自治域用戶直接交往、委托信任度以及協(xié)作域間的信任度三個方面進行計算。最后利用該信任度計算方法對UCON模型進行擴展，解決了存在跨域委托情況下的訪問控制問題，促使委托實體在執(zhí)行任務(wù)時更注重服務(wù)質(zhì)量，降低合謀攻擊的可能性。

簡介：隨著互聯(lián)網(wǎng)的迅速發(fā)展，維基類站點作為WEB20的后起之秀，已經(jīng)遍布世界各地。大地百科是一個維基類的WEB20型站點，該站點由于用戶訪問量的增大出現(xiàn)了訪問變慢甚至當機的情況，由于大地百科自身架構(gòu)的限制，已經(jīng)不能滿足后續(xù)發(fā)展的需要，重新架構(gòu)優(yōu)化大地百科站點成為迫在眉睫的任務(wù)。本文首先分析了目前大地百科站點存在的性能和擴展性方面的缺陷，發(fā)現(xiàn)了一些問題，如PHP程序文件全部從磁盤讀取，在高訪問量時增加了系統(tǒng)IO開銷；系統(tǒng)缺少OPCODE緩存機制，導(dǎo)致PHP代碼每次執(zhí)行時重復(fù)解釋編譯產(chǎn)生額外的開銷；架構(gòu)中缺少數(shù)據(jù)庫前端緩存機制，使得讀取數(shù)據(jù)庫時壓力過大；在擴展性方面沒有考慮到多服務(wù)器協(xié)同工作的情況。在分析了這些問題后，本文針對這些問題提出了一些解決方案，并對這些方案進行了實地測試和總結(jié)，最后結(jié)合測試結(jié)果確定了適合大地百科站點的系統(tǒng)架構(gòu)。該架構(gòu)將大地百科系統(tǒng)結(jié)構(gòu)分為負載均衡模塊、應(yīng)用程序?qū)?、?shù)據(jù)接入層、數(shù)據(jù)存儲層、緩存等層次，最終將這些層次分別實現(xiàn)，重構(gòu)了大地百科系統(tǒng)架構(gòu)，在重構(gòu)的同時筆者對瀏覽器緩存、WEB前端等方面進行了很好的優(yōu)化。在用戶狀態(tài)跟蹤方面，筆者放棄了APACHE自帶的解決方案，重新實現(xiàn)了更加高效的分布式的用戶狀態(tài)跟蹤方法，為以后多服務(wù)器協(xié)同工作創(chuàng)造了有更利條件。本次對大地百科站點的重構(gòu)沒有增加任何服務(wù)器，但使得大地百科系統(tǒng)不僅在效率上得到大大提升，而且為以后多服務(wù)器協(xié)同工作做了鋪墊，最終使得大地百科站點變成一個高吞吐率容易擴展的站點。能夠應(yīng)對目前和未來一定時間內(nèi)用戶增長的需要，提升了站點的用戶體驗和服務(wù)質(zhì)量，促進了大地百科站點今后的發(fā)展。

簡介：WEB服務(wù)WEBSERVICE是一種自包含、自描述、模塊化的應(yīng)用程序，它吸收了分布式計算、網(wǎng)格計算和XML等各種技術(shù)的優(yōu)點，解決了異構(gòu)分布式計算以及代碼與數(shù)據(jù)重用等問題，具有高度的互操作性、跨平臺性和松耦合性，已經(jīng)在電子商務(wù)、企業(yè)應(yīng)用集成等領(lǐng)域發(fā)揮著重要作用，特別是WEB服務(wù)組合技術(shù)，因其能實現(xiàn)服務(wù)的重用和增值而引起了世界范圍內(nèi)學(xué)術(shù)界和工業(yè)界的關(guān)注。WEB服務(wù)組合本身是一項易于產(chǎn)生錯誤的任務(wù)，因為在組合中候選的服務(wù)之間進行復(fù)雜的交互。WEB服務(wù)業(yè)務(wù)流程執(zhí)行語言WEBSERVICEBUSINESSPROCESSEXECUTIONLANGUAGE，WSBPEL，簡稱BPEL用于實現(xiàn)WEB服務(wù)的組合和合并，它建立在IBM的WEB服務(wù)流語言WEBSERVICESFLOWLANGUAGE，WSFL和MICROSOFT的XML業(yè)務(wù)流程語言XMLBUSINESSPROCESSLANGUAGE，XLANG之上，結(jié)合了這兩種語言的特性，這樣就引起了某些方面的不一致和語義的模糊；BPEL的語義是用英語定義的，這樣無法避免其二義性、模糊性和不完全性。WSBPEL技術(shù)委員會公認為需要對BPEL語義給出形式化定義。由于要處理并發(fā)，具有復(fù)雜特性，如補償處理、相關(guān)性、死路徑刪除DEADPATHELIMINATION，DPE等，BPEL過程是容易出錯的。本文主要研究由BPEL生成的WEB服務(wù)組合流程的建模、驗證、測試問題。針對BPEL流程建模，目前采用的方法有PETRI網(wǎng)、SPIN工具、進程代數(shù)、抽象狀態(tài)機和自動機等方法。本文采用賦時有色PETRI網(wǎng)對BPEL流程建模。首先對BPEL的各種活動建模，將BPEL流程看作是活動的嵌套，將嵌套關(guān)系對應(yīng)于層次化有色PETRI網(wǎng)的層次關(guān)系緩解了有色PETRI網(wǎng)模型過于龐大以及狀態(tài)爆炸問題。本文提出的層次化有色PETRI網(wǎng)的展開算法，使層次化PETRI網(wǎng)可以展開成等價的非層次化PETRI網(wǎng)，能夠呈現(xiàn)出模型的細節(jié)。本文還完善了層次化有色PETRI網(wǎng)的定義。WEB服務(wù)的形式化驗證是近年來才開始進入研究領(lǐng)域的，但是已經(jīng)獲得了很多研究人員的關(guān)注。針對BPEL模型驗證，本文給出了利用有色PETRI網(wǎng)的屬性對BPEL流程的基本屬性進行驗證，使用擴展時態(tài)邏輯ASKCTL來描述要驗證的屬性，對模型的動態(tài)屬性進行驗證的一種方法。為了處理程序驗證過程中出現(xiàn)的狀態(tài)爆炸問題，本文還對謂詞抽象技術(shù)和惰性抽象技術(shù)進行了研究，將CPS的狀態(tài)圖生成過程，以及狀態(tài)圖的謂詞抽象過程合為一體，在狀態(tài)生成過程中形成抽象狀態(tài)圖，從而避免了狀態(tài)爆炸問題。本文將惰性抽象用于BPEL流程的安全性驗證方法CEGAR中，優(yōu)化了“抽象驗證反例”中的前兩個步驟，使得這個方法可以用于規(guī)模較大的程序上。WEB服務(wù)為分布式計算提供了靈活的、可重用的、松散耦合的模型，BPEL是半形式化的、具有復(fù)雜特性的、易含有錯誤行為的語言。在WEB服務(wù)發(fā)布之前對服務(wù)進行驗證、測試，確認服務(wù)符合設(shè)計模型是必需的。本文針對BPEL流程的CPS模型，提出了模型的可執(zhí)行程序單元概念，基于可執(zhí)行程序單元，給出了BPEL程序的測試用例生成方法，該方法可以有效的處理BPEL的并發(fā)、DPE等特性。

簡介：碩士學(xué)位論文碩士學(xué)位論文基于車聯(lián)網(wǎng)的音頻服務(wù)系統(tǒng)云端關(guān)鍵技術(shù)研究RESEARCHOFTHEKEYTECHNOLOGYOFAUDIOSERVICECLOUDSERVERBASEDONVEHICLEWKING徐帥徐帥哈爾濱工業(yè)大學(xué)哈爾濱工業(yè)大學(xué)2014年12月CLASSIFIEDINDEXTP3115UDC6213DISSERTATIONFTHEMASTERDEGREEINENGINEERINGRESEARCHOFTHEKEYTECHNOLOGYOFAUDIOSERVICECLOUDSERVERBASEDONVEHICLEWKINGCIDATEXUSHUAISUPERVISASSISTANTPROFWUZEJUNACADEMICDEGREEAPPLIEDFMASTERDEGREEINENGINEERINGSPECIALTYMICROELECTRONICSSOLIDSTATEELECTRONICSAFFILIATIONSHENZHENGRADUATESCHOOLDATEOFDEFENCEDECEMBER2014DEGREECONFERRINGINSTITUTIONHARBININSTITUTEOFTECHNOLOGY

簡介：隨著互聯(lián)網(wǎng)技術(shù)的不斷發(fā)展與成熟，云計算技術(shù)已經(jīng)成為新一輪IT信息技術(shù)革命浪潮中研究的熱點。云計算已經(jīng)不僅僅走進了我們的生活，而且還開始扮演著重要的角色。在過去的幾年中，由于互聯(lián)網(wǎng)中的信息量爆炸式地增長，作為云計算概念的延伸和發(fā)展云存儲技術(shù)已開始受到越來越多的企業(yè)和高校的關(guān)注。人們迫切地想利用這門新興技術(shù)來更好地存儲和管理不斷增長的數(shù)據(jù)。如今，云存儲相關(guān)的技術(shù)發(fā)展迅速，國內(nèi)外產(chǎn)品層出不窮。云存儲技術(shù)具有良好的研究前景和研究價值。塊級別云存儲是云存儲系統(tǒng)中的一個重要分支，由于它可以提供給用戶原始的塊存儲設(shè)備，因此塊級別云存儲系統(tǒng)在許多領(lǐng)域都有較廣泛的應(yīng)用。本文在分析、研究和比較國內(nèi)外主流的塊級別云存儲系統(tǒng)的優(yōu)缺點后，在THRUS系統(tǒng)原型之上，對其存在的缺乏細化統(tǒng)一管理異構(gòu)存儲設(shè)備、負載均衡局部最優(yōu)以及斷點重傳等問題上提出了改進策略，設(shè)計并實現(xiàn)了基于負載均衡的多卷服務(wù)器塊級別分級云存儲系統(tǒng)THRUSPLUS。首先，介紹了云存儲技術(shù)目前的發(fā)展狀況，討論了THRUSPLUS系統(tǒng)實現(xiàn)過程中所涉及到的相關(guān)技術(shù)。其次，設(shè)計并實現(xiàn)了THRUSPLUS系統(tǒng)的多卷服務(wù)器架構(gòu)及其存儲工作流。系統(tǒng)使用CLVM讓卷服務(wù)器集群共同管理后端存儲池，使用XEN和KVM虛擬化技術(shù)來管理用戶虛擬機，利用ISCSI技術(shù)為用戶虛擬機提供塊級別存儲的連接訪問服務(wù)，通過WEBSERVICE技術(shù)來實現(xiàn)各節(jié)點中模塊接口的相互調(diào)用。同時，利用現(xiàn)有的異構(gòu)存儲環(huán)境，提出了一種基于卷生命周期的分級存儲管理機制，充分利用不同存儲設(shè)備的優(yōu)勢和特點，進一步提高系統(tǒng)訪問效率。實驗證明，實行分級存儲管理的THRUSPLUS系統(tǒng)較THRUS系統(tǒng)有更高的讀寫性能，在IO吞吐率上提高了36％左右。然后，在對卷服務(wù)器性能和負載進行建模的基礎(chǔ)上，實現(xiàn)了基于遺傳算法的負載均衡策略。該負載均衡策略采用了交叉率自適應(yīng)模型，盡可能地提高了其搜索全局最優(yōu)解的準確性。同時，設(shè)計了一種面向ISCSI的斷點續(xù)傳功能，在重新選擇卷服務(wù)器進行ISCSI重連時，正在上傳數(shù)據(jù)的用戶無需將數(shù)據(jù)重新上傳，系統(tǒng)自動會從斷點處繼續(xù)上傳。實驗證明，THRUSPLUS系統(tǒng)中使用的負載均衡策略在較大數(shù)據(jù)量時，較THRUS更可靠更高效。最后，對本文在塊級別云存儲系統(tǒng)中所做的主要工作和貢獻進行了總結(jié)，并對THRUSPLUS系統(tǒng)未來工作的方向提出了幾點展望。

簡介：未經(jīng)任何處理的數(shù)字話音數(shù)據(jù)量很大，直接傳輸和存儲會占用大量的信道資源和存儲空間。在保證一定的編碼質(zhì)量的前提下如何高效率地進行壓縮編碼，或者在給定信息速率的前提下如何提高編碼后的語音質(zhì)量，是語音編碼研究的重點。在數(shù)字移動通信系統(tǒng)中，語音編碼技術(shù)具有相當關(guān)鍵的作用。隨著3G移動通信技術(shù)的逐步實現(xiàn)以及移動通信與互聯(lián)網(wǎng)的融合，全球正迅速步入移動信息時代，向個人通信的時代又邁出了重要的一步。本文全面介紹了3G移動通信中所采用的語音編碼算法。尤其重點介紹了AMR和AMR2算法，并研究了AMR算法IP承載的關(guān)鍵技術(shù)。根據(jù)河南移動彩鈴系統(tǒng)IP化需求，設(shè)計并實現(xiàn)了媒體服務(wù)器中語音編解碼模塊和NB接口模塊。本文的主要工作內(nèi)容如下（1）研究變速率語音編解碼相關(guān)知識，剖析G711，AMR和AMR2語音編解碼算法結(jié)構(gòu)，以及對其速率控制，話音激活檢測（VAD）等關(guān)鍵技術(shù)進行深入研究。（2）對移動通信網(wǎng)絡(luò)以及媒體網(wǎng)關(guān)（MGW），媒體服務(wù)器（MS）進行了深入的學(xué)習(xí)和討論，并實現(xiàn)了AMR2語音的IP承載。（3）針對河南移動彩鈴業(yè)務(wù)的鈴音實時轉(zhuǎn)換需求以及傳輸速率的要求，提出了使用AMR2語音編解碼格式為鈴音編碼格式，設(shè)計了AMR2語音編解碼流程并實現(xiàn)了AMR2語音編碼器。（4）認真分析河南移動彩鈴IP化需求，研究了MGW間通信的NB接口協(xié)議，設(shè)計并實現(xiàn)了NBUP處理流程，完成了NB接口模塊。

簡介：信息技術(shù)的巨大發(fā)展以及網(wǎng)絡(luò)的日益普及，以面向服務(wù)體系架構(gòu)為代表的軟件服務(wù)協(xié)同已成為開放協(xié)同網(wǎng)絡(luò)環(huán)境下一種典型的INTER應(yīng)用形態(tài)。一方面SOA為資源共享、協(xié)同計算、系統(tǒng)集成提供了便利，但另一方面也帶來了訪問控制等新型的安全問題，而傳統(tǒng)的基于身份的安全機制無法完全滿足SOA安全的這一特定需求，要實現(xiàn)SOA的大規(guī)模應(yīng)用安全部署，急需一套適應(yīng)環(huán)境特點的新型的安全解決方案。本文工作源于某國家預(yù)研項目，針對SOA的特定安全需求，設(shè)計了一種基于SYNAPSE網(wǎng)關(guān)代理的服務(wù)訪問模型，研究了該模型下的服務(wù)調(diào)度、端到端消息安全傳輸、跨域訪問信任值計算等方面的問題，并進行了深入的分析與實現(xiàn)。該模型通過SYNAPSE網(wǎng)關(guān)代理進行安全調(diào)度，針對服務(wù)請求者發(fā)送的服務(wù)訪問請求調(diào)用認證權(quán)威的認證服務(wù)進行認證，通過調(diào)用授權(quán)中心的授權(quán)服務(wù)對服務(wù)請求者進行授權(quán)，最終對通過授權(quán)的服務(wù)請求者，通過網(wǎng)關(guān)代理訪問請求的資源。為了保證端到端傳輸?shù)陌踩?，本文引入RAMPART安全模塊，通過加解密、數(shù)字簽名實現(xiàn)消息級的安全傳輸。對于跨域訪問的情況，本文提出了一種針對SOA分布式環(huán)境的信任度評估模型，針對該模型，引入轉(zhuǎn)換因子、時間衰減函數(shù)等內(nèi)容，設(shè)計了一種基本準確反映真實世界的信任值計算方法。本文最后進行了相關(guān)測試，并對測試結(jié)果進行了分析。從而證明該模型能夠有效提高SOA的安全性，基本能夠滿足實際應(yīng)用需求。

簡介：重慶大學(xué)博士學(xué)位論文面向服務(wù)質(zhì)量的網(wǎng)絡(luò)擁塞控制技術(shù)研究姓名李世暢申請學(xué)位級別博士專業(yè)指導(dǎo)教師朱慶生20110601重慶大學(xué)博士學(xué)位論文確保流量來為確保流量獲得的所需的服務(wù)質(zhì)量需求。在非確保流量與確保流量的時延和包丟失之間建立模型，通過該模型控制充滿競爭性的非確保流量以獲得所需的確保流量的延遲和數(shù)據(jù)包丟失率，并給出健壯估計和控制的整個設(shè)計和分析。并與其他調(diào)度算法如基于類的隊列、加權(quán)公平隊列以及隨機早期探測等的實驗比較分析，表明所提出網(wǎng)絡(luò)服務(wù)控制機制的有效性及優(yōu)勢。4、提出一種支持全局的網(wǎng)絡(luò)鏈路資源動態(tài)分配實現(xiàn)機制。網(wǎng)絡(luò)適應(yīng)承載業(yè)務(wù)量不確定性變化而采取網(wǎng)絡(luò)資源進行動態(tài)調(diào)整分配策略的研究依然是一個值得探索的方向，在相關(guān)研究的基礎(chǔ)上，針對鏈路資源分配不均而引起的網(wǎng)絡(luò)擁塞以及網(wǎng)絡(luò)服務(wù)質(zhì)量難以確保問題，給出了基于蟻群優(yōu)化的資源分配策略及動態(tài)優(yōu)化算法以及節(jié)點多處理實現(xiàn)方法。在分析了蟻群智能原理及其算法在實現(xiàn)網(wǎng)絡(luò)鏈路資源重配置基礎(chǔ)上，利用蟻群尋求最優(yōu)路徑及相互排斥，通過釋放人工螞蟻定期進行全局配置，實時調(diào)度網(wǎng)絡(luò)流量策略。試驗結(jié)果表明，算法對網(wǎng)絡(luò)業(yè)務(wù)鏈接流量請求越是頻繁的情況，其體現(xiàn)出業(yè)務(wù)流量動態(tài)平衡度和業(yè)務(wù)流量到達率的優(yōu)越性和有效性特點。關(guān)鍵詞網(wǎng)絡(luò)擁塞控制，服務(wù)質(zhì)量，流量控制，區(qū)分服務(wù)，公平性Ⅱ

簡介：全球IPV4地址已經(jīng)于2011年全部分配完畢，IPV6作為下一代互聯(lián)網(wǎng)的核心走上歷史的舞臺。IPV6技術(shù)采用了新的網(wǎng)絡(luò)理念，提供了近乎無窮的地址空間的同時，還提高了網(wǎng)絡(luò)的安全性、擴展性、移動性和服務(wù)質(zhì)量。十多年來，經(jīng)過全球網(wǎng)絡(luò)專家的努力，IPV6的技術(shù)規(guī)范已經(jīng)相當成熟，硬件設(shè)備早有量產(chǎn)，IPV6的實驗室也十分眾多，IPV6的粉絲及使用者人數(shù)越來越龐大。IPV6協(xié)議功能雖強，但由于無法直接兼容IPV4協(xié)議，使得它無法迅速取代IPV4的地位，兩種網(wǎng)絡(luò)技術(shù)必將有一個漫長的共存過渡期。選擇合理的過渡方案使IPV4網(wǎng)絡(luò)與IPV6網(wǎng)絡(luò)互連、互通并平穩(wěn)過渡到純IPV6網(wǎng)絡(luò)，是過渡期最重要的任務(wù)。本文認為一種網(wǎng)絡(luò)能否有堅強的生命力，取決于該網(wǎng)絡(luò)的可連通性和服務(wù)質(zhì)量。本文首先對服務(wù)質(zhì)量和IPV6技術(shù)的特點做了介紹，對過渡技術(shù)中雙棧技術(shù)、隧道技術(shù)和轉(zhuǎn)換技術(shù)進行了介紹和分析，重點對NATPT技術(shù)進行了剖析，并在實驗中實現(xiàn)了這幾種過渡技術(shù)。本文利用NATPT技術(shù)獨有的優(yōu)勢，創(chuàng)新性的構(gòu)建了雙NATPT模型，實現(xiàn)新的功能，完善了該技術(shù)的互通能力。在實驗環(huán)境中實現(xiàn)了這幾種過渡技術(shù)的同時，對各種過渡技術(shù)的配置復(fù)雜度、連通能力和服務(wù)質(zhì)量進行了測試、比較和分析。根據(jù)過渡期的特點，提出了NATPT技術(shù)值得推廣的合理化建議，并設(shè)計了一個配套服務(wù)器，將有助于IPV6的平穩(wěn)過渡。最后對論文進行了總結(jié)和展望。

簡介：點擊查看更多基于集群技術(shù)的“自由行”服務(wù)器平臺的設(shè)計與實現(xiàn).pdf精彩內(nèi)容。

簡介：隨著INTER的飛速發(fā)展企業(yè)陸續(xù)建立了具有不同功能的信息管理系統(tǒng)。分布式系統(tǒng)的高性能、高可靠性、高靈敏度、可擴展性和系統(tǒng)透明性使得基于分布式系統(tǒng)的應(yīng)用越來越廣泛。研究如何集成和統(tǒng)一訪問分布的、異構(gòu)的數(shù)據(jù)資源實現(xiàn)各種數(shù)據(jù)的轉(zhuǎn)換、交流與共享以及如何建立一個開放、可擴展和異構(gòu)兼容的新一代信息、管理系統(tǒng)成為網(wǎng)絡(luò)應(yīng)用的重要研究目標。對異構(gòu)數(shù)據(jù)集成的研究從上個世紀七十年代發(fā)展至今已經(jīng)出現(xiàn)了許多種集成方法。其中將WEBSERVICE應(yīng)用于異構(gòu)數(shù)據(jù)集成憑借WEBSERVICE自身的諸多優(yōu)點得到了人們越來越多的關(guān)注。本文從信息化過程中造成數(shù)據(jù)異構(gòu)的根源出發(fā)結(jié)合具體項目提出基于XML技術(shù)的數(shù)據(jù)交互和基于WEBSERVICES的系統(tǒng)集成方案實現(xiàn)了對異構(gòu)數(shù)據(jù)庫的集成。最后應(yīng)用于實際項目對新添加系統(tǒng)數(shù)據(jù)庫的進行集成取得了良好的集成效果和集成性能。本論文主要研究內(nèi)容包括在研究以往異構(gòu)數(shù)據(jù)集成原理、方法的基礎(chǔ)上從項目數(shù)據(jù)集成的實際需求出發(fā)確定將WEBSERVICE與XML技術(shù)相結(jié)合的數(shù)據(jù)集成方法研究異構(gòu)數(shù)據(jù)集成系統(tǒng)運行所在系統(tǒng)的整體框架在傳統(tǒng)的三層架構(gòu)中添加集成核心層利用XML的自描述性、半結(jié)構(gòu)化、獨立于平臺和應(yīng)用、機器可處理、可擴展性以及便于網(wǎng)絡(luò)傳輸和廣泛支持的特性實現(xiàn)了XML的數(shù)據(jù)模型與數(shù)據(jù)庫存儲并對系統(tǒng)中的結(jié)構(gòu)化和非結(jié)構(gòu)化數(shù)據(jù)信息都進行了XML標記定義將XML作為數(shù)據(jù)交換和信息傳輸?shù)母袷綖閷崿F(xiàn)與異構(gòu)系統(tǒng)數(shù)據(jù)的互操作提供了理想的解決方案在對XML、SOAP、WSDL和UDDI關(guān)鍵技術(shù)和標準規(guī)范進行研究與探討基礎(chǔ)上提出了基于XMLWEBSERVICES的分布式結(jié)構(gòu)模型實現(xiàn)了系統(tǒng)功能的可遷移性和可裝配性、各層間傳輸過程中數(shù)據(jù)流的XML化、接口定義的動態(tài)性進行開發(fā)后應(yīng)用于物流企業(yè)項目的數(shù)據(jù)集成中。

簡介：東南大學(xué)博士學(xué)位論文WEB服務(wù)組合建模和驗證技術(shù)研究姓名張鵬程申請學(xué)位級別博士專業(yè)計算機軟件與理論指導(dǎo)教師李必信徐寶文20091201東南大學(xué)博士學(xué)位論文ABSTRACTSOASERVICEORIENTEDARCHITECTUREISTHEMOSTPROMISINGTRENDOFDISTRIBUTEDCOMPUTINGANDSOFTWAREDEVELOPMENTTHEGOALOFSOAISTOEFFICIENTLYSOLVETHEDISTRIBUTEDAPPLICATIONINTEGRATIONBASEDONW|EBSERVICESINDISTRIBUTEDDYNAMICANDHETEROGENEOUSENVIRONMENTSWEBSERVICESA他AUTONOMOUSPLATFORMINDEPENDENTNETWORKCOMPONENTSTHATHAVESOMENEWATTRIBUTESSUCH勰LOOSECOUPLINGDYNAMICCOMPOSITIONRECONFIGURATIONPROVIDINGANEWTECHNIQUEFORDISTRIBUTEDAPPLICATIONANDSOFTWAREDEVELOPMENTONINTEMETSOMESERVICESAREDYNAMICALLYCOMPOSEDTOFORMANEWCOMPOSITESERVICEFORSATISFYINGUSERS’REQUIREMENTSNECOMPOSITIONPROCESSISDESCRIBEDBYWEBSERVICECOMPOSITIONDESCRIPTIONLANGUAGESSUCHASWSBPELWEBSERVICEBUSINESSPROCESSEXECUTIONLANGUAGEANDWSCDLWEBSERVICESCHOREOGRAPHYDESCRIPTIONLANGUAGEHOWEVER，THESELANGUAGESHAVETWOMAINPROBLEMSONTHEONEHANDTHESELANGUAGESAREBASEDONXML，ANDLACKTHETHEORETICALFOUNDATIONOFMODELINGONTHEOTHERBANDTHESELANGUAGESCANNOTPROVIDEANYMEANSTOVERIFYTHECORRECTNESSOFSPECIFICATIONINORDERTOSOLVETHESEPROBLEMS，THEDISSERTATIONSYSTEMATICALLYINVESTIGATESTHEMODELINGSTATICANDDYNAMICVERIFICATIONOFWEBSERVICECOMPOSITIONNOTONLYTHECORRECTUESSOFSPECIFICATIONNEEDSTOBEVERIFIEDATDESIGNTIME，BUTALSODYNAMICVERIFICATIONTECHNIQUEISUSEDFORTHEASSURANCEOFCORRECTNESSOFSPECIFICATIONATRUNTIMETHEREFORE，THEMAINCONTRIBUTIOILSOFTHEDISSERTATIONARELISTED私FOLLOWSFIRSTWEPROPOSEAMODELINGAPPROACHOFWSCDLBASEDONUMLMODELSWE蹴UMLCOMPONENTDIAGRAMSTOREPRESENTTHESTRUCTURALMODELOFWSCDLACTIVITYMODELAMONGEACHROLEINWSCDLISMODELEDBYUMLSEQUENCEDIAGRAMS，THENIYMLSTATEMACHINEMODELSREPRESENTINGBEHAVIORMODELOFSINGLEROLEAREAUTOMATICALLYGENERATEDFROMUMLSEQUENCEDIAGRAMSDATAFLOWISOBTAINEDFROMWSDLSPECIFICATIONANDTHENISPRESENTEDBYUMLCLASSDIAGRAMS111EAPPROACHPROVIDESAGRAPHICALFRONTENDFORDESIGNERSTODIRECTLYDESIGNWEBSERVICECOMPOSITIONMODEL111EDATAFLOWINWEBSERVICECOMPOSITIONPROCESSISALSOCONSIDEREDSECONDWEPROPOSEAMODELCHECKINGAPPROACHOFWSCDLBASEDONUMLMODELATDESIGNTIME1F11EUMLMODELSARETRANSLATEDINTOTHEINPUTLANGUAGEOFCADENCESMVMODELCHECKERFORVERIFYINGWHETHERU～幾MODELSSATISFYDESIREDPROPERTIESTHEAPPROACHCANNOTONLYCANVERIFYSTRUCTURALANDBEHAVIORALPROPERTIES，BUTALSOCANVERIFYDATAPROPERTIESINWSCDL11地EXPERIMENTSSHOWTHEAPPROACHCANVERIFYSOMECRITICALPROPERTIESINAMIDDLESCALEDATAENRICHEDWEBSERVICECOMPOSITIONTHIRDWEPROPOSEANAPPROACHFORMONITORINGOFTEMPORALPROPERTIESINCOMPOSITESERVICEBASEDONPSC砒RUNTIMEANOVELSCENARIOBASEDNOTATIONPSCPROPERTYSEQUENCECHARTISINTRODUCEDTHEFORMALSYNTAXANDSEMANTICSOFPSCAREDEFINEDWETHENUSERUNTIMEMONITORINGTECHNIQUETOCONTINUOUSLYDETECTWHETHERTHEEXECUTIONTRACESOFWEBSERVICECOMPOSITIONARECONSISTENTWITHTEMPORALPROPERTIESSPECIFIEDBYPSCN屺EXPERIMENTSSHOWTHATTHEAPPROACHCANEFFICIENTLYDETECTTHEERRORSINCOMPOSITESERVICEATRUNTIMEMOREOVERTEMPORALPROPERTIESREPRESENTEDBYPSCARESIMPLEANDEASILYUNDERSTOODWHICHADDRESSESTHEPROBLEMTHATPROPERTIESREPRESENTEDBYTEMPORALLOGICSARENOTINTUITIVEANDCLEARFORTHWEPROPOSEALLAPPROACHFORMONITORINGOFTIMEDPROPERTIESINCOMPOSITESERVICEBASEDONTPSCATRUNTIMECONSIDERINGTHEGRAPHICALATTRIBUTEOFPSC，PSCISEXTENDEDINTOTPSCTUNEDPSCTEPRESENTTIMEDPROPERTIES11塢SEMANTICSOFTPSCISGIVENBASEDONTIMEDBUCHIAUTOMATONANDTHEEXPRESSIVENESSOFTPSCISMEASUREDBASEDONREALTIMESPECIFICATIONPATTERNWETHEN峨RUNTIMEMONITORINGTECHNIQUETOCONTINUOUSLYDETECTWHETHERTHEACTUALBEHAVIOROFWEBSERVICECOMPOSITIONPROCESSSATISFIESTHEEXPECTEDTIMEDPROPERTIES1F1艙APPROACHOANALSOCOUNTWHETHERTHEPROBABILITYFORATIMEDPROPERTYHOLDSATRUNTIMENEFRAMEWORKHASBEENAPPLIEDTOACASESTUDYANDASERIESOFEXPERIMENTSHAVEBEENREPORTEDTHATVALIDATETHEPERFORMANCEOFTHEPROPOSEDFRAMEWORKⅡ