软件构件与体系结构——原理、方法与技术 教学课件 作者 王映辉 8 软件体系结构描述.pptVIP

Mail:wyh_925@163.com 软件体系结构 王映辉 博士(后),教授,博导 Part 4：软件体系结构描述 P4-1-1、SA描述方法 P4-1-1、SA描述方法（续） P4-1-1、SA描述方法（续） P4-1-2、SA描述框架标准 P4-1-3、SA描述的内容框架 P4-1-3、SA描述的内容框架 P4-1-3、SA描述的内容框架 P4-1-3、SA描述的内容框架 P4-1-3、SA描述的内容框架 P4-1-3、SA描述的内容框架 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-1、Z标记语言 P4-2-2、通讯顺序进程CSP P4-2-2、通讯顺序进程CSP P4-2-2、通讯顺序进程CSP P4-2-2、通讯顺序进程CSP P4-2-2、通讯顺序进程CSP P4-2-2、通讯顺序进程CSP P4-2-2、通讯顺序进程CSP P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-3、化学抽象机 P4-2-4、∏演算 P4-3-1、ADL 概述 ADL的构成要素： ADL应该具有的特点 主要ADL的特点 ADL与其它语言的比较 P4-3-2、ACME P4-3-2、ACME ACME提供7种实体：构件、连接件、系统(构件和连接件的配置)、端口、角色、表述(representations)和表述映射(map)。(上图只体现了5种实体，后两种见下) 表述为SA提供分级描述的能力，每个构件或连接件能用一个或多个更详细、更底层的描述来表示 表述映射定义了被表述的内部系统和所表述的构件或连接件的外部接口之间存在何种相关性 (对连接件而言是内部角色和外部角色之间) 表述用来进一步描述元素的结构，为元素提供更深入的分解： (1)使用表述封装子系统。父元素可以看作是将元素暴露给外界的接口的标识符号，而表述是对接口的具体实现。 (2)表述作为视图。表述可以用来表达系统的其它视图，一个简单的应用就是去掉系统某些特性后定义的一个简化的视图。可是，ACME并没有提供不同视图之间关系的机制。 (3)表述的其它应用。表达文档消息。在ACME中，ACME只被用来定义逻辑边界，如对构件和连接件的封装。 ACME实例---C/S结构的描述： P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-2、ACME P4-3-3、Wright P4-3-3、Wright（续） P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-4、UniCon P4-3-5、Darwin P4-3-5、Darwin P4-3-5、Darwin P4-3-5、Darwin P4-3-5、Darwin P4-3-5、Darwin P4-3-6、其它(Aesop,MetaH,C2,SADL） P4-4、SA与UML END THIS SESSION！ 参阅万建成《软件体系结构的原理、组成与应用》科学出版社2002. 溶液被解释为CHAM的状态(states)。 text ? o(char)：代表的是输入的源文本。由于源文本不是体系结构的成分，它只能表示编译器与外界环境的交互。 形式化和规范化的SA描述对于SA的设计和理解是非常重要的。然而，在实现SA设计、描述等的