系统动态分析与行为模型.ppt

第第6章章 系统动态分析与行为模型系统动态分析与行为模型概述概述动态分析动态分析序列图等序列图等需求捕获需求捕获用例图用例图静态分析静态分析类图、对象图类图、对象图概述概述 动态分析模型描述系统的动态行为，显示对象在系统动态分析模型描述系统的动态行为，显示对象在系统运行期间不同时刻的动态交互，主要是建立系统的运行期间不同时刻的动态交互，主要是建立系统的交互图交互图和和行为图行为图。概述概述 交互图交互图对象之间的合作在UML里被称作交互。交互体现了对象之间的作用、对象之间的联系。序列（顺序、时序）图（Sequence Diagram）协作图（Collabboration Diagram）概述概述 行为图行为图主要用来设计程序的行为。状态图（Statechart Diagram）活动图（Activity Diagram）概述概述序列图协作图状态图活动图动态分析模型包括下列模型图：动态分析模型包括下列模型图：概述概述序列图序列图序列图序列图:注重表达交互作用的时间顺序，没有明确表示对象间的关系。（对象之间对象之间的交互或对象外部的交互行为）协作图：协作图：协作图：协作图：协作图注重表示对象间的关系，时间顺序可以从消息的序号中获得。状态图：状态图：状态图：状态图：状态图主要描述系统行为的结果。（表示对象内部对象内部的状态变化）活动图：活动图：活动图：活动图：活动图主要描述系统动态行为的过程。状态图状态图日常生活中，事物状态的变化无处不在。面向对象分析与设计中，对象的状态、状态的转换、触发状态转换的事件、对象对事件的响应(即事件的行为)等都可以用状态图来描述。状态图状态图状态图通过建立类对象的生命周期模型来描述对象随时间变化的动态行为。状态图状态图状态图（statechart diagram）：用来描述一个特定的对象所有可能的状态，以及由于各种事件的发生而引起状态之间的转移和变化。一个机器的状态图状态图的作用状态图的作用状态图清晰地描述了状态转换时所必须触发的事件、监护条件和动作等影响转换的因素，有利于程序员避免程序中非法事件的进入。状态图清晰地描述了状态之间的转换顺序，通过状态的转换顺序可以清晰看出事件的执行顺序。清晰的时间顺序有利于程序员在开发程序时避免出现事件错序的情况。状态图通过判定可以更好地描述工作流因为不同的条件发生的分支。状态图的构成要素状态图的构成要素状态图：状态图：由状态、转换、判定、同步、事件等组成：状态图状态图-状态状态 状态指的是对象在其生命周期中的一种状况，处于某个特定状态中的对象必然会满足某些条件、执行某些动作或者是等待某些事件。状态用于对实体在其生命周期的各种状况进行建模，一个实体总是在有限的一段时间内保持一个状态。状态图状态图-状态状态状态图中的状态一般是给定对象中的一组属性值。这组属性值是对象所有属性的子集。若对象的任何一个属性值都是一个状态，全部的状态构成一个庞大的状态空间。事实上，并非状态空间的每一个状态都是值得关注的。在对系统建模时，我们只关心那些明显影响对象行为的属性，以及由它们表达的对象状态，而不理睬那些与对象行为无关的状态。状态图状态图-状态状态例：飞机对象所有飞机的属性值的笛卡儿积构成了“飞机”对象庞大的状态空间飞机每飞行飞机每飞行1km1km，就处，就处于一个全新的状态于一个全新的状态 飞机每使用飞机每使用1 1年就会处年就会处于一个新的状态于一个新的状态状态图状态图-状态状态 显然，列出对象的全部状态并绘制状态图是不现实的（也没有必要）。建模的时候只需要考虑与对象当前行为有关的属性状态即可。状态图状态图-状态状态 对对“飞机飞机”对象来说对象来说：累计飞行10000km与15000km在行为上并无实质性的区别建模时，也许系统关心的只是飞机的当前使用状况，如飞行、着陆、机场停放、维修和报废等。可以根据飞机使用的几种情况将建立状态图，其中可以建立“飞行”、“着陆”、“机场停放”、“维修”、“报废”等几种状态。状态图的状态图的UMLUML表示表示 初始状态终止状态简单状态添加动作的状态状态图的状态图的UMLUML表示表示 1.1.状态名状态名状态名状态名 状态名指的是状态的名字。2.2.初始状态初始状态初始状态初始状态 每个状态图都应该有一个初始状态，它代表状态图的起始位置。初始状态是一个伪状态（一个和普通状态有链接的假状态），对象不可能保持在初始状态。在UML中一个状态图只能有一个初始状态。状态图的状态图的UMLUML表示表示 3.3.终止状态终止状态终止状态终止状态 终止状态是一个状态图的终点，一个状态图可以拥有一个或者多个终止状态。对象可以保持在终止状态，但终止状态不可能有任何形式的触发转换。有些特殊的状态图，可以没有终止状态。状态图的状态图的UMLUML表示表示 4.4.入口动作和出口动作入口动作和出口动作入口动作和出口动作入口动作和出口动作 在特定的状态下对象可执行的动作包括：1.entry/EntryAction 进入状态时执行的动作 2.do/DoAction 状态激活时一直执行的动作 3.exit/ExitAction 离开状态时执行的动作状态图的状态图的UMLUML表示表示 5.5.组合状态组合状态组合状态组合状态 嵌套在另外一个状态中的状态称之为子状态（sub-state），一个含有子状态的状态被称作组合状态（Compound States）。状态图的状态图的UMLUML表示表示 5.5.历史状态历史状态历史状态历史状态 历史状态是一个伪状态，其目的是记住从组合状态中退出时所处的子状态，当再次进入组合状态，可直接进入这个子状态，而不是再次从组合状态的初态开始。状态图的状态图的UMLUML表示表示 5.5.历史状态历史状态历史状态历史状态 历史状态分为两种：浅历史状态 只记住最外层组合状态历史浅历史状态 可以记录任意深度的组合状态的历史。状态图的状态图的UMLUML表示表示 6.6.同步（并发）同步（并发）同步（并发）同步（并发）同步是为了说明并发工作流的分支与汇合。状态图的状态图的UMLUML表示表示 7.7.判定判定判定判定 有判定示例有判定示例无判定示例无判定示例状态图的状态图的UMLUML表示表示 7.7.判定判定判定判定 状态图的状态图的UMLUML表示表示 7.7.事件事件事件事件 一个事件的发生能触发状态的转换。UML中的事件有：调用事件、信号事件、改变事件、时间事件。事件事件 调用事件（CallEvent)调用事件至少涉及两个及以上的对象，一个对象请求调用另一个对象的操作。调用事件一般为同步调用，也可以是异步调用。如果调用者需等待操作的完成，则是同步调用，否则是异步调用。事件事件 信号事件（signalEvent)信号是作为两个对象之间的通信媒介的命名的实体，信号的接收是接收对象的一个事件。发送对象明确地创建并初始化一个信号实例并把它送到一个或一组对象。事件事件 改变事件(ChangeEvent)改变事件指的是依赖与特定属性值的布尔表达式所表示的条件满足时，事件发生改变。如：when(number申购交易银行折扣 申购交易-银行分行基金管理费 申购交易-基金库存单位数 申购交易 操作、属性归还所属类操作、属性归还所属类 操作、属性归还所属类操作、属性归还所属类 活动图活动图 活动图描述满足用例要求所要进行的活动以及活动间的约束关系，有利于识别并行活动。活动图是一种特殊的状态图，它对于系统的功能建模特别重要，强调对象间的控制流程。活动图是一种表述过程基理、业务过程以及工作流的技术。它可以用来对业务过程、工作流建模，也可以对用例实现甚至是程序实现来建模活动图活动图 活动图与流程图的区别活动图与流程图的区别流程图着重描述处理过程，它的主要控制结构是顺序、分支和循环，各个处理过程之间有严格的顺序和时间关系。活动图描述的是对象活动的顺序关系所遵循的规则，它着重表现 的是系统的行为，而非系统的处理过程。活动图能够表示并发活动的情形，而流程图不能。活动图是面向对象的，而流程图是面向过程的。活动图活动图 泳道 为了对活动的职责进行组织而在活动图中将活动状态分为不同的组称为泳道。在活动图中，每个活动只能明确地属于一个泳道，泳道明确地表示哪些活动是由哪些对象进行的。活动图实例活动图实例 活动图实例活动图实例