內容提要2.1 什么是軟件模型2.2 軟件模型的發展脈絡2.3 軟件模型解析2.3.1 功能模型2.3.2 對象模型2.3.3 組件模型2.3.4 配置型組件模型2.3.5 服務模型2.3.6 抽象模型2.4 深入認識軟件模型2.4.1 軟件體系結構的描述2.4.2 軟件體系結構的設計2.5 體系結構描述語言2.5.1 ADL簡介2.5.2 典型ADL的比較2.5.3 描述體系結構行為

12.1 什么是軟件模型體系結構強調一種思想的抽象，通過一些原則和方法等具體體現。體系結構的另一種解釋，是指系統的基本組成元素及其相互關系的抽象。軟件體系結構也是體系結構概念在軟件上的投影或具體應用，是一系列關于軟件系統組織的重大決策，是軟件系統結構的結構，由軟件元素、元素的外部可見屬性及元素間的關系組成。軟件模型作為軟件組成的最基本單元的抽象，既反映了軟件體系結構構建的核心思想，也奠定了軟件體系結構構建的基礎。一方面，定義了軟件體系結構構建的基本單元元素的形態；另一方面，定義了基本單元元素之間關系的基本形態。不同的軟件模型，隱式地定義了軟件體系結構構建的不同方法。

2模型模型（Model），一般是指客觀世界中存在事物的一種抽象。事物可以是具體的，例如房子、人，也可以是抽象的，例如思想、算法。模型一般都需要通過某種形式表達出來，以便交流。從形式上看，模型的表達，有文字（包括自然語言和數學語言）、圖形（圖形語言）或圖文混合。用數學語言表達的模型，稱為數學模型，這種模型的形式化級別最高，一般用來描述事物的抽象本質，刻畫事物內在的穩定規律。

3軟件模型軟件模型（SoftwareModel），是指軟件的一種抽象，目前，一般通過非數學模型來描述。相對于其它事物，軟件具有特殊性。這主要體現在軟件描述的基本元素的一致性，也就是說，無論如何描述軟件，同構模型中描述的最基本單元的抽象，都是統一的。將這種統一的基本單元的抽象，稱為軟件模型，而將軟件系統的抽象，稱為軟件體系結構。因此，軟件模型可以看做一種元模型（MetaModel）。

4軟件模型

52.2 軟件模型的發展脈絡審視軟件模型從誕生到發展的歷程，盡管各種軟件模型的發展存在一定的時間交叉，但從其是否作為軟件構造技術的主體支撐技術來說軟件模型的發展脈絡，清晰地體現了計算機應用發展的歷程，以及計算機技術發展的歷程。

6技術、應用和軟件模型的關系計算機應用的發展和計算機技術的發展相輔相成。一方面，計算機應用的發展，對計算機技術提出了新的要求，促進計算機技術的發展；另一方面，計算機技術的發展，又為新型計算機應用的發展提供了基礎，促進計算機應用的發展。軟件技術作為計算機技術之一，在計算機應用和其它計算機技術之間建立起橋梁。因此，軟件模型的發展，事實上也就是不斷動態地黏合應用與技術。

72.3 軟件模型解析2.3.1 功能模型功能模型（FunctionModel）也可以稱為過程模型或函數模型，是模型化軟件構建方法的第一個基本模型。功能模型的基本原理，是將一個系統分解為若干個基本功能模塊，基本功能模塊之間可以按需進行調用。基本功能模塊集合及其調用關系集合，構成一個系統的模型。功能模型誕生于20世紀60年代，強調了對程序中數據處理（功能）的抽象，通過功能分解和綜合的方法，降低系統構造的復雜度。從而實現一體式程序體系結構，向結構化程序體系結構的轉變，并建立了結構化軟件設計方法。功能模型的核心之一，是基本功能模塊的抽象及耦合。

8基本功能模塊的實現基本功能模塊的抽象，一般需要定義其處理的抽象數據集。具體實現中，基本功能模塊一般有函數（Function）和過程（Procedure）兩種形式，前者返回處理結果，后者不返回處理結果。

9function函數名(形參列表):返回值類型數據組織定義;begin

數據處理定義;end返回值類型函數名(形參列表){數據組織定義;

數據處理定義;}PASCAL語言實現C語言實現function過程名(形參列表);數據組織定義;begin

