時間感知Web服務交互適配技術研究.pdf

1、隨著Internet的快速發(fā)展與普及,網絡化軟件正逐步成為未來軟件發(fā)展的趨勢之一?！败浖铡弊鳛橐环N新的軟件實體,承擔著封裝各種資源、完成計算并對外提供服務的任務,被認為是網絡化軟件的基本組成成分。近年來,以Web服務為主流實現技術的各類軟件服務在Internet中的數量呈快速增長的態(tài)勢,通過服務組合的方式,靈活、快速構建的網絡應用已經滲透到政府、金融、教育等關鍵行業(yè)。
　　 面對網絡上數量日趨增長的可用Web服務,如何有效提

2、高服務利用率并保證服務組合系統(tǒng)的可靠性,服務適配發(fā)揮著其它方法不可替代的作用,已成為目前服務計算領域中的一個研究熱點。從互操作性分層的角度出發(fā),服務適配可能發(fā)生在技術、簽名、行為(交互協議)、服務質量(QoS)、語義等不同層次。其中,行為層次的適配(交互適配)研究是關鍵也是難點。
　　 針對現有Web服務組合過程中存在時間感知力弱、服務利用率低、組合可靠性差等問題,本文提出將定量時間屬性引入Web服務交互適配研究框架中,圍繞時間

3、感知Web服務交互的形式化建模、交互失配的自動檢測和適配器交互協議的自動生成等具體問題展開研究,主要內容包括:(1)研究時間感知Web服務的交互行為和時間屬性的形式化表達機制,提出了時間服務協議(TSP)模型和時間服務協議網絡(TSPN)模型及二者的形式化語義。(2)將交互失配檢測問題轉化為TSP模型的兼容性判定問題,提出了一種基于模型檢測工具UPPAAL的時間感知Web服務交互失配的自動化檢測技術,其檢測結果作為下一步是否需要構造適配