I第九章-面向对象模型与Powerdesigner实现课件.ppt

1、清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4第九章第九章 面向对象模型及面向对象模型及PowerdDesigner实现实现(教学：教学：4学时，上机：学时，上机：4学时学时)应用软件系统应用软件系统部署图Deployment Diagram组件图Component Diagram交互纵览图Interaction Overview Diagarm状态图State Chart Diagram活动图Activity Diagram通信图Communication Diagram时序图Sequence

2、Diagram包图Package Diagram组合结构图Composite Structure Diagram对象图Object Diagram类图Class Diagram用例图Use Case Diagram面向对象模型面向对象模型应用程序代码应用程序代码清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.49.1 面向对象模型概述面向对象模型概述 图形类型图形类型图形名称图形名称图形类型图形类型图形名称图形名称用例图用例图Use case diagram(用例图用例图)动态图动态图Communic

3、ation diagram(通信图通信图)结构图结构图Class diagram(类图类图)Sequence diagram(时序图时序图)Composite structure diagram(组合结构图组合结构图)Statechart diagram(状态图状态图)Object diagram(对象图对象图)Activity diagram(活动图活动图)Package diagram(包图包图)Interaction overview diagram(交互纵览图交互纵览图)实现图实现图Component diagram(组件图组件图)Deployment diagram(部署图部署图)P

4、owerDesigner支持的支持的12种种UML图形图形 清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.49.1 面向对象模型概述面向对象模型概述 清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 9.2.1类和对象类和对象 9.2.2继承继承 9.2.3封装和接口封装和接口 9.2.4多态性多态性 9.2.5消息传递消息传递 9.2.6关联关联 9.2.7聚合和组合聚合和组合9.2 面向对象的主要概念

5、面向对象的主要概念清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 参与者和用例参与者和用例 模型对象之间的关系模型对象之间的关系 9.3 功能模型的设计功能模型的设计 清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.49.3 功能模型的设计功能模型的设计 清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.49.4

6、结构模型的设计结构模型的设计组合结构图组合结构图包图包图清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 1.类的特性类的特性 2.泛型泛型 3.组合类与内部类组合类与内部类9.4.1 类类组合类元组合类元内部类元内部类元组合类元的类图组合类元的类图Browser窗口中的组合类元窗口中的组合类元组合类与内部类元显示在同一层组合类与内部类元显示在同一层Inner link清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.4

7、2010.4 4.为数据类型附加类元为数据类型附加类元 5.关联和继承的迁移关联和继承的迁移9.4.1 类类类类Employee和和Company的关联及类的关联及类Employee生成的代码生成的代码public class Employee public string name;public string department;public company hires;类类Developer和和Employee间的继承关系间的继承关系清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 每个包中可以

8、包含一组模型元素、图形和包。每个包中可以包含一组模型元素、图形和包。包中的模型元素名称必须唯一。包中的模型元素名称必须唯一。引用包中的模型元素格式引用包中的模型元素格式:“包名包名:包中的元素包中的元素”，如，如Tools:Hammer 包之间的依赖关系表示两个包中的模型元素之间至少存在包之间的依赖关系表示两个包中的模型元素之间至少存在一种依赖，并不表示每对元素都有依赖关系。一种依赖，并不表示每对元素都有依赖关系。9.4.2 包包清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 接口是一组类的外部可

9、视操作的集合。接口是一组类的外部可视操作的集合。接口接口Designated通过类通过类Employee实现。实现。9.4.3 接口接口清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.49.4.4 对象对象:Callernamesex=张三=trueb):Callera)c)Lift reciever:Caller:ReceiverRinging tonea)通信图中的对象通信图中的对象 b)对象图中的对象对象图中的对象 c)时序图中的对象时序图中的对象 如果对象不是某个类的实例，它仅只有名称；如果对

10、象不是某个类的实例，它仅只有名称；如果对象是一个类的实例，但实际代表的是该类的所有实如果对象是一个类的实例，但实际代表的是该类的所有实例，那么它有分类但没有名称例，那么它有分类但没有名称(匿名对象匿名对象)；如果对象是类的一个实例，它既有名称，又有分类。如果对象是类的一个实例，它既有名称，又有分类。清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.49.4.5 部件和端口部件和端口 部件只能在类或组件的内部产生部件只能在类或组件的内部产生，通过连接器与其它部，通过连接器与其它部件或端口相连。件或端口相连

