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

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

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

【學位級別】：碩士

【部分圖文】：

體系結(jié)構(gòu)概念之間關(guān)系

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

圖 2.4 黑板風格的體系結(jié)構(gòu)數(shù)據(jù)抽象和面向?qū)ο?data abstraction & object oriented)風格的體系結(jié)抽象和面向?qū)ο蟮幕A(chǔ)上，其示意圖如圖 2.5 所示。組件即是對象，數(shù)據(jù)類型的實例，連接件通過過程調(diào)用來實現(xiàn)。它適合于以相互關(guān)的標識和保護為中心問題的應用程序。面向?qū)ο箫L格的例子很多，BA。對象 對象對象抽象數(shù)據(jù)類型

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

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



本文編號：3456307