如何解決系統(tǒng)的分布性、實時性和并發(fā)性問題是分布式實時系統(tǒng)研究中的難點和重點。但如果將參與實時交互行為的各獨立計算結(jié)點看成一個個組件,那么參與實時交互行為成為了各組件的實時性交互行為,分布式實時系統(tǒng)的分布性、實時性和并發(fā)性也轉(zhuǎn)換成了各組件之間交互行為的屬性。本文介紹了分布式實時系統(tǒng)的概念、特點和軟件體系結(jié)構(gòu)的基本理論,比較和分析了幾種常用形式化方法的特點。在分布式實時軟件體系結(jié)構(gòu)描述和精化中引入了實時組件與實時連接件的概念,給出了它們的XYZ/E時序邏輯語義,并證明了它們之間實時連接匹配的條件。本文主要提出了基于時序邏輯語言XYZ/E的分布式實時軟件體系結(jié)構(gòu)描述與精化的方法。首先,分析系統(tǒng)中組件之間實時性交互行為,形成系統(tǒng)規(guī)范并予以整體描述。然后,確定系統(tǒng)的組件和連接件的規(guī)范;組件與組件、組件與連接件之間的連接,實現(xiàn)了體系結(jié)構(gòu)第一層的整體描述。接著對連接件和抽象的組件進行逐層分解,精化到若干個具體的功能組件;再將功能組件逐步平滑過渡到具體可執(zhí)行的實時語句程序。最后以實時售票系統(tǒng)為例,分析系統(tǒng)實時性,描述軟件體系結(jié)構(gòu),逐層精化實時組件,平滑過渡到具體的可執(zhí)行的實時語句程序。通過該實例表明此... 

【文章來源】：蘇州大學(xué)江蘇省 211工程院校

【文章頁數(shù)】：80 頁

【學(xué)位級別】：碩士

【文章目錄】：
中文摘要
Abstract
第一章 緒論
    1.1 研究的背景
    1.2 本文研究內(nèi)容
    1.3 本文的組織結(jié)構(gòu)
第二章 分布式實時系統(tǒng)簡介
    2.1 分布式實時系統(tǒng)的概念
        2.1.1 分布式實時系統(tǒng)的定義
        2.1.2 分布式實時系統(tǒng)的分類
    2.2 分布式實時系統(tǒng)的特性
    2.3 分布式實時系統(tǒng)的實現(xiàn)方式
    2.4 分布式實時系統(tǒng)軟件的特性
    2.5 本章小結(jié)
第三章 軟件體系結(jié)構(gòu)與時序邏輯語言XYZ/E
    3.1 軟件體系結(jié)構(gòu)
        3.1.1 軟件體系結(jié)構(gòu)概述
        3.1.2 軟件體系結(jié)構(gòu)的組成要素
        3.1.3 軟件體系結(jié)構(gòu)風(fēng)格
        3.1.4 軟件體系結(jié)構(gòu)的描述與精化
    3.2 時序邏輯
        3.2.1 時序邏輯介紹
        3.2.2 實時邏輯與實時系統(tǒng)的其它形式化方法
    3.3 時序邏輯語言XYZ/E
        3.3.1 時序邏輯語言XYZ/E概述
        3.3.2 XYZ/E的構(gòu)成元素
        3.3.3 XYZ/E的實時性擴展
    3.4 本章小結(jié)
第四章 基于XYZ/E的分布式實時軟件體系結(jié)構(gòu)
    4.1 分布式實時軟件體系結(jié)構(gòu)組成要素的實時性分析
    4.2 實時組件和連接件的XYZ/E描述
        4.2.1 實時組件的描述
        4.2.2 連接的實時匹配問題
        4.2.3 實時連接件的描述
    4.3 XYZ/E的基層模塊和程序框架
    4.4 XYZ/E的程序結(jié)構(gòu)形式
    4.5 基于XYZ/E的分布式實時軟件體系結(jié)構(gòu)描述與精化
        4.5.1 分布式實時軟件體系結(jié)構(gòu)
        4.5.2 基于XYZ/E的分布式實時軟件體系結(jié)構(gòu)的描述與精化的方法
    4.6 本章小結(jié)