11、。端口建立在类的表面，表示类与其所在环境或类与其内部端口建立在类的表面，表示类与其所在环境或类与其内部部件之间的不同交互点部件之间的不同交互点。组件结构图中类通过端口和内部部件交互组件结构图中类通过端口和内部部件交互组件图中使用端口描述部件之间的连接关系组件图中使用端口描述部件之间的连接关系清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 属性描述了类或接口的特征，类的属性名称必须互不相同，属性描述了类或接口的特征，类的属性名称必须互不相同，接口中的属性必须是静态的接口中的属性必须是静态的(Stat

12、ic)和不可变的和不可变的(Frozen)。标识符标识符(Identifier)是类中能够唯一标识每个实例的一个或几是类中能够唯一标识每个实例的一个或几个属性的集合，每个类至少应该有一个标识符。个属性的集合，每个类至少应该有一个标识符。操作操作(Operations)是类能够执行的动作，拥有一个名称和参是类能够执行的动作，拥有一个名称和参数列表。数列表。9.4.7 属性、标识符、操作属性、标识符、操作 类类Car清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 关联关联用来描述类之间或类和接口之间的

13、连接关系。用来描述类之间或类和接口之间的连接关系。二元关联二元关联和和自反关联自反关联 聚合聚合 组合组合 关联类关联类9.4.10关联关联二元关联和自反关联二元关联和自反关联二元关联二元关联多重性多重性角色名角色名自反关联自反关联HiresHires0.10.10.0.*0.10.1managesmanages0.0.*is managedis managedCompanyCompanyEmployeeEmployeeSuperviseSupervise聚合关联聚合关联组合关联组合关联关联类关联类清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerD

14、esigner实现实现 2010.42010.4 具有普遍性的模型对象与具具有普遍性的模型对象与具有特殊性的模型对象之间存有特殊性的模型对象之间存在在泛化泛化关系。关系。依赖依赖描述两个模型元素之间描述两个模型元素之间的依存关系，一个模型元素的依存关系，一个模型元素(提供者提供者)的变化将影响另一的变化将影响另一个模型元素个模型元素(客户客户)的变化，的变化，用带箭头的虚线表示，箭头用带箭头的虚线表示，箭头的方向指向提供者。的方向指向提供者。版型版型(Stereotype)，能够表，能够表达不同的依赖关系。达不同的依赖关系。9.4.11 泛化与依赖泛化与依赖类间与组件间的泛化关系类间与组件间的

15、泛化关系版型版型含义含义语义说明语义说明访问访问一个包能够访问另一个包一个包能够访问另一个包绑定绑定为模板参数指定一个值，以生为模板参数指定一个值，以生成一个新的模型元素成一个新的模型元素调用调用一个类的方法调用其它类的操一个类的方法调用其它类的操作作派生派生一个实例可以从另一个实例通一个实例可以从另一个实例通过计算得到过计算得到实例化实例化表明一个类创建另一个类的实表明一个类创建另一个类的实例例精化精化目标对象比源对象更加精细目标对象比源对象更加精细跟踪跟踪在历史上，源对象和目标对象在历史上，源对象和目标对象之间存在连接之间存在连接使用使用一个模型元素使用另一个模型一个模型元素使用另一个模型

16、元素，包括调用、实例化元素，包括调用、实例化等等依赖的常见版型及含义依赖的常见版型及含义 清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 需求链接需求链接把类或组件与接口连接起来，用一端带有圆弧的把类或组件与接口连接起来，用一端带有圆弧的线段表示。线段表示。实现关系实现关系在类或组件中说明接口中方法的实现细节，用带在类或组件中说明接口中方法的实现细节，用带闭合三角形箭头的虚线表示，箭头指向接口。闭合三角形箭头的虚线表示，箭头指向接口。9.4.14需求连接与实现需求连接与实现组件图中的需求链接和实现

17、关系组件图中的需求链接和实现关系需求链接需求链接实现关系实现关系接口接口实现关系实现关系清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 装配连接器装配连接器(Assembly Connector)Assembly Connector)描述类中内部部件之间描述类中内部部件之间的通信路径，反映部件之间提出请求并提供服务的关系。的通信路径，反映部件之间提出请求并提供服务的关系。委托连接器委托连接器(Delegation Connector)(Delegation Connector)描述类中部件描述类中

