Bài giảng Hệ thống thông tin: Chương 5 - GV. Lê Thị Quỳnh Nga
Faculty of MIS Chương Mơ hình hóa u cầu logic hệ thống (Structuring System Logical Requirements) GV: LÊ THỊ QUỲNH NGA Faculty of MIS Nội Dung Sử dụng Tiếng Anh có cấu trúc (structured English) cơng cụ để trình bày bước tiến trình luận lý (logical processes) DFD Sử dụng Bảng Quyết Định & Cây Quyết Định (decision tables & decision trees) để trình bày lựa chọn phát biểu có điều kiện Việc lựa chọn Tiếng Anh có Cấu trúc, Bảng Quyết Định & Cây Quyết Định Faculty of MIS Faculty of MIS Mơ hình Luận lý DFD không cho thấy logic bên tiến trình Mơ hình logic trình bày cấu trúc & chức tiến trình nêu DFD Mơ hình logic dùng thấy tiến trình DFD xảy Faculty of MIS Các Loại Mơ Hình Logic Tiếng Anh có cấu trúc (Structured English) Bảng Quyết Định (Decision Tables) Cây Quyết Định (Decision Trees) Sơ đồ chuyển trạng thái (State-transition diagrams) Sợ đồ (Sequence diagrams) Sơ đồ hoạt động (Activity diagrams) Faculty of MIS Mơ hình Logic với Tiếng Anh Có Cấu Trúc Dạng thức hiệu chỉnh tiếng Anh dùng để logic tiến trình xử lý thông tin Sử dụng tập tiếng Anh 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 Tiếng Anh cấu trúc dùng để mô tả input & output Faculty of MIS Tiếng Anh cấu trúc dùng để mô tả toán tử Faculty of MIS Tiếng Anh cấu trúc dùng để mô tả lặp lại Faculty of MIS Tiếng Anh cấu trúc dùng để mô tả định Faculty of MIS Tiếng Anh cấu trúc dùng để mô tả việc gọi thực tiến trình khác Faculty of MIS Mơ hình Logic với Bảng Quyết Định Ma trận trình bày logic định Xác định điều kiện xảy hành động kết Sử dụng tốt cho định logic phức tạp Faculty of MIS Thành Phần Bảng Quyết Định Điều kiện Danh sách điều kiện tương ứng với định Hành động Hành động thực theo tập điều kiện cho trước Luật Chỉ hành động thực theo tập đ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 luật hay nhiều Faculty of MIS Qui trình tạo Bảng Quyết Định Đặt tên điều kiện & giá trị mà ĐK có Đặt tên tất hành động xảy Danh sách tất luật Xác định hành động cho luật Đơn giản hoá bảng định 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 Reduced Decision Table Because of indifferent condition, the complete decision table can be reduced to one with fewer rules Faculty of MIS Mơ hình Logic với Cây Quyết Định Biểu diễn hình ảnh tình định Các điểm tình định kết nối với đường cung & hình oval Các thành phần Các điểm định biểu diễn node Các hành động biểu diễn hình oval Các lựa chọn cụ thể từ điểm định biểu diển đường cung Faculty of MIS Mơ hình Logic với Cây Quyết Định Đọc từ trái sang phải Mỗi node tương ứng với lựa chọn Tất hành động liệt kê tận phía phải Faculty of MIS Ví Dụ: Cây Quyết Định Faculty of MIS Ví Dụ: Cây Quyết Định Faculty of MIS Quyết Định 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 Chuyển điều kiện & hành động thành trình tự Tốt Tốt ba Tốt Kiểm tra tính quán & đầy đủ Tốt ba Tốt Tốt Faculty of MIS Quyết Định Tiếng Anh cấu Trúc, Bảng Quyết Định & Cây Quyết Định Criteria Decision Tables Decision Trees Mô tả logic phức tạp Tốt Tệ Mô tả luật đơn Tệ Tốt Đưa định Tệ Tốt Tính vắn tắt, gọn Tốt Tệ Thao tác dễ dàng Tốt Tệ giản Faculty of MIS ... Bảng Quyết Định (Decision Tables) Cây Quyết Định (Decision Trees) Sơ đồ chuyển trạng thái (State-transition diagrams) Sợ đồ (Sequence diagrams) Sơ đồ hoạt động (Activity diagrams) Faculty of... 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 luật hay nhiều Faculty of MIS Qui trình tạo Bảng Quyết Định Đặt tên điều kiện