面向对象的系统分析与设计（王海燕）状态机图4.pptVIP

（5）把必要的动作加到状态或转移上。 （6）利用超状态、子状态、分支、历史状态等概念组织和简化一个复杂的状态机。 （7）分析状态的并发和同步情况。 （8）绘制状态机图。 （9）确认每一个状态在某个事件组合之下都是可到达的。确认没有一个死端状态，对象不能从该状态转移出来。 ?例：用状态机图表现项目与资源管理系统PRMS和备份系统的总体系统状态与子状态，如图9.21 、图9.22所示 。 9.6 状态机图的应用 ?例： PRMS总体系统状态机图，如图9.21所示。 9.6 状态机图的应用 图9.21 PRMS系统总体状态机图 ?例： PRMS系统子状态机图，如图9.22所示。 9.6 状态机图的应用 图9.22 PRMS系统子状态机图 一、新建状态机图 状态图的Rose建模 二、重命名状态机图并双击 状态 起始状态 结束状态 转移 自转移 三、添加状态 四、设置状态的名称 方法：双击状态 五、添加转移 在两个状态之间拖动 六、设置事件、守卫条件、动作 输入事件名 方法：双击转移 切换到Detail页面 输入警戒条件 输入动作 七、设置状态内部的动作 切换到Actions页面 在空白处右击，选择insert，会自动添加一个动作 双击添加的动作，弹出下窗 双击状态，弹出左窗口 选择事件 输入动作名 八、增加历史状态 双击状态， 选中此项 一个词法分析的状态图 Message格式 TokenBody; 每个message包含两个字符串（string） 第一个字符串以字符‘’开始，以字符结束； 第二个字符串紧跟着第一个字串，它以字符;结尾。 处理这个字符流的对象可以看作是一个反应型对象…， 为了描述处理字符流的反应型对象，设置了三个稳定状态。 这三个稳定状态是: Waiting, Getting Token和Getting Body。 对象处于Waiting状态，代表对象正在准备接受下一个message, message 的开始标记是字符‘’，因此，在此状态下输入的除 字符之外的所有字符都将被忽略，而一旦输入字符是 时，对象转入处理第一个字符串的状态 Getting Token, 在此状态下，所有输入字符都被接受，直到第一个字符串的 结束字符‘’出现为止。 对象转入处理第二个字符串的状 态 Getting Body, 在此状态下，对象将接受所有的字符，直至出现message的结 束符‘;’为止，这时，一个message被处理完毕，对象回到状态 waiting . 为了通过正向工程实现此状态机，在此状态机所描述的反应 对象（假定其名字为MessageParser）中，可设置一个操作 put(char c), 它代表一个事件，表示输入字符流中输入了一个 新字符。 根据状态机图的定义,通过正向工程, 可以得到的状态机的实现代码如下： #define Waiting 0 #define GettingToken 1 #define GettingBody 2 #define true 1 #define false 0 class StringBuffer{ public: int append(char c); }; class MessageParser { private: int state; StringBuffer token, body; MessageParser() {state=Waiting;}; public: int put( char c ) { switch (state) { case Waiting: if ( c == ) { state = GettingToken; token = new StringBuffer(); body = new StringBuffer(); } break; case GettingToken: if ( c == ) state = GettingBody; else token.append(c); break; case GettingBody: if ( c == ;) { state = Waiting; return true; } else body.append(c); } return false; } StringBuffer getToken() { return token; } StringBuffer getBody() { return body; } }; ?例：未采用组合状态表示的送货处理状态机图，如图9.8