UML建模动态建模之状态图实验报告

实验报告册

课程： UML系统建模

学号：

专业：网络工程

班级：

指导老师：凌凤彩

2011 至 2012 学年第 2 学期

洛阳师范学院

信息技术学院

实验注意事项：

1、要求实验前做好充分的准备。

2、实验过程中严格遵守实验规则，认真完成实验内

容，详细记录实验结果。

3、实验结束后，认真填写实验报告册，并做好实验

分析和实验体会。

实验时间： 6 月 20 日 3,4 节星期二

实验地点：逸夫楼A204

实验名称：对瑞天图书管理系统的动态建模之状态图

实验目的：

1. 掌握状态图的基本定义，组成结构，用途。

2.能够对于给定的系统区分区分对象的状态变化

3．能够熟练的应用rose来创建状态图。

4. 在用例图的基础上创建瑞天图书管理系统的状态图。

实验准备

瑞天图书管理系统已连接成功

实验环境：

一台能够正常工作的具有rose软件的计算机

实验原理：

1.状态图清晰地描述了状态之间的转换顺序，通过状态的转换顺序可

以清晰看出事件的执行顺序。状态图通过判定可以更好地描述工作流因为不同的条件发生的分支。

2. 在瑞天图书管理系统中，只有图书卡与图书有状态的转变，因此只需

确定这两者的状态图。

实验步骤：

1.确定状态图的主体，他可以是一个系统，一个用例，一个对象。

在瑞天图书管理系统中可以确定状态图的主体为：图书卡和图书。

2.确定主体的生存期的各种稳定的状态及顺序；

对于图书卡的状态有：正常，挂失，停止，注销，停用。

对于图书的状态有：在库，下架，预定，借出，注销。

3.确定状态迁移的事件，如：

对于图书卡：

由正常-挂失的事件为“丢失”；

由正常-停用的事件为“申请”；

由停用-正常的事件为“启用”；

由挂失-正常的事件为“解挂失”；

由正常-注销的事件为“申请”；

对于图书：

由在库-下架的事件为“图书下架”；

由在库-预定的事件为“读者预定”；

由预定-在库的事件为“预定超时”；等

4. 附加上必要的动作，把动作附加到相应的迁移线上或对应的状态

框内；

5. 审核状态图，确认所有状态在事件触发下都可到达、死锁状态（无迁移）。

实验结果：

1.用rose绘制的图书卡的状态图为：

2．图书的状态图为：

实验分析：

1.确定状态的对象时要知道并不是每一个实体都有状态的变

化，确定状态图的对象要去油状态变化的实体。

2．创建完状态图要确定每一个事件都可达，避免达到死锁状态。

3.状态图只能对单个的对象进行建模。

实验体会：

通过对系统的状态图建模，我对实体状态的变化更加清楚。