基于時間通信順序進程的實時軟件體系結構描述語言研究.pdf

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

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

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