18、部件(Part)(Part)与类表面的端口之间的通信路径，反映部件与端口之间提与类表面的端口之间的通信路径，反映部件与端口之间提出请求并提供服务的关系。出请求并提供服务的关系。9.4.15 装配连接器和委托连接器装配连接器和委托连接器组件图中装配连接器和委托连接器组件图中装配连接器和委托连接器委托连接器装配连接器清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 对象图中的实例链接对象图中的实例链接由类图中的关联转换而来，用两个对由类图中的关联转换而来，用两个对象之间的一条实线表示，也可以表示聚合或组

19、合。象之间的一条实线表示，也可以表示聚合或组合。通信图中的实例链接通信图中的实例链接上附有多个消息，序号说明在对象之上附有多个消息，序号说明在对象之间相互交换的消息的顺序。间相互交换的消息的顺序。9.4.16 实例链接实例链接通信图中的实例链接通信图中的实例链接实例链接实例链接清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 动态模型动态模型描述软件的动态行为。描述软件的动态行为。通信图通信图(Communication Diagram)时序图时序图(Sequence Diagram)活动图活动图(

20、Activity Diagram)状态图状态图(Statechart Diagram)交互纵览图交互纵览图(Interaction Overview Diagram)9.5 动态模型的设计动态模型的设计清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.41.通信图通信图 通信图可以是用例的一个场景、一个操作的执行过程和类通信图可以是用例的一个场景、一个操作的执行过程和类间的简单交互。重点描述对象间的静态链接关系，消息的间的简单交互。重点描述对象间的静态链接关系，消息的序号表示时间顺序。序号表示时间顺序。

21、建立通信图的重点是找到系统中的对象，并描述用例的活建立通信图的重点是找到系统中的对象，并描述用例的活动步骤。动步骤。边界对象边界对象:可能是窗口、对话框或菜单。可能是窗口、对话框或菜单。实体对象实体对象:表示存储的数据。表示存储的数据。控制对象控制对象:表示信息的传递。表示信息的传递。9.5 动态模型的设计动态模型的设计打电话过程的通信图打电话过程的通信图清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.42.时序图时序图 时序图描述若干对象之间的动态协作关系，说明对象之间时序图描述若干对象之间的动态协

22、作关系，说明对象之间发送消息发送消息(Message)的先后顺序，系统执行过程中，在某的先后顺序，系统执行过程中，在某一具体位置将会发生什么事件。一具体位置将会发生什么事件。主要用途：表示用例中的行为顺序。主要用途：表示用例中的行为顺序。9.5 动态模型的设计动态模型的设计打印文件的时序图打印文件的时序图清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 Client处理订单处理订单 时序图。时序图。时序图用于展示时序图用于展示场景，可以说明场景，可以说明可选的或并行的可选的或并行的场景，描述多个场景

23、，描述多个相关的交互的时相关的交互的时间顺序间顺序。时序图示例时序图示例9.5 动态模型的设计动态模型的设计清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 通信图与时序图比较：通信图与时序图比较：通信图通信图着重体现交互对着重体现交互对象间的静态链接关系。象间的静态链接关系。时序图时序图着重体现交互的着重体现交互的时间顺序。时间顺序。通信图通信图时序图时序图9.5 动态模型的设计动态模型的设计清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesign

24、er实现实现 2010.42010.43.活动图活动图 活动图用来描述用例、包、类等模型元素的动态活动图用来描述用例、包、类等模型元素的动态行为，强调活动或动作执行以后所触发的转换。行为，强调活动或动作执行以后所触发的转换。一个起点一个起点 几个可能的终点几个可能的终点 可以使用条件分支可以使用条件分支9.5 动态模型的设计动态模型的设计手动档汽车发动过程的活动图手动档汽车发动过程的活动图表示开始点表示开始点表示结束点表示结束点表示活动表示活动表示对象节点表示对象节点表示流表示流表示判断表示判断表示同步表示同步表示泳道表示泳道 清华大学出版社清华大学出版社 软件分析建模与软件分析建模与Powe

25、rDesignerPowerDesigner实现实现 2010.42010.4 组合活动组合活动(Composite activity)判断判断(Decision)输入输入/输出参数输出参数 同步同步(Synchronization)系统登录的活动图系统登录的活动图9.5 动态模型的设计动态模型的设计清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.44.状态图状态图 状态图用于描述一个类或组件所有可能的状态及状态之间状态图用于描述一个类或组件所有可能的状态及状态之间的转换情况。的转换情况。同一个类可以

