状态机图

发布时间 2023-12-15 16:42:20作者: 涨涨涨张

(1)创建状态图。在Rose中,可以为每个类创建一个或者多个状态图,类的转换和状态都可以在状态图中体

(2)创建初试状态和终止状态。初始状态代表着状态图的起点,终止状态代表着状态图的终点。初始状态在状态图中用实心圆表示,终止状态在状态图中用实心圆的空心圆表示。
(3)创建状态。首先用鼠标左键单击状态图工具栏中对应的图标,然后在绘制区域要创建状态的地方单击鼠标左键。创建新的状态后,我们可以修改状态的属性信息。双击状态图标,在弹出的对话框“Genral”选项卡里进行如名称“Name”和文档说明“Documentation”等属性的设置。现。首先,展开“Logic View”菜单项,然后在“Logic View”图标上单击鼠标右键,在弹出的菜单中选择“New”下的“Statechart Diagram”选项建立新的状态图。

(4)创建状态之间的转换。在UML中转换用一条带箭头的直线表示。要增加转换,首先用鼠标左键单击状态工具栏中的图标,然后再用鼠标左键单击转换的源状态,接着向目标状态拖动一条直线。
(5)创建事件。要增加事件,先双击转换图标,在出现的对话框的“General”选项卡里增加事件,接下来,在“Event”选项中添加触发转换的事件,在“Argument”选项中添加事件的参数,还可以在“Documentation”选项中添加对事件的描述。

(6)创建监护条件。监护条件是一个布尔表达式,它控制转换是否能发生。要添加监护条件,先双击转换的图标,选择出现的对话框中的“Detail”选项卡中“Guard Condition”选项,然后填入监护条件。