時間感知Web服務(wù)交互適配技術(shù)研究.pdf

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

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

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