663-第八章 UML与软件体系结构建模.ppt

UML用作体系结构描述语言 约束UML以支持软件体系结构建模 将UML看作是一种软件体系结构描述语言进行软件体系结构建模 利用UML的扩展机制约束UML元模型以支持软件体系结构建模的需要 对UML的元模型进行扩展，使其直接支持软件体系结构的概念 第一种方法最简单，其实质是利用现有的UML符号表示软件体系结构 UML用户能很容易地理解所建立的软件体系结构模型，并可以用与UML兼容的工具对其进行操纵 现有的UML结构无法和软件体系结构的概念显式地直接对应。因此，它们之间的对应关系必须由建模人员维护 第二种方法是使用带约束的UML进行软件体系结构建模 这种方法能显式地表示软件体系结构的约束，所建立的软件体系结构模型仍然可用标准的UML工具进行操纵，UML用户理解起来也比较容易 对OCL约束进行检查的工具还不是太多。 第三种方法是对UML的元模型进行扩展，这种扩展使UML能引入新的建模能力 可使UML中包含各种ADL所具有的优良特性，并且具有直接支持软件体系结构建模的能力 扩展后的概念不符合UML标准，因而与UML工具不兼容 “到底什么是软件体系结构”这个问题上还存在着争议，更不用说在“如何使用UML进行软件体系结构建模” 为评估UML对软件体系结构建模的支持程度，下面用UML以与专门的体系结构描述语言ADL相同的方式进行应用程序的软件体系结构建模 评价UML的软件体系结构建模能力 将之与ADL的软件体系结构建模能力进行直接比较 会议的发起者在安排会议时为了保证尽可能多的人参加，会向每个拟与会人员询问他们可以参加会议的日期(简称“选择集”)以及不能出席会议的日期(简称“排除集”) 会议的发起者也向素来表现积极的会议参与者征求有关会议方式、会议地点等方面的意见 会议发起者还向一些重要的会议参与者征求会议位置方面的其它问题 最后定的会议日期应该在会议发起者所指定的日期范围之内，且在任何一个排除集之外。理想情况下，它应在尽可能多的选择集之内。若无法找到满足这些条件的日期，那么称出现冲突 强冲突: 若在指定的日期范围内和所有的排除集之外都找不到满足条件的会议日期 弱冲突: 若能在指定的日期范围之内和所有的排除集之外但无法在所有选择集的交集内找到满足条件的日期 冲突可以通过如下几种方法解决： 让会议发起者扩大会议日期范围 让某些会议参与者扩大其选择集或缩小其排除集 让某些会议参与者不参加会议 C2风格要求构件之间只能通过消息传递的方式通信，而不能通过共享内存通信 一个C2体系结构是一个通过连接子将各并发构件连接在一起而构成的层次状网络。其中，每个构件所发送的通知消息应与其操作相对应，而不是与接收通知消息的构件的操作相对应 每个构件只知道位于其所在层之上的各构件所提供的服务，而不了解位于其所在层之下的各构件分别能提供什么服务。这就使体系结构中的一个高层构件可以具有不同的底层构件 C2 SADL是一个支持按照C2风格进行软件体系结构建模的一种体系结构描述语言 用C2 SADL对会议调度者问题进行体系结构建模，目的是为了体会按照C2风格规则进行体系结构分解的细微之处，同时也作为评价相应UML模型的基础 MeetingInitiator构件仅通过上面的端口和体系结构的其它部分进行通信，它在behavior部分的startup段说明启动计算请求 每个Attendee-N和ImportantAttendee-N构件从Initiator接收会议调度请求，并且向它发送合适的信息。这两种类型的构件仅通过下面的端口和体系结构的其它部分进行通信 ImportantAttendee是Attendee构件的一个特化，它具有Attendee的所有功能并且增加了对会议地点进行选择的规约 MeetingScheduler的软件体系结构对应的文本描述如下: UML提供了用来对软件构件、构件之间接口以及它们在主机上配置情况等进行建模的各种符号。但这些内部预定义符号并不适合于体系结构层构件的描述，其原因在于它们的抽象程度不是太高就是太低 UML构件可以有任意数目的接口，其内部结构也可以千变万化，但体系结构的构件必须满足某些规则或约束 将UML作为一种ADL进行软件体系结构建模的关键是要确保UML设计既要受UML中现有建模特征的约束，也要受ADL自身所具有的特征的约束 利用UML进行体系结构建模的第二种方法是用OCL对UML元模型中的现有元类施加某些约束。这种方法需要： 从UML元模型中选择一个或多个元类，使它们适合充当给定的ADL建模结构 定义一个能应用于这些元类的衍型，目的是将这些元类的语义约束为相关ADL特征所具有的语义 该方法把UML看作是一种能为支持特定体系结构需求而进行扩展的核心符号 这和元模型扩展是不同的：通过UML提供的扩展机制对其