请设计高校读者借书的顺序图

高校图书馆借书的过程可以用顺序图（Sequence Diagram）来表示，它是一种UML（统一建模语言）图形，通常用于描述对象之间的交互。下面是一个简化版的顺序图设计：

+---------------+                  +----------------+
| 用户（Reader）| <---------------> | 图书馆系统（LibSys）|
+---------------+                  +----------------+

序列：
1. 用户打开应用（User opens app）
   - User -> LibSys: 请求借书
2. 系统验证用户信息（LibSys verifies user info）
   - LibSys -> User: 发送验证码或确认信息
3. 用户输入验证码（User enters code）
4. 系统检查图书库存（LibSys checks book availability）
   - LibSys -> User: 提供可用书籍列表
5. 用户选择书籍（User selects a book）
6. 系统处理借阅请求（LibSys processes borrowing request）
   - LibSys -> Librarian: 分配图书给用户
7. 图书管理员审核并完成操作（Librarian approves and completes)
8. 系统通知用户借书成功（LibSys notifies user of successful borrowing）
9. 用户离开应用（User closes app）