數據處理定義;endvoid函數名(形參列表){數據組織定義;

數據處理定義;}參數傳遞和函數返回按照傳遞的方式，參數傳遞基本上有值傳遞、地址傳遞兩種。值傳遞將實際參數的值復制到堆棧，地址傳遞則是將實際參數值存放的內存地址復制到堆棧。

10兩種參數傳遞方式的C語言實現當被調模塊的抽象數據集具體化后，值傳遞方式不會因為被調模塊的處理而改變原始的實際參數值，而地址傳遞方式，由于被調模塊的處理會通過實際參數值存放的內存地址而間接地作用于原實際參數，從而改變原始的實際參數值。

11intsubmodule(intp,intq){intr;r=p+q;returnr;}mainmodule(){intx=10,y=20,z=0;z+=submodule(x,y);printf(“TheResultsis:%d\n”,z);}intsubmodule(int*p,int*q){intr;r=*p+*q;returnr;}mainmodule(){intx=10,y=20,z=0;z+=submodule(&x,&y);printf(“TheResultsis:%d\n”,z);}遞歸方法的基本思想遞歸（Recursion）是指用同一種處理方法來處理不斷縮小規模的數據集，并通過不斷綜合小規模數據集的處理結果，來得到大規模數據集的處理結果的一種問題處理方法。

12

13漢諾塔問題求解把n-1個圓金片環從A到B，其中，C作為臨時用。

14(3)(2)(1)(3)(1)(2)nn-11n-11n-11n-1n-21n-21n-21n個圓金片環從A到C，B作為臨時用n-1個圓金片環從A到B，C作為臨時用voidmove(unsignedn,chara,charc,charb){if(n>0){move(n-1,a,b,c);(1)printf(“%d:%c->%c\n”,n,a,c);(2)move(n-1,b,c,a);(3)}}遞歸的多種具體應用

15模塊調用模塊調用模塊調用模塊調用模塊調用模塊調用模塊調用模塊調用模塊調用模塊調用模塊模塊模塊模塊模塊模塊模塊模塊模塊調用（a）單直接遞歸（b）單直接遞歸（c）多直接遞歸（d）間接遞歸（e）嵌套遞歸三種基本的處理邏輯及其語義處理邏輯的遞歸應用，是指將問題的整個處理邏輯看做數據集，將基本的處理邏輯看做處理方法，從而實現用基本的處理邏輯及其組合，來處理不同復雜度問題的整個處理邏輯。功能模型建立了三種基本處理邏輯：順序、分支、循環

16處理邏輯的遞歸應用內涵程序A（大程序）和子程序B（小程序）在思維上，具有顯示通約性。

17C語言中的兩類數據類型由于功能模型側重于功能部分，淡化了數據部分以及數據與功能之間的關系，因此，對于大規模程序的構造，功能模型具有其固有的波動效應的缺陷。于是，如果一個模塊或者某個數據被修改了或被調整了，而又沒有及時通知其他相關的模塊，會產生意想不到的影響。

18復合數據類型數據類型基本數據類型整數單精度浮點數雙精度浮點數字符字符串數組指針結構聯合

192.3.2 對象模型對象模型（ObjectModel）于20世紀80年代誕生，強調了對程序中數據組織的抽象，并將數據處理和數據組織統一進行考慮。對象模型以對象為核心，通過對象進行數據組織的抽象并實現數據組織和數據處理的統一，在此基礎上，建立面向對象的軟件構造方法。因此，對象模型的基本原理，是將一個系統分解為若干個對象，對象之間可以通過發送消息按需進行協作。對象集合及其協作關系集合，構成一個系統的模型。對象（Object），是指客觀世界中存在的事物，可以是具體的（如：人、貓、狗等）或者抽象的（如：緩沖池、堆棧等）。計算機中，為了描述一個對象（或以對象進行數據組織），必須給出對象的形態（稱為對象的型），并按照需要建立對象的各個具體實例（稱為對象的值）。

20對象描述的基本視圖C++語言中描述對象的具體案例

