Đặc tả thiết kế ứng dụng quản lý thư viện

Đặc tả Z

Đặc tả trạng thái máy hữu hạn 1. Trạng thái đăng nhập

- Trạng thái "Đăng nhập thành công": Đại diện cho trạng thái khi người dùng đã đăng nhập thành công và có quyền truy cập vào các chức năng của ứng dụng. - Trạng thái "Đăng ký thành công": Đại diện cho trạng thái khi quá trình đăng ký hoàn tất và người dùng đã được tạo tài khoản thành công. - Trạng thái "Đăng ký thất bại": Đại diện cho trạng thái khi quá trình đăng ký không thành công, có thể do thông tin đăng ký không hợp lệ hoặc đã tồn tại tài khoản tương tự.

- Sự kiện "Đăng ký thành công": Đại diện cho sự kiện khi thông tin đăng ký được xác nhận là hợp lệ và tài khoản người dùng được tạo thành công. - Sự kiện "Đăng ký thất bại": Đại diện cho sự kiện khi thông tin đăng ký không hợp lệ hoặc đã tồn tại tài khoản tương tự và quá trình đăng ký không thành công. - Trạng thái "Nhập sách thành công": Đại diện cho trạng thái khi quá trình nhập sách hoàn tất và sách đã được thêm vào thư viện thành công.

- Trạng thái "Nhập sách thất bại": Đại diện cho trạng thái khi quá trình nhập sách không thành công, có thể do thông tin sách không hợp lệ hoặc đã tồn tại sách tương tự trong hệ thống. - Sự kiện "Kiểm tra thông tin sách": Đại diện cho sự kiện kiểm tra thông tin sách để đảm bảo tính hợp lệ và sẵn sàng để nhập vào thư viện. - Sự kiện "Nhập sách thành công": Đại diện cho sự kiện khi thông tin sách được xác nhận là hợp lệ và sách được thêm vào thư viện thành công.

- Sự kiện "Nhập sách thất bại": Đại diện cho sự kiện khi thông tin sách không hợp lệ hoặc đã tồn tại sách tương tự và quá trình nhập sách không thành công. - Trạng thái "Quản lý độc giả thành công": Đại diện cho trạng thái khi quá trình quản lý độc giả hoàn tất và thông tin độc giả được cập nhật thành công. - Trạng thái "Quản lý độc giả thất bại": Đại diện cho trạng thái khi quá trình quản lý độc giả không thành công, có thể do thông tin không hợp lệ hoặc đã tồn tại độc giả tương tự trong hệ thống.

- Sự kiện "Quản lý độc giả thành công": Đại diện cho sự kiện khi thông tin độc giả được xác nhận là hợp lệ và được cập nhật thành công trong hệ thống. - Sự kiện "Quản lý độc giả thất bại": Đại diện cho sự kiện khi thông tin độc giả không hợp lệ hoặc đã tồn tại độc giả tương tự và quá trình quản lý độc giả không thành công. - Trạng thái "Trả sách thất bại": Đại diện cho trạng thái khi quá trình trả sách không thành công, có thể do thông tin sách không chính xác hoặc quá hạn trả sách.

- Sự kiện "Trả sách thất bại": Đại diện cho sự kiện khi quá trình trả sách không thành công, có thể do thông tin không chính xác hoặc quá hạn trả sách. - Trạng thái "Thống kê thất bại": Đại diện cho trạng thái khi quá trình thống kê không thành công, có thể do lỗi hệ thống hoặc dữ liệu không khả dụng.

Use Case

Điều kiện trước: Thủ thư phải đăng nhập trước khi sử dụng chức năng quản lý độc giả. Điều kiện sau: hiển thị danh sách độc giả sau khi cập nhật thông tin. Các bước tiến hành: Độc giả yêu cầu mượn( trả )sách, thủ thư xác nhận thông tin độc giả bằng chức năng tìm kiếm độc giả.

=> Xác nhận thông tin độc giả thành công, thủ thư kiểm tra thông tin sách độc giả yêu cầu mượn. => Thành công, thủ thư tạo phiếu mượn, yêu cầu độc giả thanh toán tiền cọc. => Với trường hợp trả sách, thủ thu kiểm tra thông tin phiếu mượn và thông tin sách mượn.

=> Thủ thư hoàn trả lại tiền cọc cho độc giả, cập nhật lại thông tin cho phiếu mượn. Mục đích: Dùng để quản lý thông tin chi tiết sách trong kho, xử lý thêm, xóa, sửa thông tin sách. Các bước tiến hành: Chọn chức năng “Quản lý kho sách”: hệ thống sẽ hiển thị các chức năng con trong mục quản lý kho sách.

Mục đớch: giỳp thủ thư nắm rừ tỡnh trạng mượn trả sỏch, thống kê độc giả thân thiết và sách được mượn nhiều của thư viện. Các bước tiến hành: Thủ thư chọn chức năng thống kê, màn hình thống kê hiện ra. => Thủ thư chọn thống kê theo các tiêu chí khác nhau: thống kê sách, độc giả.

=> Màn hình tìm kiếm hiển thị, người dùng tiếp tục chọn tìm kiếm theo các tiêu chí có sẵn hoặc nhập từ khóa.