可信分布式實(shí)時(shí)系統(tǒng)的面向方面的形式化方法.pdf

1、實(shí)時(shí)系統(tǒng)是面向方面技術(shù)很好的應(yīng)用場(chǎng)所,在實(shí)時(shí)系統(tǒng)中,有很多非功能需求,且這些非功能需求往往橫切整個(gè)系統(tǒng)。在實(shí)時(shí)系統(tǒng)中關(guān)鍵的就是時(shí)間要求了,這些時(shí)間要求散布在整個(gè)系統(tǒng)的功能部件里,帶來(lái)了代碼混亂和代碼分散問(wèn)題。
　　 實(shí)時(shí)系統(tǒng)的復(fù)雜性的不斷增加以及對(duì)可配置性和可重用性要求的不斷提高,需要如面向方面和基于組件的軟件工程方法的支持,同時(shí)實(shí)時(shí)系統(tǒng)的可信性要求采用形式化方法來(lái)開(kāi)發(fā)實(shí)時(shí)系統(tǒng)。本文試圖建立一種面向方面的實(shí)時(shí)系統(tǒng)形式化開(kāi)發(fā)方法,

2、這種方法對(duì)RT-Z的進(jìn)行了面向方面和面向部件的擴(kuò)展,并通過(guò)實(shí)時(shí)組件模型在需求和設(shè)計(jì)階段提供了對(duì)基于部件的系統(tǒng)開(kāi)發(fā)方法(CBSD)和面向方面的系統(tǒng)開(kāi)發(fā)方法(AOSD)的支持。本文給出了面向方面的實(shí)時(shí)Z(AO-RT-Z)的組件模型的框架結(jié)構(gòu)、語(yǔ)法要求、方面的聯(lián)結(jié)和功能接口和非功能接口的定義,重點(diǎn)討論并證明了面向方面的實(shí)時(shí)Z(AO-RT-Z)作為規(guī)格描述語(yǔ)言的健全性。
　　 形式化方法是建立在嚴(yán)格的數(shù)學(xué)基礎(chǔ)上的,具有精確數(shù)學(xué)含義的科學(xué)

3、研究和驗(yàn)證方法?？尚欧植际綄?shí)時(shí)系統(tǒng)開(kāi)發(fā)過(guò)程中的時(shí)間分析是非常復(fù)雜的,涉及到不同的方面,需要考慮很多東西,不同的可信分布式實(shí)時(shí)系統(tǒng)具有不同的時(shí)間性需求,不能用一種開(kāi)發(fā)方法進(jìn)行分析、設(shè)計(jì)和實(shí)現(xiàn)。由于形式化方法具有嚴(yán)謹(jǐn)、可數(shù)學(xué)分析、證明、完整性、一敵性、無(wú)二義性和精確性等特性,可以根據(jù)系統(tǒng)開(kāi)發(fā)的不同方面采用不同的形式化語(yǔ)言進(jìn)行分析、設(shè)計(jì)和實(shí)現(xiàn),然后再把這些方面編織應(yīng)用到系統(tǒng)中去,來(lái)完成它在系統(tǒng)中特定的作用。因此形式化方法已經(jīng)成為人們深入研究的