26、创建多个状态图，每个状态图描述各自状态同一个类可以创建多个状态图，每个状态图描述各自状态及转换情况。及转换情况。状态图可以为每一个状态指定一个类、组件或用例，并与状态图可以为每一个状态指定一个类、组件或用例，并与之关联。之关联。9.5 动态模型的设计动态模型的设计围棋博弈过程的状态图围棋博弈过程的状态图清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.45.交互纵览图交互纵览图 交互纵览图可以看作多种动态模型图的综合视图，它可以交互纵览图可以看作多种动态模型图的综合视图，它可以包含时序图、通信图、活动图

27、和状态图等。它用来描述动包含时序图、通信图、活动图和状态图等。它用来描述动态图形之间的相互关系。态图形之间的相互关系。9.5 动态模型的设计动态模型的设计表示开始点表示开始点表示结束点表示结束点表示交互活动，表示交互活动，表示判断表示判断表示同步表示同步 交互纵览图示例交互纵览图示例清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 消息消息是对象之间进行通信的唯一途径是对象之间进行通信的唯一途径,由发送者、接受者由发送者、接受者和行为三部分组成。和行为三部分组成。消息可以是同步的、异步的，也可以是递

28、归消息。消息可以是同步的、异步的，也可以是递归消息。在时序图和通信图中，可以重用同一个消息。在时序图和通信图中，可以重用同一个消息。通信图中，消息和一个实例连接相关联通信图中，消息和一个实例连接相关联。时序图中的消息能够表示对象时序图中的消息能够表示对象(或参与者或参与者)之间的控制流，之间的控制流，还能定义消息等待的语义。还能定义消息等待的语义。9.5.1 消息消息通信图中的消息通信图中的消息清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4消息的属性消息的属性属属 性性说说 明明Sequence

29、number表示消息的序列号表示消息的序列号Stereotype表示消息版型表示消息版型Sender表示消息发送者表示消息发送者Receiver表示消息接收者表示消息接收者Action消息动作的类型，包括：消息动作的类型，包括：Create、Destroy、Self-Destroy三种类型。三种类型。Control flow消息发送模式，包括：消息发送模式，包括：Asynchronous、Procedure Call、Return、Undefined等四种类型。等四种类型。Operation表示消息与一个类的操作的连接。表示消息与一个类的操作的连接。Arguments操作的参数操作的参数Ret

30、urn value操作的返回值操作的返回值Predecessor list由紧跟着由紧跟着“/“的序列号列表组成，表示当前消息发送之前哪些消息必的序列号列表组成，表示当前消息发送之前哪些消息必须交换。须交换。Condition附在消息上的条件，用布尔表达式定义。附在消息上的条件，用布尔表达式定义。Begin time、End time开始或结束的时间别名，用来定义时间约束。开始或结束的时间别名，用来定义时间约束。Support delay定义消息延迟。定义消息延迟。9.5.1 消息消息清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner

31、实现实现 2010.42010.4控制流控制流 Return控制流，让动作返回到发送者，显示精确控制流，让动作返回到发送者，显示精确返回时间以及为发送者返回一个值，以增加时序返回时间以及为发送者返回一个值，以增加时序图的易读性图的易读性。9.5.1 消息消息消息的发送和返回消息的发送和返回清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4Contrl flow和和Action的关系的关系 9.5.1 消息消息清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPower

32、Designer实现实现 2010.42010.4创建创建Create消息和消息和Destroy消息消息 9.5.1 消息消息Create消息消息Destroy消息消息Self-Destroy消息消息清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4创建递归消息创建递归消息 9.5.1 消息消息递归消息递归消息带激活器的递归消息带激活器的递归消息清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4消息和门消息和

33、门(gate)9.5.1 消息消息交互框架中的输入门和输出门交互框架中的输入门和输出门 CheckOrder订单校验的时序图订单校验的时序图清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4消息的序号消息的序号 时序图中的序号可由设计者任意指定时序图中的序号可由设计者任意指定 通信图中的序号由系统自动生成：通信图中的序号由系统自动生成：新产生消息的序号新产生消息的序号=上一个序号的尾数上一个序号的尾数+1 通信图中，修改、插入、增大减小消息序号，可通信图中，修改、插入、增大减小消息序号，可引起的消息序

