基于時間通信順序進(jìn)程的實時軟件體系結(jié)構(gòu)描述語言研究.pdf

1、軟件體系結(jié)構(gòu)描述語言ADL(Architecture Description Language，ADL）具有嚴(yán)格的形式化語義基礎(chǔ)，為軟件體系結(jié)構(gòu)的表示與分析提供支持，已成為軟件工程研究領(lǐng)域的熱點。隨著軟件體系結(jié)構(gòu)研究的不斷深入，軟件的非功能性質(zhì)越來越受到重視，例如時間、資源、能耗等，而傳統(tǒng)的ADL 對于這些非功能屬性的建模與分析就顯得不足。本文關(guān)注的Wright語言是一種廣泛用于軟件系統(tǒng)建模與分析的ADL，采用通信順序進(jìn)程CSP(Com

2、municational Sequential Process，CSP)作為形式化基礎(chǔ)，由于Wright語言不支持嚴(yán)格時間約束條件下實時軟件體系結(jié)構(gòu)的描述與驗證，從而限制了它在實時系統(tǒng)建模與分析方面的使用，因此，Wright語言有必要在時間方面進(jìn)行擴(kuò)展。
　　 文章首先采用CSP的時間擴(kuò)展形式Timed CSP作為形式化基礎(chǔ)，并使用Wright語言中原有的系統(tǒng)結(jié)構(gòu)化表示方式，實現(xiàn)對Wright語言的時間擴(kuò)展，提出一種實時軟件體系

3、結(jié)構(gòu)描述語言R-ADL(Realtime Architecture Description Language，R-ADL)。其后，文章給出一組檢驗規(guī)則用于對R-ADL描述的系統(tǒng)進(jìn)行檢驗，其中包括系統(tǒng)各個組成部分之間關(guān)系的一致性檢驗規(guī)則和完整性檢驗規(guī)則，以及實時系統(tǒng)中的關(guān)鍵性質(zhì)時間相關(guān)的活性檢驗規(guī)則以及安全性檢驗規(guī)則等。最后，通過一個多媒體同步控制的實例來說明如何利用R-ADL 構(gòu)建實時軟件系統(tǒng)的描述，并使用給出的檢驗規(guī)則對系統(tǒng)描述進(jìn)行檢