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

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

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

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