状态图和活动图.pptVIP

8.2.6动作【例8.2】进入动作和退出动作的例子。entry/setMode(onTrack)exit/setMode(offTrack)第30页，共54页，星期日，2025年，2月5日8.3状态图的工具支持□对状态图的工具支持包括两方面的内容：正向工程和逆向工程。正向工程指的是根据和状态图生成代码，逆向工程指的是从源代码逆向得到状态图。第31页，共54页，星期日，2025年，2月5日8.4什么是活动图□活动图是对系统的动态行为建模的5个图之一。在OMT、Booch、OOSE方法中并没有活动图的概念，UML中的活动图的概念是从别的方法中借鉴来的。与JimOdell的事件图、Petri网、SDL建模技术等类似，活动图可以用于描述系统的工作流程和并发行为。活动图其实可看作状态图的特殊形式，活动图中一个活动结束后将立即进入下一个活动（在状态图中状态的转移可能需要事件的触发）。第32页，共54页，星期日，2025年，2月5日8.5活动图中的基本概念□下面讨论活动图中的几个基本概念：①活动②泳道③分支④分叉和汇合⑤对象流第33页，共54页，星期日，2025年，2月5日8.5.1活动□活动（activity）表示的是某流程中的任务的执行，它可以表示某算法过程中语句的执行。□在活动图中需要注意区分动作状态和活动状态这两个概念。第34页，共54页，星期日，2025年，2月5日8.5.1活动□动作状态是原子的，不能被分解，没有内部转移，没有内部活动、动作状态的工作所占用的时间是可忽略的。动作状态的目的是执行进入动作（entryaction），然后转向另一个状态。□活动状态是可分解的，不是原子的，其工作的完成需要一定的时间。可以把动作状态看作是活动状态的特例。第35页，共54页，星期日，2025年，2月5日8.5.2泳道□泳道（swimlane）是活动图中的区域划分，根据每个活动的职责对所有活动进行划分，每个泳道代表一个职责区。泳道和类并不是一一对应的关系，泳道关系的是其所代表的职责，一个泳道可能由一个类实现，也可能由多个类实现。第36页，共54页，星期日，2025年，2月5日8.5.2泳道图8.13泳道第37页，共54页，星期日，2025年，2月5日8.5.3分支□在活动图中，对于同一个触发时间，可以根据不同的警戒条件转向不同的活动，每个可能的转移是一个分支（branch）。第38页，共54页，星期日，2025年，2月5日状态图和活动图第1页，共54页，星期日，2025年，2月5日8.1什么是状态图○定义：用于描述一个对象在其生存期间的动态行为，表现一个对象所经历的状态序列，引起状态转移的事件，以及因状态转移而伴随的动作。图8.1状态图的例子第2页，共54页，星期日，2025年，2月5日8.1什么是状态图○动作与状态相关VS动作与转移相关所有的动作与状态相关：称这个状态机为Moore机所有的动作与转移相关：称这个状态机为Mealy机理论上证明：Moore机和Mealy机在表示能力上是等价的第3页，共54页，星期日，2025年，2月5日8.1什么是状态图○状态图应该在具有以下两个特性的属性上建模□属性拥有较少的可能取值□属性在这些值之间的转移有一定的限制例如：如果类SellableItem有两个属性salePrice和status，①salePrice类型为Money，正实数。②status枚举类型，取值received、inInspection、accepted、rejected。√第4页，共54页，星期日，2025年，2月5日8.2状态图中的基本概念○状态：指在对象的生命期中的某个条件或状况，在此期间对象将满足某些条件、执行某些活动或等待某些事件。状态名进入/退出动作内部转移子状态延迟事件图8.2状态的例子第5页，共54页，星期日，2025年，2月5日8.2.2组合状态和子状态□嵌套在另一个状态中的状态称作子状态（substate），一个含有子状态的状态被称作组合状态（compositestate）。如图8.3所示是组合状态和子状态的例子，其中W是组合状态，E、F是子状态。第6页，共54