21classCar{ stringbrand; stringmodel; stringcolor; intprice; intweight; stringno;public: Car(); ~Car(); voidmoveforward(); voidstop(); voidturnleft(); voidturnright(); voidmoveback();}Carc1,c2;屬性行為型值數據類型的抽象所謂數據類型的抽象，是允許用戶按照需求定義自己的數據類型，并通過其進行數據組織，從而拓展某種程序設計語言固有的數據類型，為應用程序的構造帶來靈活性。相對于傳統的固有數據類型，拓展的數據類型，稱為抽象數據類型（AbstractType）。一般來說，一種數據類型既要規定數據的取值范圍，又要定義數據的基本運算操作。因此，對象模型中的對象機制可以用來定義抽象數據類型。其中，對象的屬性描述與數據的取值范圍相對應，對象的行為描述與數據的基本運算操作相對應?？梢?，對象本質上就是數據，對象的描述就是定義一種抽象數據類型。

222.3.3 組件模型20世紀90年代，組件模型（ComponentModel）誕生，在對象模型的基礎之上，強調了異族對象關系以及獨立性問題。異族對象關系指，組件內部完成組件功能的對象可以是同族的，也可以是異族的。獨立性是指，組件建立在二進制基礎上并獨立封裝，可以獨立部署。組件模型以接口為核心，通過接口抽象組件行為，在此基礎上，建立面向接口的軟件構造方法。組建集合及其協作關系集合，構成一個系統的模型。接口（Interface）指對象動態行為的集合，接口也支持繼承機制。相對于對象模型，組件模型更加重視在概念層次和規約層次上認識面向對象的方法和思想，強調對象具有可以被其它對象或對象自身調用的方法。

23

24組件基本結構組件（Component）指能完成特定功能并能獨立部署的軟件合成單元。一個組件一般具有一個或多個接口，每個接口的功能由一個或多個方法實現。接口的具體功能，由組建對象實現。

25組件功能重用方式

組件功能重用方式組件模型強調標準，以實現具有獨立性的組件之間的集成。組件模型的標準一般稱為軟總線（SoftwareBus），定義組件的封裝結構并提供基本的集成服務功能（例如，命名服務、查找服務等）。滿足同一標準的組件，可以通過軟總線進行集成。目前，常見的組件模型標準，有微軟的COM、SUN的JavaBeans和OMG的CORBA。

26微軟COM組件的基本結構為了實現對組件的管理和集成，軟總線除了提供各種基本服務功能外，還提供一些高級服務功能，例如屬性服務、持久化服務、安全服務、事務服務。

27（a）封裝結構（b）運行時結構組件集成的基本原理組件對象首先必須在軟總線中進行注冊，然后才能被使用。某個客戶應用或一個對象需要使用某個組件對象時，也是通過軟總線進行查找，然后再使用。因此，軟總線充當組件對象集成的中介。組件模型，通常采用基于框架的程序構造方法。

28

29框架框架（Framework）指已實現部分功能的某類程序結構的實現。框架抽象了某類程序的結構，定義其中各個功能組件及其相互關系并實現部分功能?？蚣芘c生產線很相似，通過框架構造程序，相當于按照生產線進行各種組件的裝配?？蚣芸煞譃樗叫?、垂直型、復合文檔型三種。水平型框架一般面向通用類程序的構造，與特定應用領域無關，例如，VisualC++支持的各種項目類型，就是各種水平型框架。垂直型框架一般面向特定應用領域，抽象和封裝了該應用領域應用程序的基本結構和共性基本組件。復合文檔型框架是一種比較通用的框架，將一個程序抽象為一個文檔，將構成程序的各個組件看作是文檔中的不同的獨立元素，這些獨立元素，通過事件消息相互聯系。通過復合文檔型框架構造程序，相當于用各種元素在文檔上創作一幅動態的圖畫。

30利用復合型文檔框架進行程序構造

31（a）基本原理（b）一個樣例分布式對象計算的基本模型由于組件模型解決了異構集成問題，因此，分布式對象計算模型，得到迅速發展。分布式對象計算的基本模型在軟件總線的基礎上，通過在客戶端和服務端分別增加代理機制，來實現分布式環境下組件對象之間的集成。

32DCOM運行時結構CORBA直接支持分布式計算模型，JavaBeans通過JavaRMI（RemoteMethodInvoke）將其組件模型拓展為分布式計算模型，COM通過RPC（RemoteProcedureCall）將其拓展為DCOM（DistributedComponentObjectModel）。對于DLL封裝的組件，DCOM通過自動加載一個Dllhost.exe作為其宿主。

