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）：
如果系统管理员对图书的信息添加、修改，读者才可以更准确的获得图书信息从而借到相应的书；如果系统管理员对图书的信息进行删除，则读者不可以对该图书进行任何操作
升级会员 