第4章-Part2 矿大 软件体系结构.ppt

4.4.1 UniCon UniCon 构件的定义 构件接口的定义 构件接口的定义 构件接口的定义 构件实现的定义 连接件的定义 连接件协议的定义 连接件协议的定义 连接件协议的定义 连接件实现的定义 UniCon Example UniCon Example UniCon Example UniCon Example 4.4.7ACME 美国卡耐基梅隆大学的Garlan等人创建 ACME支持从四个不同的方面对软件体系结构进行描述，分别是结构、属性、设计约束、类型和风格。 4.4.7ACME ACME中定义了七种体系结构实体，分别是构件、连接件、系统、端口、角色、表述和表述映射 4.4.7ACME 用ACME描述的一个简单的C/S体系结构 client构件只有一个sendRequest端口 server构件只有一个receiveRequest端口 连接件rpc有两个角色，分别为caller和callee client的请求端口绑定到rpc的caller角色 server的请求处理端口绑定到rpc的callee端口 Example (in ACME) 4.4.7ACME ACME中，每个构件或连接件都能用一个或多个更详细、更低层的描述来表示 每一个这样的描述被称为一个表述 4.4.7ACME 例：server(服务器)构件由一个更详细的体系结构表述所细化 4.4.7ACME 4.4.7ACME 4.4.7ACME 4.4.7ACME ACME中的七种体系结构实体：构件、连接件、系统、端口、角色、表述和表述映射，足以定义一个体系结构的组织 为了记录体系结构的非结构信息， ACME支持用属性列表对体系结构的结构进行注释 属性可用来记录与体系结构相关的分析和设计细节。 每个属性有名称、可选类型和值。 4.4.7ACME 4.4.7ACME 4.4.7ACME 4.4.7ACME 设计约束是体系结构描述的关键成分，起着核心作用 决定体系结构设计如何演化 ACME使用基于一阶谓词逻辑的约束语言来描述设计约束 4.4.7ACME 4.4.7ACME 约束通过两种方式附加到设计元素，分别是invariant和heuristic invariant约束是不可违反的规则 heuristic约束是应该遵守的规则 对invariant约束的违反会使体系结构规格说明无效 对heuristic约束的违反会当作一个警告处理 4.4.7ACME 4.4.7ACME 属性类型 结构类型 风格 4.4.7ACME 4.4.7ACME 在ACME中，风格被称为族 如同结构类型代表一组结构元素一样，族代表一组系统。 4.4.7ACME 4.4.7ACME 4.4.7ACME 4.4.7ACME For More Information ACME: /~acme Rapide: /rapide/ Wright: /afs/cs/project/able/www/wright/index.html Aesop: /afs/cs/project/able/www/aesop/aesop_home.html Unicon: /afs/cs/project/vit/www/unicon/index.html C2 SADL: /pub/arch/ ADL是一种形式化语言，为体系结构建模提供了具体语法和框架 ADL描述软件体系结构精确、完全，但专业术语过多、语义理论过于复杂，不利于向产业界推广 XML(Extensible Markup Language，可扩展标记语言)简单和易于实现，且在工业界广泛使用 用XML来表示软件体系结构 XML HTML(Hypertext Marked Language，超文本标记语言) 用于描述网页的格式设计和WWW上其他网页的链接信息 简单易用，比较适合Web页面的开发,缺点是标记相对较少,不能支持特定领域的标记语言,如数学、化学、音乐等领域 能否创建一种自描述性的语言，用户可以自己创建标记来描述内容 XML XML的应用领域 设计置标语言。打破HTML语言的局限性，规范、有效、有层次地表示及显示原HTML页面所表示的内容。 数据交换。除了能显示数据，还能作为一种数据的存储格式进行数据交换和传输。 Web服务。用XML构建Web服务(Web Service)。 作为ADL。 XML有能力和潜力消除各种ADL无法统一的局面。 基于XML的SA描述语言 XADL2.0。加州大学欧文分校和卡内基梅隆大学合作创建。 XBA。复旦大学计算机系的赵文耘教授。 XCOBA。湖南师范大学的张友生教授。 UML(Unified Modeling Language) 统一：表示是一种通用的标准，被OMG(Object Management Group)认可，成为