332.3.4 配置型組件模型配置型組件模型（ConfigurableComponentModel），又稱為服務器組件模型，專門針對應用服務器，定義其基于組件的基礎結構模型。在傳統的分布式對象計算模型中，軟總線提供的附加基礎服務，需要被業務邏輯代碼顯式地使用。然后，對于響應大量客戶端的服務器，基礎服務的提供涉及系統資源的有效利用，基礎服務需要與資源管理技術一起使用。因此，如果這兩者都由業務邏輯代碼來顯式使用，那么，應用開發的復雜度，就會急劇增大。特別是，隨著組件交互的行為越加復雜，協調這些基礎服務就，成為了一項困難的任務，需要與編寫業務邏輯代碼無關的系統級專門技術來處理。

34配置型組件模型的基本實現思想配置型組件模型的基本原理，是將應用業務邏輯與系統基礎服務兩者解耦，由系統基礎服務構成一個服務容器，自動隱式地為各種應用業務邏輯按需統一提供相應的基礎服務。應用業務邏輯，可以按需提出不同的基礎服務要求，亦即，它是可配置的。這樣，基于問題分離（SeparationofConcerns）原理和功能可變性（FunctionalVariability）原理，將業務邏輯的功能部分和系統資源有效管理的技術部分分開，允許兩者獨立進化并促進基礎服務和資源的重用。

35.NET模塊及裝配件的基本結構.NET采用裝配件（Assembly）作為基本的組件打包及部署單元，是一種邏輯組件（LogicalComponent），可以包含打包清單（Manifest，用來描述該配件以及所需的其他配件，包括版本號、編譯鏈接號以及編譯器在編譯時捕獲的修正號、文化特征等版本信息）以及一個（或多個）物理DLL或EXE模塊，每個模塊內部，包含中間語言（IntermediateLanguage，IL）代碼、元數據（Metadata，描述配件中聲明的所有類型及其關系）及資源（包括圖標、圖像等），模塊以文件形式存儲。

36.NET應用程序結構.NET支持兩種組件，即使用基礎服務的組件（ServicedComponent）和標準的被管理組件（ManagedComponent，又稱托管代碼或受控代碼）。其中，前者是COM+標準組件的進化和發展，后者則是新的組件封裝模型。.NET實現了兩者統一。為了支持說明性程序設計，.NET提供的新型程序設計語言C#支持，將配置要求以屬性方式寫入程序中，建立基于屬性的程序設計方法。

372.3.5 服務模型服務（Service）指一個封裝著高級業務概念、實現公共需求功能、可遠程訪問的獨立應用程序模塊。服務一般由數據、業務邏輯、接口及服務描述構成

38服務模型的基本原理服務獨立于具體的技術細節，一般提供業務功能，而不是技術功能。服務模型的基本原理，是明確服務提供者和服務使用者，并通過服務中介實現兩者的耦合

39服務模型的抽象作用服務模型通過定義獨立于具體技術、可以擴展的通用描述手段，來描述服務和實現服務交互，而將服務實現的具體技術細節隱藏在內部，從而實現服務的無縫集成。

40XML作為一種集成技術XML是一種通用的結構化信息編碼標準。亦即，作為一種可以創建其他專用標記語言的通用元標記語言，XML可以對任意結構化信息進行定義。XMLInfoset所定義的信息模型是層次型模型，層次型模型的遞歸特性決定了其廣泛的適用性和描述能力。XML可以是軟件集成問題的統一解決方案

41面向互聯網的Web服務對象微軟.NET平臺面向新一代Web應用的開發，通過在開發工具VisualStudio.NET中提供VisualC#Projects中的ASP.NETWeb服務模版類型以及建立支持屬性編程的新型程序設計語言C#，直接支持面向Web服務的應用開發。通過Web服務，將COM+對象包裝為面向互聯網的一種服務對象

422.3.6 抽象模型一個可恢復程序語句組件實例，需要一個或多個書簽，因此，所有的書簽必須由一個書簽管理器統一管理。并且還需要一個監聽器程序，所有需要分發到書簽中去的數據，都由該程序進行分發。書簽管理器和監聽器，都獨立于可恢復程序語句組件。

43可恢復程序語句組件的基本模型基于書簽機制，可恢復程序語句組件，具有可恢復性（Resumable）及支持片段式執行（EpisodicExecution）的特點。因此，可恢復程序語句組件的基本模型，一般包括兩個部分：基本執行邏輯和可恢復執行邏輯

44可恢復程序基本結構基于可恢復程序語句組件模型的可恢復程序，是由可恢復程序語句組件和復合語句組件及其邏輯關系定義所建立的一個復合語句組件。可恢復程序，本質上也是一個復合語句組件，描述的控制流，是相對獨立的某種業務工作流。