第五章 實例系統(tǒng)應(yīng)用
    5.1 系統(tǒng)的實時性分析
    5.2 基于XYZ/E的的體系結(jié)構(gòu)描述
    5.3 實時售票系統(tǒng)的體系結(jié)構(gòu)的精化
        5.3.1 端口的描述
        5.3.2 實時連接件的描述
        5.3.3 實時組件的初步精化
        5.3.4 功能實時組件的精化
            5.3.4.1 數(shù)據(jù)結(jié)構(gòu)的描述
            5.3.4.2 精化后的功能組件到可執(zhí)行的具體程序過渡
    5.4 本章小結(jié)
第六章 總結(jié)與展望
    6.1 工作總結(jié)
    6.2 下一步工作
參考文獻
攻讀學(xué)位期間本人公開發(fā)表的論文
致謝
詳細(xì)摘要


【參考文獻】：
期刊論文
[1]分布式實時系統(tǒng)的自適應(yīng)資源管理中間件[J]. 廖勇,陳旭東,桑楠,胡林輝,熊光澤,朱清新.  電子科技大學(xué)學(xué)報. 2008(01)
[2]軟件體系結(jié)構(gòu)研究進展[J]. 梅宏,申峻嶸.  軟件學(xué)報. 2006(06)
[3]分布式實時系統(tǒng)體系結(jié)構(gòu)描述語言的設(shè)計及其應(yīng)用實例研究[J]. 葉俊民,王振宇,黃萍,趙恒.  小型微型計算機系統(tǒng). 2005(09)
[4]基于時序邏輯的軟件體系結(jié)構(gòu)描述語言XYZ/ADL[J]. 朱雪陽,唐稚松.  軟件學(xué)報. 2003(04)
[5]軟件體系結(jié)構(gòu)抽象模型[J]. 趙會群,王國仁,高遠.  計算機學(xué)報. 2002(07)
[6]關(guān)于軟件形式化方法[J]. 張廣泉.  重慶師范學(xué)院學(xué)報(自然科學(xué)版). 2002(02)
[7]基于層次消息總線的軟件體系結(jié)構(gòu)風(fēng)格[J]. 張世琨,王立福,楊芙清.  中國科學(xué)E輯:技術(shù)科學(xué). 2002(03)
[8]A-ADL:一種多智能體系統(tǒng)體系結(jié)構(gòu)描述語言[J]. 馬俊濤,傅韶勇,劉積仁.  軟件學(xué)報. 2000(10)
[9]基于框架和角色模型的軟件體系結(jié)構(gòu)規(guī)約[J]. 馮鐵,張家晨,陳偉,金淳兆.  軟件學(xué)報. 2000(08)
[10]軟件體系結(jié)構(gòu)描述語言ADL及其研究進展[J]. 孫志勇,劉宗田,袁兆山.  計算機科學(xué). 2000(01)

碩士論文
[1]實時分布式軟件建模技術(shù)研究[D]. 朱良.西北工業(yè)大學(xué) 2007
[2]異構(gòu)的分布式實時系統(tǒng)的建模及性能分析[D]. 董玉梅.廣東工業(yè)大學(xué) 2006
[3]可視化與形式化相結(jié)合的軟件體系結(jié)構(gòu)描述研究[D]. 黃正寶.蘇州大學(xué) 2006
[4]軟件體系結(jié)構(gòu)描述語言XYZ/ADL與UML的轉(zhuǎn)換機制研究[D]. 陳琳琳.蘇州大學(xué) 2006
[5]基于組件的逐步求精程序設(shè)計方法[D]. 鄭建丹.中國科學(xué)院軟件研究所 2001



本文編號：3397240