基于時序邏輯語言的分布式實時軟件體系結構描述與精化.pdf

1、如何解決系統(tǒng)的分布性、實時性和并發(fā)性問題是分布式實時系統(tǒng)研究中的難點和重點。但如果將參與實時交互行為的各獨立計算結點看成一個個組件，那么參與實時交互行為成為了各組件的實時性交互行為，分布式實時系統(tǒng)的分布性、實時性和并發(fā)性也轉換成了各組件之間交互行為的屬性。 本文介紹了分布式實時系統(tǒng)的概念、特點和軟件體系結構的基本理論，比較和分析了幾種常用形式化方法的特點。在分布式實時軟件體系結構描述和精化中引入了實時組件與實時連接件的概念，給出

2、了它們的XYZ/E時序邏輯語義，并證明了它們之間實時連接匹配的條件。 本文主要提出了基于時序邏輯語言XYZ/E的分布式實時軟件體系結構描述與精化的方法。首先，分析系統(tǒng)中組件之間實時性交互行為，形成系統(tǒng)規(guī)范并予以整體描述。然后，確定系統(tǒng)的組件和連接件的規(guī)范；組件與組件、組件與連接件之間的連接，實現(xiàn)了體系結構第一層的整體描述。接著對連接件和抽象的組件進行逐層分解，精化到若干個具體的功能組件；再將功能組件逐步平滑過渡到具體可執(zhí)行的實時