图书馆系统角色与操作验证

1、检查某些事件是否被限制在适当的参与者（角色）范围内，已知顾客的操作权限为{借阅、归还、续借、注册、注销}，图书管理员的操作权限为{发送通知、处理、获取}。例如，图书管理员不能借阅书籍，顾客不能处理书籍。请说明该检查的作用以及不同角色对应的操作情况。

• 该检查用于验证模型功能和确保需求得到满足。
• 明确不同角色对应的操作：
• 图书管理员 ：
  • 可获取书籍
  • 可处理书籍
  • 可发送通知
  • 不能借阅书籍
• 顾客 ：
  • 可借阅书籍
  • 可归还书籍
  • 可续借书籍
  • 可进行注册
  • 可进行注销
  • 不能处理书籍

2、以顾客身份注册

• 事件 ：SignUp
• 属性 ：
  • Customer ：顾客
  • Name ：姓名
• 说明 ：表示顾客注册这一事件需提供顾客和姓名信息。
• 场景应用 ：在图书馆场景里，顾客可通过此操作完成注册。

3、借一本书并归还它。请描述在图书馆业务中这一过程中书的状态变化。

该描述是图书馆模型功能验证的一个用例，用于确保模型满足借书后归还的业务要求。在图书馆业务中，顾客可以借一本书，此时书的状态变为“已借出”，归还时书的状态变为“可借阅”。

4、处