45可恢復程序設計思想與面向對象設計思想的思維通約性可恢復程序，本質上就是一種數據，即程序=數據。該類型化設計思想，與面向對象的設計思想具有明顯的思維通約性。

46可恢復程序的執行流程統一書簽機制，將對整個程序實例中的每一個可恢復程序語句組件實例的可恢復調度，與對一個可恢復程序語句組件實例的可恢復調度采用同一個書簽機制。分級書簽機制，將對兩者的可恢復調度，采用不同的書簽機制。

472.4 深入認識軟件模型2.4.1 軟件體系結構的描述軟件體系結構的描述，指通過某種語言表達軟件體系結構，描述的目的，是為了實現對軟件體系結構的認識、理解、交流。進而，基于描述，可以對軟件系統的行為、特性進行各種理論分析和仿真模擬，以及實現軟件系統代碼的自動生成。因此，軟件體系結構的描述對于科學的軟件系統設計方法的建立、大規模高質量軟件系統的設計與構造，有著重要的意義。目前，軟件體系結構的描述，有非形式化描述和形式化描述兩大類方法。

48非形式化描述軟件體系結構非形式化描述方法的典型代表，是統一建模語言（UnifiedModelingLanguage，UML）方法。UML是一種通用的可視化建模語言，建立在對象模型概念的基礎上，提供了標準的系統建模方法，可以對任何具有靜態結構和動態行為的系統進行建模。UML的統一性在于，所提供的概念可以統一已有的各種建模方法，在系統開發的各個階段具有一致性，可以面向各種應用領域系統建模。UML統一了建模的基本元素及其語義、語法和可視化表示方法。

49非形式化描述有如下缺陷語義模糊由語義模糊引起的溝通障礙無法實現系統驗證不適于描述體系結構行為

50形式化描述計算機科學中，形式化描述是指，用于軟件與硬件系統的說明、開發、驗證的數學化方法。形式化的基礎，就是數學化理論。在一個軟件開發過程中，形式化描述可以被應用到各個方面。形式化描述在體系結構描述上具有如下特點：形式化描述可以用于系統描述，而且可以在不同層次上進行描述。形式化描述在體系結構行為描述上更勝一籌。形式化描述使得系統驗證變得可行。

51Petri網Petri網是用于表述分布式系統的眾多數學方法之一。作為一種建模語言，Petri網采用圖形化方法將一個分布式系統結構表述為帶標簽有向雙邊圖。1962年，CarlAdamPetri在博士論文中提出了Petri網。CarlAdamPetri是一名物理學家，他發明Petri網主要是從物理的角度去描述并發現象的。Petri網是對離散并行系統的數學表示，適合于描述異步、并發的計算機系統模型。經典的Petri網是簡單的過程模型，由兩種節點（庫所、變遷），有向弧，以及令牌等元素組成。其中，圓圈表示位置，圓圈中有標識表示條件滿足，線段表示變遷。

52Z語言Z語言是一種形式化的說明語言，用于計算系統的描述與建模。旨在對計算程序的明晰說明以及對于系統行為的公式化證明。1997年，Jean-RaymondAbrial在SteveSchuman與BertrandMeyer的幫助下，提出了Z語言。形式化描述語言Z指德國著名數學家策梅洛（Zermelo），是使用最廣泛的一種形式化描述語言，在軟件產業的一些大型項目中已經獲得成功的應用，以一階謂詞邏輯策梅洛-弗蘭克爾（Zermelo-Fraenkel，ZF）公理集合論為主要數學基礎。Z語言是一種用“數學文字”或“數學符號”，來描述計算機系統的規范化語言，不但能應用于計算機硬件系統，而且也特別適用于計算機軟件系統。Z語言描述“做什么”，而不涉及“怎么做”，只對目標軟件系統進行功能描述。用戶可以通過這些內容，去理解計算機系統的模塊、數據類型、過程、函數、對象、類，進而對計算機系統的行為、結構、邏輯進行分析、驗證、改進、測試。

532.4.2 軟件體系結構的設計水平型設計水平型設計是指，運用通用建模設計工具和表達語言所進行的軟件體系結構的設計。垂直型設計垂直型設計是指，運用面向體系結構的專用建模設計工具及其表達模型所進行的軟件體系結構的設計。隨著計算機應用的不斷發展，軟件系統規模愈發龐大，人們對于軟件系統的設計策略也逐漸從歸納式思維策略，向演繹式思維策略轉變。

