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

《I第九章面向对象模型与Powerdesigner实现课件.ppt》由会员分享，可在线阅读，更多相关《I第九章面向对象模型与Powerdesigner实现课件.ppt（62页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

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.49.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.41.类的特性类的特性 2.泛型泛型 3.组合类与内部类组合类与内部类9.4.1 类类组合类元组合类元内部类元内部类元组合类元的类图组合类元的类图Browser窗口中的组合类元窗口中的组合类元组合类与内部类元显示在同一层组合类与内部类元显示在同一层Inner link清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.44.为数

7、据类型附加类元为数据类型附加类元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 对象对象b)a)c)Lift reciever:Caller:ReceiverRinging tonea)通信图中的对象通信图中的对象 b)对象图中的对象对象图中的对象 c)时序图中的对象时序图中的对象如果对象不是某个类的实例，它仅只有名称；如果对象不是某个类的实例，它仅只有名称；如果对象是一个类的实例，但实际代表的是该类的所有实如果对

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

11、类与其内部部件之间的不同交互点部件之间的不同交互点。组件结构图中类通过端口和内部部件交互组件结构图中类通过端口和内部部件交互组件图中使用端口描述部件之间的连接关系组件图中使用端口描述部件之间的连接关系清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4属性描述了类或接口的特征，类的属性名称必须互不相同，属性描述了类或接口的特征，类的属性名称必须互不相同，接口中的属性必须是静态的接口中的属性必须是静态的(Static)和不可变的和不可变的(Frozen)。标识符标识符(Identifier)是类中能够唯一

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

13、组合组合关联类关联类9.4.10关联关联二元关联和自反关联二元关联和自反关联二元关联二元关联多重性多重性角色名角色名自反关联自反关联HiresHires0.10.10.*0.*0.10.1managesmanages0.*0.*is managedis managedCompanyCompanyEmployeeEmployeeSuperviseSupervise聚合关联聚合关联组合关联组合关联关联类关联类清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4具有普遍性的模型对象与具具有普遍性的模型对象与具

14、有特殊性的模型对象之间存有特殊性的模型对象之间存在在泛化泛化关系。关系。依赖依赖描述两个模型元素之间描述两个模型元素之间的依存关系，一个模型元素的依存关系，一个模型元素(提供者提供者)的变化将影响另一的变化将影响另一个模型元素个模型元素(客户客户)的变化，的变化，用带箭头的虚线表示，箭头用带箭头的虚线表示，箭头的方向指向提供者。的方向指向提供者。版型版型(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)描述类中部件描述类中部件(Part)(Part)与类表面的端口之间的通信路径，反映部件与端口之间提与类表面的端口之间的通信

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

19、说明在对象之上附有多个消息，序号说明在对象之间相互交换的消息的顺序。间相互交换的消息的顺序。9.4.16 实例链接实例链接通信图中的实例链接通信图中的实例链接实例链接实例链接清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4动态模型动态模型描述软件的动态行为。描述软件的动态行为。通信图通信图(Communication Diagram)时序图时序图(Sequence Diagram)活动图活动图(Activity Diagram)状态图状态图(Statechart Diagram)交互纵览图交互纵览图

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

21、。动步骤。边界对象边界对象:可能是窗口、对话框或菜单。可能是窗口、对话框或菜单。实体对象实体对象:表示存储的数据。表示存储的数据。控制对象控制对象:表示信息的传递。表示信息的传递。9.5 动态模型的设计动态模型的设计打电话过程的通信图打电话过程的通信图清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.42.时序图时序图 时序图描述若干对象之间的动态协作关系，说明对象之间时序图描述若干对象之间的动态协作关系，说明对象之间发送消息发送消息(Message)的先后顺序，系统执行过程中，在某的先后顺序，系统执行

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

23、清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4通信图与时序图比较：通信图与时序图比较：通信图通信图着重体现交互对着重体现交互对象间的静态链接关系。象间的静态链接关系。时序图时序图着重体现交互的着重体现交互的时间顺序。时间顺序。通信图通信图时序图时序图9.5 动态模型的设计动态模型的设计清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.43.活动图活动图 活动图用来描述用例、包、类等模型元素的动态行活动图用来

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

25、e 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 number表示消息的序列号表示消息的序列号Stereotype表示消息版型表示消息版型Sender表示消息表示消息发发

29、送者送者Receiver表示消息接收者表示消息接收者Action消息消息动动作的作的类类型，包括：型，包括：Create、Destroy、Self-Destroy三种三种类类型。型。Control flow消息消息发发送模式，包括：送模式，包括：Asynchronous、Procedure Call、Return、Undefined等四种等四种类类型。型。Operation表示消息与一个表示消息与一个类类的操作的的操作的连连接。接。Arguments操作的参数操作的参数Return value操作的返回操作的返回值值Predecessor list由由紧紧跟着跟着“/“的序列号列表的序列号列表

30、组组成，表示当前消息成，表示当前消息发发送之前哪些消息必送之前哪些消息必须须交交换换。Condition附在消息上的条件，用布附在消息上的条件，用布尔尔表达式定表达式定义义。Begin time、End time开始或开始或结结束的束的时间别时间别名，用来定名，用来定义时间约义时间约束。束。Support delay定定义义消息延消息延迟迟。9.5.1 消息消息清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4控制流控制流 Return控制流，让动作返回到发送者，显示精确控制流，让动作返回到发送者，显

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

32、Create消息消息Destroy消息消息Self-Destroy消息消息清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4创建递归消息创建递归消息 9.5.1 消息消息递归消息递归消息带激活器的递归消息带激活器的递归消息清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4消息和门消息和门(gate)9.5.1 消息消息交互框架中的输入门和输出门交互框架中的输入门和输出门 CheckOrder订单校验的时序图订