34、号变化引起的消息序号变化9.5.1 消息消息a)b)c)消息序号变化规则消息序号变化规则a)最大序号改小规则最大序号改小规则 b)中间序号改小规则中间序号改小规则 c)中间序号改大规则中间序号改大规则清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 时序图中，使用表示一个动作执行所需的时间，时序图中，使用表示一个动作执行所需的时间，在对象的生命线上用一个矩形框表示。在对象的生命线上用一个矩形框表示。通信图中，同一个激活期中的消息用子序号表示。通信图中，同一个激活期中的消息用子序号表示。9.5.2 激

35、活期激活期激活期激活期(Activation)带有附加消息的激活期带有附加消息的激活期重叠的激活期重叠的激活期激活期上下移动的范围激活期上下移动的范围具有倾斜角的消息具有倾斜角的消息清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 在时序图中创建在时序图中创建交互引用交互引用(Interaction Reference)在交互纵览图中创建在交互纵览图中创建交互活动交互活动(Interaction Activity)在同一个图中可以创建多个交互引用。在同一个图中可以创建多个交互引用。不能在另一个图中复

36、制或重用交互引用。不能在另一个图中复制或重用交互引用。9.5.3 交互引用和交互活动交互引用和交互活动交互引用示例交互引用示例清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 交互片段交互片段(Interaction Fragment)：在时序图中对相：在时序图中对相关的消息进行分组，用来表示替换、并行消息或者关的消息进行分组，用来表示替换、并行消息或者循环。循环。9.5.3 交互引用和交互活动交互引用和交互活动可替换的交互片段可替换的交互片段清华大学出版社清华大学出版社 软件分析建模与软件分析建模

37、与PowerDesignerPowerDesigner实现实现 2010.42010.4 活动活动(Activity)是指系统中人工或自动的动作，是指系统中人工或自动的动作，当获得控制权后，开始执行动作，根据动作的当获得控制权后，开始执行动作，根据动作的结果，通过控制流转换或传递到另一个活动。结果，通过控制流转换或传递到另一个活动。9.5.5 活动活动活动图示例活动图示例清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 原子活动原子活动(Atuomic Activity)分解活动分解活动(Decom

38、posed Activity)可以把活动图转换成分解活动，在另一个活动图可以把活动图转换成分解活动，在另一个活动图中使用。中使用。浏览器中的分解活动浏览器中的分解活动9.5.5 活动活动清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4活动的特性活动的特性9.5.5 活动活动清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4活动的参数活动的参数 活动之间的信息传送是通过活动之间的信息传送是通过活动参数活动参数

39、实现的。活实现的。活动参数分为输入参数和输出参数，用活动图形符动参数分为输入参数和输出参数，用活动图形符号边缘上的一个小方块表示。号边缘上的一个小方块表示。活动的参数传递活动的参数传递9.5.5 活动活动清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4活动的动作类型活动的动作类型 9.5.5 活动活动清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 流流(Flow)：是两个活动间的连接，是活动间传输：是两

40、个活动间的连接，是活动间传输信息的路径。根据流上定义的条件对流进行控制，信息的路径。根据流上定义的条件对流进行控制，若条件为真，则向下传递。若条件为真，则向下传递。活动到对象节点的流活动到对象节点的流：活动的执行使对象处于一：活动的执行使对象处于一种特定的状态。当发生特定的事件或满足条件时，种特定的状态。当发生特定的事件或满足条件时，控制流从活动传递到对象节点。控制流从活动传递到对象节点。对象节点到活动的流对象节点到活动的流：活动在执行过程中使用对：活动在执行过程中使用对象的特定状态。流用带箭头的线段表示。象的特定状态。流用带箭头的线段表示。两个对象之间的流两个对象之间的流 9.5.6 流流清

41、华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4两个对象之间建立流两个对象之间建立流 9.5.6 流流清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 转换转换(Transition)：表示状态间的有向连接，包括表示状态间的有向连接，包括相关事件、条件以及要执行的动作相关事件、条件以及要执行的动作。对象之间建立转换情况对象之间建立转换情况 9.5.7 转换转换状态间的转换示例状态间的转换示例清华大学出版社清

42、华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 起始点起始点(Start)：表示整个过程的开始表示整个过程的开始 结束点结束点(End)：表示整个过程的终止：表示整个过程的终止 在活动图、状态图和交互纵览图中只允许有一个在活动图、状态图和交互纵览图中只允许有一个起始点，但可以有多个结束点。起始点，但可以有多个结束点。9.5.8 起始点与结束点起始点与结束点结束点示例结束点示例清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010

