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.状态图只能对单个的对象进行建模。 实验体会： 通过对系统的状态图建模，我对实体状态的变化更加清楚。