可信分布式實時系統(tǒng)的面向方面的QoS的建模.pdf

1、軟件可信性問題已經(jīng)成為國際上一個普遍關(guān)注的問題,最近的軟件故障和失效所帶來的影響越來越大,例如,北京奧運會期間的售票系統(tǒng)癱瘓和最近的波蘭總統(tǒng)飛機墜毀事件,都在說明系統(tǒng)可信性的重要性。因此,數(shù)字計算系統(tǒng)的可信性問題的重要性和迫切性開始備受人們的關(guān)注。一個數(shù)字計算系統(tǒng)的可信性是指該系統(tǒng)可以提供確實可信服務(wù)的綜合能力,主要涉及到可靠性、可用性、可測性、可維護性和安全性。隨著軟件可信性在各個領(lǐng)域重要性和迫切性與日俱增,分布式實時系統(tǒng)的可信性更應(yīng)

2、引起人們的重視,本文提出了可信分布式實時系統(tǒng)的概念。隨著可信計算研究的深入,可信分布式實時系統(tǒng)也逐漸成為研究分布式實時系統(tǒng)的一個重要方向,對可信分布式實時系統(tǒng)的分析建模與設(shè)計,也成為了一個新的領(lǐng)域,可信分布式實時系統(tǒng)對系統(tǒng)的可靠性、安全性和時間性要求非常高,這些非功能特性分散在系統(tǒng)的各個功能組件中,面向?qū)ο蟮脑O(shè)計很明顯地失去了它的優(yōu)勢,可見可信分布式實時系統(tǒng)QoS是非常復(fù)雜的,QoS的研究仍缺乏完整、清晰的技術(shù)體系,目前還沒有一種QoS

3、解決方案有效地滿足了可信分布式實時系統(tǒng)環(huán)境中的所有服務(wù)質(zhì)量需求,而面向方面編程技術(shù)(AOP)可以把可信分布式實時系統(tǒng)的服務(wù)質(zhì)量QoS作為一個單獨的方面來設(shè)計,本文提出了對復(fù)雜的QoS進行分類,分為時間性、可靠性和安全性等多個子方面,這些子方面繼承了抽象QoS方面的屬性和操作,通過對各個子方面的面向方面建模,確?？尚欧植际綄崟r系統(tǒng)的服務(wù)質(zhì)量,達到對可信性的要求。
　　 本文首先介紹了可信分布式實時系統(tǒng)概念,服務(wù)質(zhì)量QoS的概念和面

4、向方面編程(AOP)技術(shù),為本文限定了研究范圍；然后介紹了基于UML的面向方面建模方法,主要是在UML的元模型層進行擴展,形成面向方面的概況集,以及運用面向方面的概況集建模橫切關(guān)注點。接下來深入研究了實時系統(tǒng)QoS的UML擴展模型,包括概要模型、框架元模型、QoS概況集以及復(fù)雜QoS的分類模型,并重點介紹了服務(wù)質(zhì)量QoS的可信特征,服務(wù)質(zhì)量QoS方面則繼承QoS模型的特性；最后通過一個消防實時系統(tǒng)的例子來實現(xiàn)QoS面向方面的建模,把復(fù)雜