43、.4 判断判断(Decision)：在活动图、交互纵览图中可以：在活动图、交互纵览图中可以有多个输入和多个输出，每个输出根据守护条件有多个输入和多个输出，每个输出根据守护条件选择不同的路径。选择不同的路径。条件分支条件分支(Conditional Branch)合并合并(Merge)9.5.9 判断判断条件分支条件分支条件分解条件分解合并示例合并示例清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 同步同步(Synchronization)：在活动图、交互纵：在活动图、交互纵览图中能实现两个或多个并

44、发动作的分解或览图中能实现两个或多个并发动作的分解或同步控制。同步控制。分叉分叉(Fork)结合结合(Join)9.5.10 同步同步同步的类型同步的类型清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 组织单元组织单元(Organization Unit)：在活动图中强调：在活动图中强调哪个组织单元对活动负责。哪个组织单元对活动负责。组织单元泳道上可附加或分离活动。委员会活动委员会活动(Committee Activity)组织单元泳道的管理：组织单元泳道的管理：可移动、调整、删除、复制和粘贴，也

45、可改变显示方式。9.5.11 组织单元组织单元委员会活动的显示委员会活动的显示清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 对象节点对象节点：在活动图中代表特定状态的对象。：在活动图中代表特定状态的对象。活动活动对象节点对象节点：表示活动的执行使对象达到某个特定的状态，对象节点表示活动的结果；对象节点对象节点活动活动：表示活动在执行时使用对象的特定状态。活动活动对象节点对象节点活动活动，表示两个活动之间交换数据。9.5.12 对象节点对象节点通过对象节点数据交换通过对象节点数据交换清华大学出版社

46、清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 状态状态(State)：表示对象在其生命期中所处的一种表示对象在其生命期中所处的一种状况，对象处于某种状态需要满足一定的条件，状况，对象处于某种状态需要满足一定的条件，或执行某种活动，或等待某种事件。或执行某种活动，或等待某种事件。原子状态原子状态 分解状态分解状态 可以把一个状态图转换成分解状态可以把一个状态图转换成分解状态9.5.13 状态状态浏览器中的分解状态浏览器中的分解状态清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesigne

47、rPowerDesigner实现实现 2010.42010.4 事件事件(Event)：在状态图中引起状态变化，通过参：在状态图中引起状态变化，通过参数向特定的状态传递信息。数向特定的状态传递信息。形参形参(Argument)实参实参(Event Parameter)9.5.14 事件事件事件示例事件示例清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 动作动作(Action)：在状态图中可以为活动定义一系：在状态图中可以为活动定义一系列动作，用双轮符号表示列动作，用双轮符号表示。每个动作应包含每个

48、动作应包含触发事件触发事件(Trigger Event)，预定，预定义义 entry、do、exit。动作可定义附加条件动作可定义附加条件 9.5.15 动作动作浏览器窗口显示的动作浏览器窗口显示的动作动作的条件动作的条件清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 在状态上可以附加事件和动作，执行的动作不会在状态上可以附加事件和动作，执行的动作不会引起状态的改变，一个状态可以执行多个动作。引起状态的改变，一个状态可以执行多个动作。在转换在转换(Transation)上也可附加事件和动作，表上也

49、可附加事件和动作，表示事件发生时触发动作，并使状态发生变化。在示事件发生时触发动作，并使状态发生变化。在转换上只能附加一个动作。转换上只能附加一个动作。状态上的动作应该包含触发事件，而转换上的动状态上的动作应该包含触发事件，而转换上的动作不包含触发事件。作不包含触发事件。9.5.15 动作动作附加在状态和转换上的动作附加在状态和转换上的动作清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4 状态结合点状态结合点(Junction point)：用来合并或分解转用来合并或分解转换的路径。换的路径。两个相

50、反方向的转换可以连接到一个结合点上。两个相反方向的转换可以连接到一个结合点上。9.5.16 状态结合点状态结合点状态图中的结合点状态图中的结合点清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.41.组件图组件图:通过接口表现组件的功能，使用泛化、依赖、实通过接口表现组件的功能，使用泛化、依赖、实现、需求连接、组装连接器和委托连接器等描述现、需求连接、组装连接器和委托连接器等描述相互之间的连接关系。相互之间的连接关系。常见的组件有源代码组件、二进制组件和可执行常见的组件有源代码组件、二进制组件和可执行组