基于時序邏輯語言的分布式實(shí)時軟件體系結(jié)構(gòu)描述與精化.pdf

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

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