UML建模动态建模之状态图实验报告.doc
文本预览下载声明
实验报告册
课 程： UML系统建模
学 号：
专 业： 网络工程
班 级：
指导老师： 凌凤彩
2011 至 2012 学年 第 2 学期
洛阳师范学院
信 息 技 术 学 院
实验注意事项：
1、要求实验前做好充分的准备。
2、实验过程中严格遵守实验规则，认真完成实验内容，详细记录实验结果。
3、实验结束后，认真填写实验报告册，并做好实验分析和实验体会。
实验时间： 6 月 20 日 3,4 节 星期 二 实验地点：逸夫楼A204 实验名称：对瑞天图书管理系统的动态建模之状态图 实验目的：
1. 掌握状态图的基本定义，组成结构，用途。
2.能够对于给定的系统区分区分对象的状态变化
3．能够熟练的应用rose来创建状态图。
4. 在用例图的基础上创建瑞天图书管理系统的状态图。
实验准备
瑞天图书管理系统已连接成功 实验环境：
一台能够正常工作的具有rose软件的计算机 实验原理：
1. 状态图清晰地描述了状态之间的转换顺序，通过状态的转换顺序可以清晰看出事件的执行顺序。状态图通过判定可以更好地描述工作流因为不同的条件发生的分支。
2. 在瑞天图书管理系统中，只有图书卡与图书有状态的转变，因此只需确定这两者的状态图。
实验步骤：
确定状态图的主体，他可以是一个系统，一个用例，一个对象。
在瑞天图书管理系统中可以确定状态图的主体为：图书卡和图书。
确定主体的生存期的各种稳定的状态及顺序；
对于图书卡的状态有：正常，挂失，停止，注销，停用。
对于图书的状态有：在库，下架，预定，借出，注销。
确定状态迁移的事件，如：
对于图书卡：
由正常-挂失的事件为“丢失”；
由正常-停用的事件为“申请”；
由停用-正常的事件为“启用”；
由挂失-正常的事件为“解挂失”；
由正常-注销的事件为“申请”；
对于图书：
由在库-下架的事件为“图书下架”；
由在库-预定的事件为“读者预定”；
由预定-在库的事件为“预定超时”；等
4. 附加上必要的动作，把动作附加到相应的迁移线上或对应的状态框内；
5. 审核状态图，确认所有状态在事件触发下都可到达、死锁状态（无迁移）。
实验结果：
用rose绘制的图书卡的状态图为：
2．图书的状态图为：
实验分析：
确定状态的对象时要知道并不是每一个实体都有状态的变化，确定状态图的对象要去油状态变化的实体。
2．创建完状态图要确定每一个事件都可达，避免达到死锁状态。
3.状态图只能对单个的对象进行建模。 实验体会：
通过对系统的状态图建模，我对实体状态的变化更加清楚。
显示全部