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

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

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

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