MODELING BEHAVIOR N STATECHART DAGRAMS 徐迎晓 xuyingxiao@126.com 复旦大学软件学院
MODELING BEHAVIOR IN STATECHART DIAGRAMS 徐迎晓 xuyingxiao@126.com 复旦大学软件学院
Agenda ●状态图的几个例子 状态图介绍 ●设计 CreationToo状态图 ●设计 Selection Tool状态图 e Implementing State Diagrams
Agenda 状态图的几个例子 状态图介绍 设计CreationTool状态图 设计Selection Tool状态图 Implementing State Diagrams
Agenda ●状态图的几个例子 状态图介绍 设计 Creationtoo状态图 ●设计Se! ection Too状态图 e Implementing State Diagrams
Agenda 状态图的几个例子 状态图介绍 设计CreationTool状态图 设计Selection Tool状态图 Implementing State Diagrams
Telephone nitial state\ off hook Idle Active state on hook o transition event
off hook Idle Active on hook Telephone state transition event initial state
off hook/ play dial tone [valid subscriber Active Idle PlayingDialTone Ta alKing OK digit connected complete Connecti a state can be decomposed into sub-states
Idle off hook / play dial tone on hook Active [valid subscriber] PlayingDialTone Dialing Connecting digit digit complete Talking connected A state can be decomposed into sub-states
Agenda ●状态图的几个例子 状态图介绍 ●设计 Creation toc状态图 ●设计 Selection Too状态图 e Implementing State Diagrams
Agenda 状态图的几个例子 状态图介绍 设计CreationTool状态图 设计Selection Tool状态图 Implementing State Diagrams
可用于用例、Cass Design Model, Domain model'等模型中 各种元素都可以加上状态图,以理解针 对事件的动态行为
可用于用例、Class Design Model, Domain Model等模型中 各种元素都可以加上状态图，以理解针 对事件的动态行为
Use Case Statechart Diagrams 描述系统处理外部系统事件合法的顺序 Process sa/e use case
Use Case Statechart Diagrams ⚫ 描述系统处理外部系统事件合法的顺序 ⚫ Process Sale use case
Process sale Wating ForSale makeNewSale Enteringltems enterltem end Sale authorized make Cash Payment Waiting forPayment make CreditPayment authorizing payment make CheckPaymen
WatingForSale EnteringItems enterItem WaitingForPayment makeNewSale makeCashPayment endSale AuthorizingPayment makeCheckPaymen t makeCreditPayment authorized Process Sale
事件 调用事件 个操作的发送 ●时间事件—段时间的推移 After 2 seconds After 1 ms since exiting Idle ●变化事件—状态的一个变化或满足某 些条件 When time=11:59(绝对时间) ● When altitude<1000(对表达式如海拔不断测试)
事件 调用事件——一个操作的发送 时间事件——一段时间的推移 ⚫ After 2 seconds ⚫ After 1 ms since exiting Idle 变化事件——状态的一个变化或满足某 些条件 ⚫ When time=11:59（绝对时间） ⚫ When altitude<1000（对表达式如海拔不断测试）