體系結(jié)構(gòu)描述語(yǔ)言

建立軟件系統(tǒng)概念化體系結(jié)構(gòu)的語(yǔ)言體系結(jié)構(gòu)描述語(yǔ)言01設(shè)計(jì)要求分類特點(diǎn)常見(jiàn)種類目錄030204基本信息體系結(jié)構(gòu)描述語(yǔ)言(ArchitectureDescriptionLanguage，ADL)是一種能夠建立軟件系統(tǒng)概念化體系結(jié)構(gòu)的語(yǔ)言。ADL能夠刻畫體系結(jié)構(gòu)的具體語(yǔ)法和概念框架。設(shè)計(jì)要求設(shè)計(jì)要求ADL創(chuàng)立者希望ADL能夠描述和表達(dá)系統(tǒng)體系結(jié)構(gòu)的語(yǔ)言或概念模型。而軟件工程工作者則期望ADL是描述和表示軟件體系結(jié)構(gòu)的計(jì)算機(jī)語(yǔ)言，供軟件開(kāi)發(fā)開(kāi)發(fā)人員交流使用。ADL部件和連接器要能夠描述接口(配合連接器)、類型、語(yǔ)義、約束、進(jìn)化和非功能特征。而在體系結(jié)構(gòu)的配置方面，ADL需要能夠說(shuō)明可理解性、異構(gòu)性(heterogeneity)、組合性、約束、細(xì)化、可追蹤性、可伸縮性、進(jìn)化、動(dòng)態(tài)性和非功能特性。

特點(diǎn)特點(diǎn)典型的ADL在充分繼承和吸收傳統(tǒng)程序設(shè)計(jì)語(yǔ)言的精確性和嚴(yán)格性特點(diǎn)的同時(shí)，還應(yīng)該具有構(gòu)造、抽象、重用、組合、異構(gòu)和分析推理等各種能力和特性。其中：(1)構(gòu)造能力指的是ADL能夠使用較小的獨(dú)立體系結(jié)構(gòu)元素來(lái)建造大型軟件系統(tǒng)。(2)抽象能力指的是ADL使得軟件體系結(jié)構(gòu)中的構(gòu)件和連接件描述可以只它們的抽象特性，而不管其具體的實(shí)現(xiàn)細(xì)節(jié)。(3)重用能力指的是ADL使得組成軟件系統(tǒng)的構(gòu)件、連接件甚至是軟件體系結(jié)構(gòu)都成為軟件系統(tǒng)開(kāi)發(fā)和設(shè)計(jì)的可重用部件。(4)組合能力指的是ADL使得其描述的每一系統(tǒng)元素都有其自己的局部結(jié)構(gòu)，這種描述局部結(jié)構(gòu)的特點(diǎn)使得ADL支持軟件系統(tǒng)的動(dòng)態(tài)變化組合。(5)異構(gòu)能力指的ADL允許多個(gè)不同的體系結(jié)構(gòu)描述關(guān)聯(lián)存在。(6)分析和推理能力指的是ADI。允許對(duì)其描述的體系結(jié)構(gòu)進(jìn)行多種不同的性能和功能上的多種推理分析。

分類分類一、通常，ADL按其描述屬性可分為如下三類。①結(jié)構(gòu)ADL，針對(duì)處理器及其互聯(lián)的硬件單元。②行為ADL，主要處理器指令集語(yǔ)義功能。③混合ADL，兼有上述兩者的屬性，提供它們之間的交互描述。二、根據(jù)ADL與編程語(yǔ)言的關(guān)系，也可以進(jìn)行如下分類。①標(biāo)準(zhǔn)語(yǔ)言：其優(yōu)點(diǎn)是可擴(kuò)展已有的工具以適應(yīng)新框架特性，并且易于掌握；缺點(diǎn)是，不能很好地支持建模語(yǔ)言結(jié)構(gòu)，損失了語(yǔ)言描述效率。②專用語(yǔ)言：與標(biāo)準(zhǔn)語(yǔ)言相反，它針對(duì)系統(tǒng)建模與設(shè)計(jì)，保證了語(yǔ)言與模型能夠很好地匹配；不足之處是，需要學(xué)習(xí)新的語(yǔ)法及其工具。③前端語(yǔ)言：通過(guò)選擇與模型匹配的語(yǔ)言描述，它可以轉(zhuǎn)化為概念模型的標(biāo)準(zhǔn)語(yǔ)言，使用時(shí)要考慮轉(zhuǎn)換機(jī)制產(chǎn)生的中間制品。

常見(jiàn)種類常見(jiàn)種類一些主流的ADL有如下三種。1．UML/XMIUML作為第三代建模語(yǔ)言，嚴(yán)格地定義了對(duì)象元模型的語(yǔ)義，并為對(duì)象結(jié)構(gòu)、行為的捕獲和通信提供了符號(hào)表示。UML2.0對(duì)嵌入式系統(tǒng)和SoC提供了良好地支持，在每一級(jí)設(shè)計(jì)者都可以使用行為和結(jié)構(gòu)描述，填補(bǔ)了設(shè)計(jì)規(guī)約和物理實(shí)現(xiàn)間的間隙。使用XML描述參數(shù)化的體系結(jié)構(gòu)模型能夠很好地匹配目標(biāo)系統(tǒng)，開(kāi)發(fā)者可以針對(duì)自己的需求定制標(biāo)記結(jié)構(gòu)，得到便于理解的描述實(shí)例，讓設(shè)計(jì)具有擴(kuò)展性。已有很多開(kāi)源應(yīng)用程序支持XML及schema，使UML/XML成為規(guī)范的設(shè)計(jì)文檔標(biāo)準(zhǔn)。2．SystemCSystemC設(shè)計(jì)語(yǔ)言(包括SpecC、ArchC、HardwareC此類描述語(yǔ)言)在學(xué)界和業(yè)界引起了極大的興趣。由OSCI組織支持的SystemC已成為實(shí)際的可執(zhí)行系統(tǒng)設(shè)計(jì)標(biāo)準(zhǔn),其中SystemCTLM(Transa