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

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

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

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