OO2分析4-其他模型2.pptVIP

* * * * * * * * 建议每个包有7±2个内层成分。——在一张A4纸上表达不清楚时就划分包（Martin Fowler） * * * * * * * * * * * * * “do”这个关键字标识正在进行的活动（称为do 活动）。do活动在状态的入口动作执行后开始执行，并且它与其他的动作或活动是并发的。只要被建模的对象是在当前的状态中，就执行这个活动，直到对象离开该状态为止。也有可能do活动执行完毕后对象仍处于当前状态，这时会导致一个完成事件，如果存在一条外出的完成转移，就退出当前状态。如果在活动未完成之前，由于外出转换的激发而导致了状态的退出，就中断活动。 如状态“演电影”， 中有DO/放映影片，其间有保安看门，电工值班等.放映影片一完毕，即转到状态“放映完毕” * * * * * * 可能：第一个状态 * * * 在这个控制器类的生命期中有4 个主要的状态：“初始化”Initializing（控制器开始运行）、“空闲”Idle（控制器准备好，并等待警报或来自用户的命令）、“命令”Command（控制器正在处理来自用户的命令）和“活动”Active（控制器正在处理一个警报条件）。当第一次创建这个控制器对象时，首先进入Initializing状态，然后无条件地进入Idle状态。这两个状态的详细信息并不显示，但要显示Idle状态中带有时间事件的自转移。这种时间事件在嵌入式系统中是常见的，它常常有一个心跳定时器，每隔一段时间就检查一下系统的健康状况。 * * * 新创建的对象，从最外层的初始伪状态开始，执行其最外层的缺省转换。若对象转换到了最外层的终结状态，则对象的生命期终止。 一个状态内的各区域可以有初始伪状态和终止状态。到封闭状态的转换表示到其初始伪状态的转换。到最终状态的转换表示封闭区域中的活动的完成。在所有并发区域中的活动的完成，表示经由封闭状态的活动的完成，并触发封闭状态上的完成事件。 * * 每个区域都是一个并发的子状态。每个区域有一个可选的名称，但必须包含一张具有不相交状态的嵌套状态图。用实线把整个状态的文本分栏与并发的子状态相分离。 * * * * 方法：概念、使用过程指南，表示法工具。用其构造系统框架。 技术：实现方案。 * * ? ? ? ? ? ? ? ? ? ? ? 例题1 下图描述了一个负责监视某些传感器的控制器的状态机。 clearing 例2 绘制一个状态图，它能分析如下格式的字符流： ‘’标记串‘’字母串；如deFCejb-nameAccount; Waiting GettingToken GettingBody Put(c)[c≠‘‘]/return false Put(c)[c==‘“] Put(c)[c≠‘’]/ token.append(c);return false Put(c)[c≠‘;’]/ body.append(c);return false Put(c)[c==‘;‘]/return true Put(c)[c==‘“] 空闲、门开 entry/开灯 烹饪完成 entry/关灯 entry/关功率管 entry/发滴滴声 空闲、门关 entry/关灯 烹饪中断 entry/关功率管 entry/清除计时器 延长烹饪 entry/计时器增1分钟 初始烹饪 entry/设置定时器 entry/开功率管 entry/开灯 开门 关门 开门 关门 按按纽 开门 按按纽 开门 按按纽 定时器时间到 定时器时间到 例3 为简易微波炉（只有一个按钮）建模 * Junwei Ge * Creating and Deleting Objects 6、组合状态 （1）语义 组合状态是由两个或多个子状态构成的状态，其中的子状态是顺序的或并发的，而且子状态还可以是组合状态。 （2）表示法 把组合状态展开是为了表示它的内部状态机结构。除了（可选的）名称和内部转换分栏外，状态可以包含容纳嵌套图的附加分栏。通过在图形区域里显示嵌套状态图，把状态展开，表示其不相交的子状态。 顺序子状态示意图 并发子状态示意图 从带有正交区域的组合状态内的任一状态离开的转移导致控制离开所有的其他正交区域。这种转移通常表示有错误发生或例外发生，从而迫使所有并行计算都被中断。 用虚线划分图形区域，以表示把状态展开，描述其并发的子状态。 由于一个对象可以同时处于几个状态，所以也可以显示该对象当前状态的一个列表。 建立状态图 对对象的状态变迁建模，应遵循如下策略： n?? 设置状态机的语境 n???建立初始状态和终止状态。 n? 选定对象中的一组有意义的对对象状态有影响的属性,结合有关的事件和动作,对象可能在其中存在各段时间的条件，以决定该