UML建模之状态图Statechart Diagram文档格式.docx
- 文档编号:17753514
- 上传时间:2022-12-09
- 格式:DOCX
- 页数:10
- 大小:164.62KB
UML建模之状态图Statechart Diagram文档格式.docx
《UML建模之状态图Statechart Diagram文档格式.docx》由会员分享,可在线阅读,更多相关《UML建模之状态图Statechart Diagram文档格式.docx(10页珍藏版)》请在冰豆网上搜索。
3、动作(StateActions)
4、自身转移(Self-Transitions)
5、组合状态(CompoundStates)
6、进入节点(EntryPoint)
7、退出节点(ExitPoint)
8、历史状态(HistoryStates)
9、并发区域(ConcurrentRegions)
三、状态图案例分析(StateDiagramExampleAnalysis)
四、总结(Summary)
状态图(StatechartDiagram)主要用于描述一个对象在其生存期间的动态行为,表现为一个对象所经历的状态序列,引起状态转移的事件(Event),以及因状态转移而伴随的动作(Action)。
一般可以用状态机对一个对象的生命周期建模,状态图用于显示状态机(StateMachineDiagram),重点在与描述状态图的控制流。
如下图例子,状态机描述了门对象的生存期间的状态序列,引起转移的事件,以及因状态转移而伴随的动作(Action).
状态有Opened、Closed、Locked。
事件有Open、Close、Lock和Unlock。
注意:
1、
并不是所有的事件都会引起状态的转移,比如当门是处于【Opened】状态,不能进行【Lock】事件。
2、
转移(Transition)有警备条件(guardcondition),比如只有doorWay->
isEmpty条件满足时,才会响应事件。
指在对象的生命周期中的某个条件或者状况,在此期间对象将满足某些条件、执行某些活动活活等待某些事件。
所有对象都有状态,状态是对象执行了一系列活动的结果,当某个事件发生后,对象的状态将发生变化。
状态用圆角矩形表示
初态和终态(InitialandFinalStates)
初态用实心圆点表示,终态用圆形内嵌圆点表示。
转移(Transitions)是两个状态之间的一种关系,表示对象将在源状态(SourceState)中执行一定的动作,并在某个特定事件发生而且某个特定的警界条件满足时进入目标状态(TargetState)
事件标记(Trigger):
是转移的诱因,可以是一个信号,事件、条件变化(achangeinsomecondition)和时间表达式。
警界条件(GuardCondition):
当警界条件满足时,事件才会引发转移(Transition)。
结果(Effect):
对象状态转移后的结果。
动作(Actions)是一个可执行的原子操作,也就是说动作是不可中断的,其执行时间是可忽略不计的。
在上例中,对象状态转移后的结果显示在转移线上,如果目标状态有许多转移,而且每个转移有相同的结果,这时把转移后的结果(Effect)展示在目标状态中(TargetState)更好一些,可以定义进入动作(EntryAction)和退出动作(ExitAction),如下图
状态可以有返回自身状态的转移,称之为自身转移(Self-Transitions)
2S后,Pollinput事件执行,转移到自己状态【Waiting】
嵌套在另外一个状态中的状态称之为子状态(sub-state),一个含有子状态的状态被称作组合状态(CompoundStates).如下图,【CheckPIN】是组合状态,【EnterPIN】是子状态。
也可用以下方式进行描述
如上图,状态机【CheckPIN】的细节被分割到另外一个图中了。
如下图所示,由于一些原因并不会执行初始化(initialization),而是直接通过一个节点进入状态【Ready】,则此节点称之为进入节点(EntryPoint)
历史状态是一个伪状态(Pseudostate),其目的是记住从组合状态中退出时所处的子状态,当再次进入组合状态,可直接进入这个子状态,而不是再次从组合状态的初态开始。
在上图的状态图中,正常的状态顺序是:
【Washing】->
【Rinsing】->
【Spinning】。
如果是从状态【Rinsing】突然停电(PowerCut)退出,,洗衣机停止工作进入状态【PowerOff】,当电力恢复时直接进入状态【Running】。
状态图可以分为区域,而区域又包括退出或者当前执行的子状态。
说明组合状态在某一时刻可以同时达到多个子状态。
如下图刹车系统,同时进入前刹车【ApplyingFrontBrakes】状态和后刹车【ApplyingRearBrakes】状态。
按照blink518的建议(“出货中”是属于条件分支应该使用Decision),改成如下图也是很好的做法:
订单成立状态主要有:
订单成立
订单取消(Guard:
会员订单-缴款期限已过期)
备货中(Guard:
已付款、订单成立、库存量足够)
出货中(Effect:
扣除商品可接单量及移除购物车中的购买资料)
出货确认(Guard:
实际配达日及发票代码、号码均不为空值)
出货完毕(Guard:
实际配达日不为空)
出货失败
订单成立(Guard:
出货完毕,已付款、鉴赏期结束日期小于等于[系统日期])
分析:
1、购物车生成订单进入状态【订单成立】
2、系统检测订单已经付款并且库存量足够,则进入状态【备货中】
3、物流发货,进入状态【发货中】,状态转移为【发货中】后,需要做的操作有“扣除商品可接单量及移除购物车中的购买资料”
4、发货完毕后,状态分为【出货确认】和状态【出货失败】,如果状态是【出货失败】,则【结束】,如果状态为【出货确认】,则进入下一步。
5、配货人员填写实际配达日期,进入状态【出货完毕】。
6、如果”已付款、鉴赏期结束日期小于等于[系统日期]”,则【订单成立】。
四、总结(Summary)
状态图重点在于描述对象的状态及其状态之间的转移,状态图的基本元素主要有:
状态、转移、动作、自身转移、组合状态、进入节点、退出节点、历史状态、并发区域等,状态中的事件分为调用事件(Call)、变化事件(Change)、时间事件(Time)和信号事件(Singal)。
最后以实例对状态对进行了分析。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- UML建模之状态图Statechart Diagram UML 建模 状态图 Statechart
![提示](https://static.bdocx.com/images/bang_tan.gif)