33、单校验的时序图清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4消息的序号消息的序号 时序图中的序号可由设计者任意指定时序图中的序号可由设计者任意指定通信图中的序号由系统自动生成：通信图中的序号由系统自动生成：新产生消息的序号新产生消息的序号=上一个序号的尾数上一个序号的尾数+1通信图中，修改、插入、增大减小消息序号，可通信图中，修改、插入、增大减小消息序号，可引起的消息序号变化引起的消息序号变化9.5.1 消息消息a)b)c)消息序号变化规则消息序号变化规则a)最大序号改小规则最大序号改小规则 b)

34、中间序号改小规则中间序号改小规则 c)中间序号改大规则中间序号改大规则清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4时序图中，使用表示一个动作执行所需的时间，时序图中，使用表示一个动作执行所需的时间，在对象的生命线上用一个矩形框表示。在对象的生命线上用一个矩形框表示。通信图中，同一个激活期中的消息用子序号表示。通信图中，同一个激活期中的消息用子序号表示。9.5.2 激活期激活期激活期激活期(Activation)带有附加消息的激活期带有附加消息的激活期重叠的激活期重叠的激活期激活期上下移动的范围激

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

36、出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4交互片段交互片段(Interaction Fragment)：在时序图中对：在时序图中对相关的消息进行分组，用来表示替换、并行消息或者相关的消息进行分组，用来表示替换、并行消息或者循环。循环。9.5.3 交互引用和交互活动交互引用和交互活动可替换的交互片段可替换的交互片段清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4活动活动(Activity)是指系统中人工或自动

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

38、分解活动浏览器中的分解活动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 流流清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4

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

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

43、，每个输出根据守护条件选择不同的路径。选择不同的路径。条件分支条件分支(Conditional Branch)合并合并(Merge)9.5.9 判断判断条件分支条件分支条件分解条件分解合并示例合并示例清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4同步同步(Synchronization)：在活动图、交互纵：在活动图、交互纵览图中能实现两个或多个并发动作的分解或览图中能实现两个或多个并发动作的分解或同步控制。同步控制。分叉分叉(Fork)结合结合(Join)9.5.10 同步同步同步的类型同步的类型

44、清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4组织单元组织单元(Organization Unit)：在活动图中强调：在活动图中强调哪个组织单元对活动负责。哪个组织单元对活动负责。组织单元泳道上可附加或分离活动。委员会活动委员会活动(Committee Activity)组织单元泳道的管理：组织单元泳道的管理：可移动、调整、删除、复制和粘贴，也可改变显示方式。9.5.11 组织单元组织单元委员会活动的显示委员会活动的显示清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesig

45、nerPowerDesigner实现实现 2010.42010.4对象节点对象节点：在活动图中代表特定状态的对象。：在活动图中代表特定状态的对象。活动活动对象节点对象节点：表示活动的执行使对象达到某个特定的状态，对象节点表示活动的结果；对象节点对象节点活动活动：表示活动在执行时使用对象的特定状态。活动活动对象节点对象节点活动活动，表示两个活动之间交换数据。9.5.12 对象节点对象节点通过对象节点数据交换通过对象节点数据交换清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4状态状态(State)：表示

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

47、递信息。数向特定的状态传递信息。形参形参(Argument)实参实参(Event Parameter)9.5.14 事件事件事件示例事件示例清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4动作动作(Action)：在状态图中可以为活动定义一系：在状态图中可以为活动定义一系列动作，用双轮符号表示列动作，用双轮符号表示。每个动作应包含每个动作应包含触发事件触发事件(Trigger Event)，预定，预定义义 entry、do、exit。动作可定义附加条件动作可定义附加条件 9.5.15 动作动作浏览器

48、窗口显示的动作浏览器窗口显示的动作动作的条件动作的条件清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4在状态上可以附加事件和动作，执行的动作不会在状态上可以附加事件和动作，执行的动作不会引起状态的改变，一个状态可以执行多个动作。引起状态的改变，一个状态可以执行多个动作。在转换在转换(Transation)上也可附加事件和动作，表上也可附加事件和动作，表示事件发生时触发动作，并使状态发生变化。在示事件发生时触发动作，并使状态发生变化。在转换上只能附加一个动作。转换上只能附加一个动作。状态上的动作应该包

49、含触发事件，而转换上的动状态上的动作应该包含触发事件，而转换上的动作不包含触发事件。作不包含触发事件。9.5.15 动作动作附加在状态和转换上的动作附加在状态和转换上的动作清华大学出版社清华大学出版社 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.4状态结合点状态结合点(Junction point)：用来合并或分解转用来合并或分解转换的路径。换的路径。两个相反方向的转换可以连接到一个结合点上。两个相反方向的转换可以连接到一个结合点上。9.5.16 状态结合点状态结合点状态图中的结合点状态图中的结合点清华大学出版社清华大学出版社

50、 软件分析建模与软件分析建模与PowerDesignerPowerDesigner实现实现 2010.42010.41.组件图组件图:通过接口表现组件的功能，使用泛化、依赖、实通过接口表现组件的功能，使用泛化、依赖、实现、需求连接、组装连接器和委托连接器等描述现、需求连接、组装连接器和委托连接器等描述相互之间的连接关系。相互之间的连接关系。常见的组件有源代码组件、二进制组件和可执行常见的组件有源代码组件、二进制组件和可执行组件。组件。9.6 实现模型的设计实现模型的设计房间预定系统组件图房间预定系统组件图表示组件表示接口表示端口表示部件 清华大学出版社清华大学出版社 软件分析建模与软件分析建模