Finite State Machines (FSM) FSM chứa • Tập hữu hạn các trạng thái Q • Tập hữu hạn các đầu vào I • Các chức năng chuyển tiếp :Q I Q High pressure alarm High temp. alarm ON OFF Restart HUT, Falt. of IT Dept. of SE, 2002 Đặc tả các yêu cầu phần mềm bằng FSM • Xem xét ví dụ về thư viện với các giao dịch như sau: – Mượn sách / Trả sách – Thêm đầu sách / Loại bỏ đầu sách – Liệt kê danh sách các đầu sách theo tên tác giả hay theo chủ đề – Tìm. | Finite State Machines FSM FSM chứa Tập hữu hạn các trạng thái Q Tập hữu hạn các đầu vào I Các chức năng chuyển tiếp High pressure alarm High temp. alarm Restart HUT Falt. of IT Dept. of SE 2002 Đặc tả các yêu cầu phần mềm bằng FSM Xem xét ví dụ về thư viện với các giao dịch như sau - Mượn sách Trả sách - Thêm đầu sách Loại bỏ đầu sách - Liệt kê danh sách các đầu sách theo tên tác giả hay theo chủ đề - Tìm kiếm sách theo các yêu cầu của người mượn - Tìm kiếm sách quá hạn trả . . . HUT Falt. of IT Dept. of SE 2002 Đặc tả . Các yêu cầu đặc biệt của thư viện - Độc giả không được mượn quá một số lượng sách nhất định trong một thời gian nhất định - Một số sách không được mượn về - Một số người không được mượn một số loại sách nào đó . . . HUT Falt. of IT Dept. of SE 2002 .
