第8章 状况图和运动图.pptxVIP

第8章 状态图和活动图愉象款酣宜茵讣夺丰白廉籍美袖称琢朔童傻卓钟痞梧热茸渡蝇伶儡喀霸资第8章 状态图和活动图UML面向对象建模基础8.1 什么是状态图○ 定义：用于描述一个对象在其生存期间的动态行为，表现一个对象所经历的状态序列，引起状态转移的事件，以及因状态转移而伴随的动作。图8.1 状态图的例子滦洱毗秉诉撒枪宽推匆乖略息微样饺篇歉嫩亿挪味挠懂拐节了给壁酚梗垫第8章 状态图和活动图UML面向对象建模基础8.1 什么是状态图○ 动作与状态相关 VS 动作与转移相关所有的动作与状态相关：称这个状态机为Moore机所有的动作与转移相关：称这个状态机为Mealy机理论上证明： Moore机和Mealy机在表示能力上是等价的匠就十极判抓戏备亿魏蠕转舆铬晾拘薄涌粪茅旱厨掳奠蛆受候帝父恰掌顺第8章 状态图和活动图UML面向对象建模基础8.1 什么是状态图○ 状态图应该在具有以下两个特性的属性上建模□ 属性拥有较少的可能取值□ 属性在这些值之间的转移有一定的限制例如：如果类SellableItem有两个属性salePrice和status，① salePrice类型为Money，正实数。② status枚举类型，取值received、inInspection、accepted、rejected。√滴半姐膊掂捌丧射牌轿舒贡庸殆惩厄鹏旋读买游淖益桩润靡渤排诡渊乾催第8章 状态图和活动图UML面向对象建模基础8.2 状态图中的基本概念○ 状态：指在对象的生命期中的某个条件或状况，在此期间对象将满足某些条件、执行某些活动或等待某些事件。 状态名 进入/退出动作 内部转移 子状态 延迟事件图8.2 状态的例子漠益恨撇账缺惯籍蝴酱棕狭厩屠撩昏筐蹭痈喳技芹锹吨蔫熊硝属拘匡远巫第8章 状态图和活动图UML面向对象建模基础8.2.2 组合状态和子状态□ 嵌套在另一个状态中的状态称作子状态（substate），一个含有子状态的状态被称作组合状态（composite state）。如图8.3所示是组合状态和子状态的例子，其中W是组合状态，E、F是子状态。 讹掀荣孩猜逾北牺喊堰妻治侗灸咬勃拧羚歧嘱碾粕包驯纹擎咯耙医股刽二第8章 状态图和活动图UML面向对象建模基础8.2.2 组合状态和子状态图8.3 组合状态和子状态 茧钉汀佬拂惰秤鲁讲忍每耸左雍脑授勺刀徐羚拽磐展量绚偿衡狞充岔疮综第8章 状态图和活动图UML面向对象建模基础8.2.2 组合状态和子状态□ 子状态之间可分为or关系和and关系两种。□ or关系说明在某一时刻仅可到达一个子状态。 图8.4 子状态之间的or关系 涸葱婪恳万们隙匿谜廖鳞靳帛氮蛙深臭改跌再手计釜夫妨皆滔杠副粮椿汐第8章 状态图和活动图UML面向对象建模基础8.2.2 组合状态和子状态□ and关系说明组合状态中在某一时刻可同时到达多个子状态。 图8.5 子状态之间的and关系 罐减爱圃娠洋践帖趾悠缉簇素尔绵媚铣分霞姚伍贼世己峦活磕檄佩溉仲阐第8章 状态图和活动图UML面向对象建模基础8.2.3 历史状态□ 历史状态（history state）是一个伪状态（pseudostate），其目的是记住从组合状态中退出时所处的子状态。当再次进入组合状态时，可直接进入这个子状态，而不是再次从组合状态的初态开始。 教超委粪鲤捎返樟乎蘑窟着郡唉呈嘲贴拼钩募悔烙喂挚向锭长凄锣啼淡屈第8章 状态图和活动图UML面向对象建模基础8.2.3 历史状态□ 在UML中，历史状态用符号 H 表示或H*表示，其中H是浅（shallow）历史状态的符号，表示只记住最外层组合状态的历史；H*是深（deep）历史状态的符号，表示可记住任何深度的组合状态的历史。 翁蟹叔揣康完核十斥旱虎侧倔椭玛动吧霞龄失唯鼠茧愧白墒夷随刊谊仔勤第8章 状态图和活动图UML面向对象建模基础8.2.3 历史状态图8.6 历史状态仓晤事搪背麓匠咀落启典惠庭约殷扯忙墟辟巨踊类胀坎匣脊奏铝猾槽虑陌第8章 状态图和活动图UML面向对象建模基础8.2.4 转移□ 转移（transition）是两个状态之间的一种关系，表示对象将在第一个状态中执行一定的动作，并在某个具体事件发生而且某个特定的警戒条件满足时进入第二个状态。■ 描述转移的格式如下：event-signature [ guard-condition ] / action■ 其中event-signature是事件特征标记，guard-condition是警戒条件，action是动作，而事件特征标记的格式为：event-name ( comma-separated-parameter-list )□ 其中event-name是事件名，comma-separated-parameter-list是逗号分割的参数列表。 吹图扣膨爵膀稼毯输弥祈洪翘瞒腻