软件体系结构4.pptVIP

第四章 软件体系结构描述 4.5 软件体系结构与UML ◇ OCL语法及语义 如面向对象程序设计语言一样，OCL表达式包括操作对象的操作符。 完整表达式的结果总是一个布尔值，即其值为true或false。 对象可以是OCL 聚集类的实例，集合和序列是OCL 聚集类的两个子类。 第四章 软件体系结构描述 4.5 软件体系结构与UML ◇ OCL语法及语义 在计算OCL表达式的上下文中，对象self是UML图的元素。可以从self对象使用点（dot）符号导航获得其它对象。例如： 如果self是具有属性a的类C，则self.a计算存储在a中的对象的值。 如果C与另一个类D具有称为assoc的一对多的关联关系，则self.assoc计算元素类型为D的集合的值。 如果D有属性b，则表达式self.assoc.b计算属于所有D的所有b组成的集合的值。 第四章 软件体系结构描述 4.5 软件体系结构与UML ◇ OCL语法及语义 第四章 软件体系结构描述 4.5 软件体系结构与UML ◇ OCL语法及语义 第四章 软件体系结构描述 4.5 软件体系结构与UML ◇ OCL语法及语义 第四章 软件体系结构描述 4.5 软件体系结构与UML ◇ 使用OCL举例：块处理器 在操作系统中一个更重要的部分是文件子系统,维护由用户创建的文件。块处理器是文件子系统中的一部分。文件存储中的文件由存储设备上的存储块构成，在计算机的操作中，文件被创建和删除，需要存储块的获取和释放。 为此，文件子系统维持一个未用块池，并保持对当前使用块的跟踪。当块从被删除文件释放时，它们通常被加入到等待进入未用块池的块队列中。 第四章 软件体系结构描述 4.5 软件体系结构与UML 下图显示了一些部件：未用块池、已用块池、等待队列。 ◇ 使用OCL举例：块处理器 第四章 软件体系结构描述 4.4 典型软件体系结构描述语言 ◇ C2对构件接口的描述 interface_requests ::= {request；} | null； ? interface_notifications ::= {notification；} | null； ? request ::= message_name(request_parameters) ? request_parameters ::= [to component_name][parameter_list] ? notification ::= message_name[parameter_list] 第四章 软件体系结构描述 4.4 典型软件体系结构描述语言 ◇ 会议安排系统的C2风格 第四章 软件体系结构描述 4.4 典型软件体系结构描述语言 ◇ C2对体系结构的描述 architecture MeetingScheduler is conceptual_components Attendee；ImportantAttendee；MeetingInitiator； connectors connector MainConn is message_filter no_filtering； connector AttConn is message_filter no_filtering； connector ImportantAttConn is message_filter no_filtering； architectural_topology connector AttConn connections top_ports Attendee； bottom_ports MainConn； connector ImportantAttConn connections top_ports ImportantAttendee； bottom_ports MainConn； connector MainConn connections top_ports AttConn；ImportantAttConn； bottom_ports MeetingInitiator； end MeetingScheduler； 第四章 软件体系结构描述 4.4 典型软件体系结构描述语言 ◇ C2对会议安排系统的描述 system MeetingScheduler_1 is architecture MeetingScheduler with Att