UML第3次实验报告.docx
- 文档编号:26138821
- 上传时间:2023-06-17
- 格式:DOCX
- 页数:9
- 大小:135.30KB
UML第3次实验报告.docx
《UML第3次实验报告.docx》由会员分享,可在线阅读,更多相关《UML第3次实验报告.docx(9页珍藏版)》请在冰豆网上搜索。
UML第3次实验报告
UML实验报告三
专业:
软件工程11级
成员:
1.目的
会对关键用例建立顺序图模型;会对主要事件和消息撰写操作契约;找出系统中的概念类及其关系,建立领域模型。
2.任务
1.在用例模型图及详述的基础上,对各关键用例建立顺序图模型。
2.在顺序图基础上,对主要事件和消息撰写操作契约。
3.找出系统中的概念类及其关系,建立领域模型。
3.方法
参考老师给出的实验指导书和教材实例,使用WORD和TRUFUNPLATO完成领操作契约,领域模型和关键用例的顺序图.
4.结果
顺序图截图:
1.借书顺序图:
2.还书顺序图:
3.罚款顺序图:
领域模型截图:
操作契约:
模板:
契约CO2:
enterItem
操作(Operation):
enterItem(itemID:
ItemId,quantity:
integer)
交叉参考(CrossReferences):
UseCases:
ProcessSale
前提(Preconditions):
Thereisasaleunderway
后置条件(Postconditions):
一
契约CO2:
读者注册
操作(Operation):
读者登录注册页面,进行读者注册。
1.读者用户进入图书馆的用户注册页面;
2.读者输入需要注册的用户名和密码;
3.读者将注册信息进行提交;
4.系统对用户提交的用户名和密码进行有效性检查;
5.系统显示用户是否注册成功
交叉参考(CrossReferences):
用例:
读者登陆
前提(Preconditions):
图书馆的用户注册页面正常运行。
后置条件(Postconditions):
如果读者注册成功,则该读者可以在网上预订图书或查询图书信息等操作。
如果读者注册不成功,则不能在网上查询信息等。
二
契约CO2:
读者登录
操作(Operation):
读者登录图书馆主页面,输入所注册成功的用户名和密码
1.读者用户进入图书馆的登录页面
2.读者输入用户名和密码;
3.读者将输入的信息进行提交;
4.系统对用户提交的用户名和密码进行有效性检查;
5.系统记录并显示当前登录用户;
6.用户查阅相关的图书信息;
交叉参考(CrossReferences):
用例:
读者注册
前提(Preconditions):
图书馆的主页面正常运行
后置条件(Postconditions):
如果读者登录成功,则该读者可以进行图书的查阅等操作成功;否则,不能进行图书的相关操作。
三、
契约CO2:
读者办理借阅证
操作(Operation):
读者向系统管理员提出申请,办理图书借阅证。
1.读者携带有效证件向系统管理员提出申请;
2.系统管理员对读者的个人信息进行审核;
3.读者的个人信息审核通过,系统管理员授予图书借阅证;
交叉参考(CrossReferences):
用例:
读者注册
前提(Preconditions):
系统管理员进行信息的审核
后置条件(Postconditions):
如果读者申请办理图书借阅证成功,则该读者可以进行图书的借阅等操作;否则,不能借阅图书。
四、
契约CO2:
读者借阅图书
操作(Operation):
读者携带图书借阅证进行图书的借阅。
1.读者携带图书借阅证进入图书馆;
2.用户到图书馆查阅相关的图书信息;
3.读者向图书管理员提出借阅图书的请求;
4.图书管理员检查借阅证的有效性;
5.图书管理员检查读者有无超期未还信息;
6.图书管理员允许读者借阅图书。
7.系统添加借阅信息。
交叉参考(CrossReferences):
用例:
读者办理借阅证
前提(Preconditions):
图书馆正常开放,借阅证的有效
后置条件(Postconditions):
如果读者的图书借阅证扫描成功,读者进入图书馆借阅,进行图书的借阅等操作;否则,不能借阅图书。
五、
契约CO2:
读者归还图书
操作(Operation):
1、读者携带图书借阅证,进入图书馆;
2、读者归还图书;
3、图书管理员检查读者所借图书的情况;
4、图书管理员处理读者归还图书的请求;
5、系统删除读者的借阅信息。
交叉参考(CrossReferences):
用例:
读者借阅图书
前提(Preconditions):
图书馆正常开放、读者携带图书借阅证及所需还的书
后置条件(Postconditions):
如果归还了图书,下次可以正常借书。
六
契约CO2:
网上预订
操作(Operation):
读者登录网上图书管理系统,查询到自己喜欢的书籍进行预订
1.读者登录网上图书管理系统;
2.读者输入注册的用户名和密码进入系统;
3.读者提供书刊种类、自己的信息
4.系统检索书刊信息和读者信息;
5.系统接受预定,创建预定记录;
6.将预定记录存储在系统中
交叉参考(CrossReferences):
用例:
读者借阅图书
前提(Preconditions):
用户登录到系统中
后置条件(Postconditions):
如果这个用例成功,系统建立预定记录。
否则,系统的状态没有变化
七
契约CO2:
书籍的日常维护
操作(Operation):
图书管理员对新书上架或者是图书下架进行处理
1.搜集旧书和新书的信息
2.对新书贴条形码;
3.把旧书下架
4.把新书上架;
交叉参考(CrossReferences):
用例:
管理图书信息
前提(Preconditions):
图书管理员正常工作
后置条件(Postconditions):
对书籍的日常维护后,图书馆可以正常开放,用户可以顺利进行借还书等。
反之,图书馆不能满足用户需求。
八
契约CO2:
处理借书
操作(Operation):
在读者借阅图书时,处理读者的借书请求
1.读者发出借阅请求;
2.管理员扫描读者的借书证
3.如果读者有罚款未交或达到借书限额则不给予办理
交叉参考(CrossReferences):
处理还书
前提(Preconditions):
图书馆开放、图书管理系统正常运行时间
后置条件(Postconditions):
如果读者没有借书证则不能借阅图书,否则则为他办理借阅
九
契约CO2:
处理还书
操作(Operation):
在读者归还图书时,处理读者的还书操作
1.读者发出还书请求;
2.管理员扫描图书条形码;
3.管理员检查图书是否有损坏,若有损坏则要求读者按要求交罚款;
4.管理员检查图书是否超期归还,若是超期还书则要求读者按要求交罚款
交叉参考(CrossReferences):
处理借书
前提(Preconditions):
图书馆开放,图书管理系统正常运行时间。
后置条件(Postconditions):
图书馆开放,图书管理系统正常运行时间。
十
契约CO2:
管理系统用户
操作(Operation):
添加删除或修改图书管理系统中的各类图书管理员的信息
1.系统管理员查看各类图书管理员的信息
2.系统管理员根据实际情况,对已经辞职的管理员信息删除;
3.系统管理员把新来的管理员信息添加到图书管理系统中;
4.系统管理员修改图书管理员的工作范围,工作时间等信息,给图书管理员分配合理的工作。
交叉参考(CrossReferences):
用例:
读者管理
前提(Preconditions):
系统管理员登录到系统中
后置条件(Postconditions):
如果系统管理员完成对各类管理人信息的添加删除等操作,那么对应的管理人可以处理读者的借书、还书操作,以及相应的管理人顺利离开岗位,否则不能。
十一
契约CO2:
读者管理
操作(Operation):
系统管理员对读者的信息进行添加、修改和删除
1.系统管理员进入系统;
2.查看读者办理借书证的申请信息;
3.审核读者信息;
4.添加读者信息;
5.修改已经修改个人信息的读者的信息
6.删除已经注销的读者信息;
7.查看是否有读者超期未还书的行为,若有就添加备注和罚款信息
交叉参考(CrossReferences):
用例:
管理系统用户
前提(Preconditions):
管理系统用户
后置条件(Postconditions):
如果系统管理员对读者的信息添加、修改以及响应读者办理借书证的申请、网上预订,读者才可以借书、还书、办理借书证和网上预订;如果系统管理员对读者的信息进行删除,则读者不可以进行任何操作
十二
契约CO2:
管理图书信息
操作(Operation):
添加、删除或修改图书管理系统中的图书信息和图书类别信息
1.系统管理员进入系统;
2.删除已下架的图书信息;
3.修改已更改的图书信息;
4.添加新上架图书信息;
交叉参考(CrossReferences):
用例:
读者管理
前提(Preconditions):
系统正常运行时间
后置条件(Postconditions):
如果系统管理员对图书的信息添加、修改,读者才可以更准确的获得图书信息从而借到相应的书;如果系统管理员对图书的信息进行删除,则读者不可以对该图书进行任何操作
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- UML 实验 报告