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

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

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

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

【部分圖文】：

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

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

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

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

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



本文編號(hào)：3456307