Faculty of MIS
Faculty of MIS
Chương 5
Mô hình hóa yêu cầu logic hệ thống
(Structuring System Logical Requirements)
Faculty of MIS
Faculty of MIS
GV: LÊ THỊ QUỲNH NGA
Faculty of MIS
Faculty of MIS
Nội Dung

Sử dụng Tiếng Anh có cấu trúc (structured English)
như là công cụ để trình bày các bước trong các tiến
trình luận lý (logical processes) trong DFD.

Sử dụng Bảng Quyết Định & Cây Quyết Định
(decision tables & decision trees) để trình bày các lựa
chọn trong các phát biểu có điều kiện.

Việc lựa chọn giữa Tiếng Anh có Cấu trúc, Bảng
Quyết Định & Cây Quyết Định.
Faculty of MIS
Faculty of MIS
Faculty of MIS
Faculty of MIS
Mô hình Luận lý

DFD không cho thấy logic bên trong các tiến
trình.


Các động từ hành động

Các cụm danh từ

Không Tính từ & trạng từ

Không có chuẩn cụ thể
Faculty of MIS
Faculty of MIS
Faculty of MIS
Faculty of MIS
Tiếng Anh cấu
trúc được dùng
để mô tả input &
output.
Faculty of MIS
Faculty of MIS
Tiếng Anh cấu
trúc được dùng
để mô tả các
toán tử
Faculty of MIS
Faculty of MIS
Tiếng Anh cấu
trúc được
dùng để mô tả
sự lặp lại
Faculty of MIS
Faculty of MIS
Tiếng Anh cấu

3. Luật

Chỉ ra hành động nào được thực hiện theo tập các điều
kiện cho trước

Điều kiện không khác biệt (Indifferent Condition)

điều kiện có giá trị không ảnh hưởng lên hành động cho 2
luật hay nhiều hơn
Faculty of MIS
Faculty of MIS
Qui trình tạo Bảng Quyết Định

Đặt tên các điều kiện & các giá trị mà mỗi ĐK
có thể có

Đặt tên tất cả các hành động có thể xảy ra

Danh sách tất cả các luật

Xác định các hành động cho mỗi luật

Đơn giản hoá bảng quyết định
Faculty of MIS
Faculty of MIS
Decision Table
Note: for salaried employees the action stub chosen will always
be the same…therefore hours worked is an indifferent condition
Faculty of MIS
Faculty of MIS

Faculty of MIS
Faculty of MIS
Ví Dụ: Cây Quyết Định
Faculty of MIS
Faculty of MIS
Ví Dụ: Cây Quyết Định
Faculty of MIS
Faculty of MIS
Quyết Định giữa Tiếng Anh cấu Trúc,
Bảng Quyết Định & Cây Quyết Định
Tiêu Chuẩn Structured
English
Decision
Tables
Decision
Trees
Xác định
hành động &
điều kiện
Tốt nhì Tốt ba Tốt nhất
Chuyển điều
kiện & hành
động thành
trình tự
Tốt nhất Tốt ba Tốt nhất
Kiểm tra tính
nhất quán &
đầy đủ
Tốt ba Tốt nhất Tốt nhất
Faculty of MIS