542.5 體系結構描述語言2.5.1 ADL簡介體系結構描述語言（ArchitectureDescriptionLanguage，ADL）的一個非正式的定義是：是一種用于描述軟件與系統結構的計算機語言。該定義關注的，是ADL的使用意圖，而缺乏必要的規范定義。目前，相關研究領域對ADL仍有爭議。爭議主要集中在：ADL是什么？ADL應該從系統的哪些角度建模？隨著ADL家族的發展壯大，爭論也愈演愈烈，對其定義形成共識，愈發困難。

55構件、操作、模式、閉包、規格說明作為一種經典理論，CMU的DavidGarlan和MaryShawd定義了ADL元素，包括構件、操作、模式、閉包、規格說明。構件（Components）：指抽象級別上組成系統的計算模塊。一個模塊可以是物理上的具體軟件元素或者是編譯單元。一個模塊可以是一個功能邏輯獨立的軟件包，甚至是軟件體系結構的更抽象的概念。操作（Operations）：指構件之間的交互機制。操作被認為是將結構元素連結成為更加高級構件的功能。模式（Patterns）：指結構元素依照特殊方式進行的組合。模式是元素的可重用組合。一個設計模式（或體系結構模式），是一個針對特定問題的設計模版。模式會在實際的設計中被實例化。模版將體現元素選擇與元素交互的限制。閉包（Closure）：是用于實現分層描述的概念。規格說明（Specification）：規格說明包括功能、性能、容錯能力等。

562.5.2 典型ADL的比較在軟件體系結構研究領域，使用著各種不同的ADL。不同的ADL的設計意圖是大相徑庭的。

57WRIGHTWRIGHT語言旨在精確描述系統結構與抽象行為、體系結構風格的描述以及系統一致性完整性的驗證等。根據WRIGHT語言作者的觀點，一種體系結構描述語言應該至少提供兩項內容：無二義性的精確語義，并能夠進行不一致性的檢測。一套支持系統屬性推理的機制。還有一個目標是滿足架構師自身的詞匯表達需求。WRIGHT專注于抽象表達，以及為架構師提供結構化表達系統信息的方法。

58C2C2的特色在于，支持構件重置與圖形化用戶接口（GUI）重用。如今用戶接口占據了軟件的很大一部分，并且重用度相當有限。C2著眼于構件的重用，尤其是系統的進化——系統在運行時的動態改變。因此，C2的設計目標，基于如下考慮：構件可能用不同的編程語言實現，構件可能在同一時刻運行在分布、異構的并且沒有共享地址空間的環境中，運行時的結構可能發生變化，可能發生的多用戶交互，可能使用多種工具集，涉及多種媒體類型等。

59DarwinDarwin是一種陳述性語言，為一類系統提供通用的說明符號，這類系統由使用不同交互機制的不同構件組成，著眼于描述分布式軟件系統。近來關于分布式系統維護的相關研究表明，采用分布式構造可以降低構件的復雜度。但是，這一優勢，還不足以抵消由分布式結構帶來的缺點以及結構復雜度的增加。Darwin的設計出發點，正是要解決這樣的問題。此外，Darwin同樣支持動態結構說明。

60AcmeAcme是一種交互式ADL，旨在為開發工具與環境提供交互格式。設計中關鍵在于，綜合各種獨立開發的ADL工具，為交換結構信息提供媒介格式。除了交互這一基本目標之外，設計Acme還考慮了如下目標：為實現結構分析與可視化提供表達模式；為開發新的特定領域的ADL提供基礎；為體系結構信息表達提供標準；這種語言必須便于讀寫表達。

61xADL在過去10年中，無數ADL伴隨著各種研究活動相繼誕生。這導致了軟件體系結構表達符號的過剩，而每種ADL都有各自在系統表達上的重點。同時，可重用性與可擴展性也非常有限。使用現有的符號表達來達成一種新的設計目的，無異于重新開發一門新的ADL。xADL為架構師提供了更好的拓展性，將用于快速地構造新的ADL。

62π-ADLπ-ADL是用于解決動態與移動體系結構說明的一種ADL。動態體系結構意味著，軟件結構可以在運行時改變。移動體系結構意味著，構件能在系統