普適服務(wù)動態(tài)更新的形式化研究.pdf

1、隨著計(jì)算機(jī)和互聯(lián)網(wǎng)技術(shù)的快速發(fā)展，普適計(jì)算，這種以用戶為中心的計(jì)算，作為分布式計(jì)算和移動計(jì)算在新的技術(shù)條件下的繼續(xù)發(fā)展，日漸得到人們的重視。在普適環(huán)境中，分布有很多計(jì)算能力和存儲能力強(qiáng)弱不一的設(shè)備，這些設(shè)備通過傳感器采集環(huán)境中的有用數(shù)據(jù)，再利用這些數(shù)據(jù)以情境感知的方式為用戶提供服務(wù)。因此，普適計(jì)算是一種高度人性化和智能化的計(jì)算模式。
　　在普適計(jì)算中，如果把每種設(shè)備對外提供的功能看做服務(wù)，那么普適計(jì)算必須要解決的一個問題是如何按用

2、戶需求來正確地將這些離散的原子服務(wù)組合成一個復(fù)合服務(wù)。然而實(shí)際情況是，在普適環(huán)境中，由于設(shè)備具有移動性，因此無法確保它們提供的服務(wù)能一直穩(wěn)定地持續(xù)下去。當(dāng)一個設(shè)備離開當(dāng)前的環(huán)境后，需要找到一個合適的服務(wù)的來替代原有的服務(wù)。另一種情況是，當(dāng)一個設(shè)備提供的服務(wù)由于其軟件版本的更新而升級，需要用新的服務(wù)來替換舊的服務(wù)。而且，在一些任務(wù)關(guān)鍵性的系統(tǒng)中，要求這個更新過程是動態(tài)的，即在不中斷原來服務(wù)運(yùn)行的情況下更新。
　　針對這種需求，經(jīng)過對

3、現(xiàn)有的一些普適環(huán)境下服務(wù)模型和更新理論的研究和比較，本文提出了一種新的服務(wù)和更新的形式化模型，這種模型引入了語義網(wǎng)中本體的思想，通過對服務(wù)進(jìn)行語義層次的形式化描述，將用戶需求也以語義描述的形式在模型中予以刻畫，并以類型和效果系統(tǒng)作為建模工具，從類型安全、行為一致、滿足用戶需求三個方面定義了合適的更新方案。
　　另外，本文按照給出的形式化模型，從工程的角度予以實(shí)現(xiàn)。本文設(shè)計(jì)了一種能夠?qū)崿F(xiàn)服務(wù)動態(tài)更新的平臺框架，它基于一種高度動態(tài)化的