Các tác nhân của hệ thống

Một phần của tài liệu LUẬN VĂN:KIỂM CHỨNG MÔ HÌNH PHẦN MỀM SỬ DỤNG NUSMV docx (Trang 31 - 33)

Hệ thống có ba tác nhân sau:

 Người điều hành: Người thực hiện các chức năng bật máy, tắt máy để bảo trì hệ thống.

 Người dùng: Người sử dụng hệ thống để thực hiện các giao dịch.

 Ngân hàng: Có vai trò kiểm tra thông tin và phê duyệt các giao dịch được hệ thống yêu cầu.

Nếu giao dịch không được thực hiện thành công, máy ATM sẽ hiển thị một thông báo lỗi.

Người điều hành có thể bật máy hoặc tắt máy ATM để bảo trì. Trong một thời điểm, máy ATM chỉ thực hiện được một phiên làm việc để phục vụ người dùng. Phiên làm việc bao gồm nhiều giao dịch, tại đó người dùng có thể thực hiện việc chuyển tiền, rút tiền, vấn tin tài khoản. Trong mỗi giao dịch, máy ATM sẽ gửi yêu cầu giao dịch đến ngân hàng. Ngân hàng sẽ xác minh lại thông tin và quyết định phê duyệt giao dịch đó hay không. Nếu trong lúc giao dịch, người dùng nhập sai mã PIN nhiều lần thì máy ATM sẽ ngừng giao dịch đó lại và giữ lại thẻ của người dùng. Các ca sử dụng này được mô tả như trong hình sau:

Hình 5.1. Biểu đồ ca sử dụng hệ thống máy ATM.

5.2.1.4 Bật máy

Người bảo trì hệ thống ATM bật máy lên để máy ATM có thể làm việc và phục vụ khách hàng. 5.2.1.5 Tắt máy Người điều hành Người dùng Ngân hàng Bật máy Tắt máy Phiên làm việc Giao dịch

Rút tiền Chuyển tiền Vấn tin tài khoản Sai mã PIN <<include>> <<extend>>

Người bảo trì hệ thống tắt máy ATM, máy ATM ở trạng thái ngưng họat động cho đến khi nào được bật lên.

5.2.1.6 Phiên làm việc

Máy ATM vào phiên làm việc. Một phiên làm việc bắt đầu khi khách hàng đưa thẻ ATM vào khe đọc thẻ. Máy ATM đưa thẻ vào trong và đọc thẻ (nếu bộ đọc thẻ không đọc được thẻ thì máy sẽ đưa thẻ ra). Hệ thống sẽ yêu cầu khách hàng nhập mã PIN, sau đó hệ thống sẽ đưa ra một danh sách các loại giao dịch để khách hàng lựa chọn. Sau khi một giao dịch đựơc thực hiện, hệ thống sẽ hỏi khách hàng có muốn thực hiện giao dịch nào khác hay không. Nếu khách hàng chọn không thực hiện giao dịch nào nữa thì máy ATM trả lại thẻ cho khách hàng. Nếu một giao dịch bị dừng do quá nhiều lần nhập sai mã PIN thì phiên giao dịch kết thúc và thẻ ATM của khách hàng bị giữ lại trong máy.

Khách hàng có thể kết thúc một phiên làm việc bằng cách ấn nút Cancel trong khi đang nhập mã PIN họăc chọn một loại giao dịch

5.2.1.7 Giao dịch rút tiền

Rút tiền. Hệ thống sẽ yêu cầu người dùng chọn tài khoản muốn rút. Sau đó yêu cầu người dùng chọn số tiền từ danh sách các số tiền có thể rút. Hệ thống sẽ kiểm tra xem hiện có đủ tiền để thực hiện giao dịch hay không. Nếu đủ, hệ thống sẽ gửi một yêu cầu phê duyệt tới ngân hàng, nếu không đủ, hệ thống sẽ yêu cầu người dùng chọn số tiền khác. Sau khi yêu cầu rút tiền được ngân hàng phê duyệt, số tiền tương ứng sẽ được đưa ra khỏi máy ATM cho người dùng và sau đó một hóa đơn được xuất ra.

Giao dịch rút tiền có thể được dừng lại và bỏ qua nếu người dùng ấn nút Cancel bất kì khi nào số tiền cần rút chưa được chọn.

Một phần của tài liệu LUẬN VĂN:KIỂM CHỨNG MÔ HÌNH PHẦN MỀM SỬ DỤNG NUSMV docx (Trang 31 - 33)