軟件體系結構是20世紀90年代國際軟件工程領域出現(xiàn)的一個研究熱點,隨著軟件系統(tǒng)規(guī)模和復雜性的不斷增大,軟件體系結構的設計已成為系統(tǒng)成功的關鍵因素。軟件體系結構描述是軟件體系結構的一個首要研究內容。目前主流的軟件體系結構描述方法主要有兩類,分別是可視化描述和形式化描述。兩者在描述軟件體系結構方面具有很強的互補性�？梢暬枋銮宄庇^,以UML為代表。UML提供了一套描述軟件系統(tǒng)模型的概念和圖形表示法,但缺乏精確的語義,難以對所表示的模型進行嚴格分析。形式化描述語義精確,如XYZ/E。XYZ/E是一種可執(zhí)行的形式化的時序邏輯語言,可以在統(tǒng)一的時序邏輯框架下表示從形式化規(guī)范到可執(zhí)行程序的不同抽象層次的系統(tǒng)描述,它的這一特性可以應用于軟件體系結構的描述、求精和設計中。本文主要探討了如何將可視化建模語言UML和時序邏輯語言XYZ/E相結合來描述軟件體系結構的問題。首先介紹了軟件體系結構的基本概念和描述方法,在此基礎上,分析了將UML和XYZ/E相結合描述軟件體系結構的可行性。UML的各類視圖適合對不同系統(tǒng)結構和行為的描述,但缺乏一致的語義基礎,難以說明系統(tǒng)的內在聯(lián)系。時序邏輯語言XYZ/E適合作為... 

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

【文章頁數】：80 頁

【學位級別】：碩士

【部分圖文】：

體系結構概念之間關系

圖 2.3 管道與過濾器風格的體系結構(2) 倉庫風格和黑板風格倉庫(repositories )風格的體系結構由兩類組件構成：一類是中央數據結構，示當前狀態(tài)；另一類是獨立構件的集合，它對中央數據結構進行操作。對于系中數據和狀態(tài)的控制方法有兩種：一種是根據輸入事務來決定進行何種處理，把執(zhí)行結果作為當前狀態(tài)存儲到中央數據結構中，此時倉庫是一個傳統(tǒng)的數據體系結構；另一種就是由中央數據結構的當前狀態(tài)決定進行何種處理，此時倉是一個黑板(blackboard)體系結構。即黑板體系結構是倉庫體系結構的特殊化。圖 2.4 所示。黑板體系結構主要由以下三部分組成：①知識源：知識源中包含獨立的、應用程序相關的知識，每個知識源按照它們自己的方式，專注它們能夠處理的

圖 2.4 黑板風格的體系結構數據抽象和面向對象(data abstraction & object oriented)風格的體系結抽象和面向對象的基礎上，其示意圖如圖 2.5 所示。組件即是對象，數據類型的實例，連接件通過過程調用來實現(xiàn)。它適合于以相互關的標識和保護為中心問題的應用程序。面向對象風格的例子很多，BA。對象 對象對象抽象數據類型

【參考文獻】：
期刊論文
[1]軟件體系結構研究進展[J]. 梅宏,申峻嶸.  軟件學報. 2006(06)
[2]ABC/ADL:一種基于XML的軟件體系結構描述語言[J]. 王曉光,馮耀東,梅宏.  計算機研究與發(fā)展. 2004(09)
[3]功耗-體系結構描述語言XP-ADL及其設計環(huán)境[J]. 熊悅,李曦,周學海,瞿曉明.  小型微型計算機系統(tǒng). 2003(08)
[4]基于時序邏輯的軟件體系結構描述語言XYZ/ADL[J]. 朱雪陽,唐稚松.  軟件學報. 2003(04)
[5]CSP和RSL應用于協(xié)議形式化描述的研究[J]. 賈若宇,趙保華,屈玉貴,顧翔.  計算機應用. 2003(01)
[6]軟件體系結構研究綜述[J]. 孫昌愛,金茂忠,劉超.  軟件學報. 2002(07)
[7]A-ADL:一種多智能體系統(tǒng)體系結構描述語言[J]. 馬俊濤,傅韶勇,劉積仁.  軟件學報. 2000(10)
[8]基于主動連接件的軟件體系結構及其描述方法[J]. 張家晨,馮鐵,陳偉,金淳兆.  軟件學報. 2000(08)
[9]基于框架和角色模型的軟件體系結構規(guī)約[J]. 馮鐵,張家晨,陳偉,金淳兆.  軟件學報. 2000(08)
[10]Z規(guī)格說明構造方法[J]. 劉玲,繆淮扣.  計算機工程. 2000(02)

碩士論文
[1]可視化與形式化相結合的軟件體系結構描述研究[D]. 黃正寶.蘇州大學 2006
[2]基于UML和Z的軟件體系結構求精方法及其應用[D]. 祝義.蘇州大學 2005
[3]UML與ADLs在軟件體系結構建模中的應用[D]. 張玲紅.蘇州大學 2004



本文編號：3456307