第四章_软件体系结构描述(8).pptVIP

ADL的构成要素： 主要ADL的特点 Other languages Requirements languages Requirement language ? Describe problem space ADLs ? Solution space Programming languages Programming language ? focus on a specific solution ADLs ? a commitment for a particular solution is postponed as long as possible Modelling languages Modelling languages ? the inside behaviour of a component ADLs ? a collection of connected components ADLs Detailed design Details of implementations Data Structure Algorithms High level design of the system Use formally defined: Syntax Semantics Classification (Application) ACME提供7种实体：构件、连接件、系统(构件和连接件的配置)、 端口、角色、表述(representations)和表述映射(map)。(上图只 体现了5种实体，后两种见下) 表述为SA提供分级描述的能力，每个构件或连接件能用一个或多个更详细、更底层的描述来表示 表述映射定义了被表述的内部系统和所表述的构件或连接件的外部接口之间存在何种相关性 (对连接件而言是内部角色和外部角色之间) 表述用来进一步描述元素的结构，为元素提供更深入的分解： (1)使用表述封装子系统。父元素可以看作是将元素暴露给外界的接口的标识符号，而表述是对接口的具体实现。 (2)表述作为视图。表述可以用来表达系统的其它视图，一个简单的应用就是去掉系统某些特性后定义的一个简化的视图。可是，ACME并没有提供不同视图之间关系的机制。 (3)表述的其它应用。表达文档消息。在ACME中，ACME只被用来定义逻辑边界，如对构件和连接件的封装。 ACME实例---C/S结构的描述： 第4章 软件体系结构描述 4.4 典型软件体系结构描述语言 第4章 软件体系结构描述 4.4 典型软件体系结构描述语言 类型和风格 体系结构描述的一个重要的能力就是能够定义系统的风格或族。 在ACME中定义风格的基本构造块是一个类型系统。设计师可以定义三种类型：属性类型、结构类型、风格。 第4章 软件体系结构描述 4.4 典型软件体系结构描述语言 风格 在ACME中，风格被称为族（family），它代表一组系统。在ACME中，可以这样定义一个族： 一组属性和结构元素 一组约束 默认结构 第4章 软件体系结构描述 4.4 典型软件体系结构描述语言 风格 属性类型和结构类型为族提供了设计词汇，约束决定了如何使用这些类型的实例。默认结构描述了必须在族中出现的任何系统中的实例的最小的集合。 第4章 软件体系结构描述 4.4 典型软件体系结构描述语言 第4章 软件体系结构描述 4.4 典型软件体系结构描述语言 我们可以看出：这些ADL共同的目的都是以构件和连接件的方式描述软件体系结构，不同的只是底层的语法和语义。为了更好的使用ADL，通常需要一个配套的开发环境，应该提供以下的工具： 创建和浏览设计的图形化编辑器、体系结构一致性检查、代码生成器、模式仓库等。 第4章 软件体系结构描述 例子 第4章 软件体系结构描述 例子 下载ACME相关的软件并安装使用： 该工具是耐基梅隆大学计算机学院的ABLE(Architecture Based Language and Environments)项目组开发的。通过对该工具的 使用，认识： (1) AcmeStudio的环境构成。包括用户界面和执行的基本任务等 (2) 对SA设计和分析的支持。包括对特定SA风格的定制等 (3) 开发定制的基于ACME的应用。包括使用Acmelib提供的通用的API或自定义的接口类集合 直接使用 使用UML扩展机制 使用UML的profile机制 谢 谢 ！！ If we compare ADLs with others languages, we can see that ADLs have aspects in common with Requirement langu