Chuong 5 M

1
Chuong 5Mô hình hóa yêu c?u logic h? th?ng
(Structuring System Logical Requirements)
Faculty of MIS
GV LÊ TH? QU?NH NGA
2
N?i Dung

• S? d?ng Ti?ng Anh có c?u trúc (structured
  English) nhu là công c? d? trình bày các bu?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) d? trình bày
  các l?a ch?n trong các phát bi?u có di?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.

3
(No Transcript)
4
Mô hình Lu?n lý

• DFD không cho th?y logic bên trong các ti?n
  trình.
• Mô hình logic trình bày c?u trúc ch?c nang c?a
  các ti?n trình nêu trong DFD.
• Mô hình logic cung du?c dùng d? cho th?y khi nào
  thì các ti?n trình trong DFD x?y ra.

5
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)
• So d? chuy?n tr?ng thái (State-transition
  diagrams)
• S? d? tu?n t? (Sequence diagrams)
• So d? ho?t d?ng (Activity diagrams)

6
Mô hình Logic v?i Ti?ng Anh Có C?u Trúc

• D?ng th?c hi?u ch?nh c?a ti?ng Anh dùng d? ch? ra
  logic c?a các ti?n trình x? lý thông tin
• S? d?ng 1 t?p con c?a ti?ng Anh
• Các d?ng t? hành d?ng
• Các c?m danh t?
• Không Tính t? tr?ng t?
• Không có chu?n c? th?

7
(No Transcript)
8
Ti?ng Anh c?u trúc du?c dùng d? mô t? input
output.
9
Ti?ng Anh c?u trúc du?c dùng d? mô t? các toán t?
10
Ti?ng Anh c?u trúc du?c dùng d? mô t? s? l?p l?i
11
Ti?ng Anh c?u trúc du?c dùng d? mô t? các quy?t
d?nh
12
Ti?ng Anh c?u trúc du?c dùng d? mô t? vi?c g?i
th?c hi?n các ti?n trình khác
13
Mô hình Logic v?i B?ng Quy?t Ð?nh

• Ma tr?n trình bày logic c?a quy?t d?nh
• Xác d?nh các di?u ki?n có th? x?y ra và các hành
  d?ng k?t qu?
• S? d?ng t?t nh?t cho các quy?t d?nh logic ph?c
  t?p.

14
3 Thành Ph?n c?a B?ng Quy?t Ð?nh

• Ði?u ki?n
• Danh sách các di?u ki?n tuong ?ng v?i quy?t d?nh
• Hành d?ng
• Hành d?ng th?c hi?n theo t?p các di?u ki?n cho
  tru?c
• Lu?t
• Ch? ra hành d?ng nào du?c th?c hi?n theo t?p các
  di?u ki?n cho tru?c
• Ði?u ki?n không khác bi?t (Indifferent Condition)
• di?u ki?n có giá tr? không ?nh hu?ng lên hành
  d?ng cho 2 lu?t hay nhi?u hon

15
Qui trình t?o B?ng Quy?t Ð?nh

• Ð?t tên các di?u ki?n các giá tr? mà m?i ÐK có
  th? có
• Ð?t tên t?t c? các hành d?ng có th? x?y ra
• Danh sách t?t c? các lu?t
• Xác d?nh các hành d?ng cho m?i lu?t
• Ðon gi?n hoá b?ng quy?t d?nh

16
Decision Table
Note for salaried employees the action stub
chosen will always be the sametherefore hours
worked is an indifferent condition
17
Reduced Decision Table
Because of indifferent condition, the complete
decision table can be reduced to one with fewer
rules
18
Mô hình Logic v?i Cây Quy?t Ð?nh

• Bi?u di?n b?ng hình ?nh tình hu?ng quy?t d?nh
• Các di?m tình hu?ng quy?t d?nh du?c k?t n?i v?i
  nhau b?i các du?ng cung hình oval
• Các thành ph?n chính
• Các di?m quy?t d?nh bi?u di?n b?i các node
• Các hành d?ng bi?u di?n b?ng hình oval
• Các l?a ch?n c? th? t? 1 di?m quy?t d?nh bi?u
  di?n b?i các du?ng cung

19
Mô hình Logic v?i Cây Quy?t Ð?nh

• Ð?c t? trái sang ph?i
• M?i node tuong ?ng v?i 1 l?a ch?n
• T?t c? các hành d?ng du?c li?t kê trên t?n cùng
  phía ph?i

20
Ví D? Cây Quy?t Ð?nh
21
Ví D? Cây Quy?t Ð?nh
22
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 d?nh hành d?ng di?u ki?n T?t nhì T?t ba T?t nh?t
Chuy?n di?u ki?n hành d?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 d?y d? T?t ba T?t nh?t T?t nh?t
23
Quy?t Ð?nh gi?a 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 nh?t T? nh?t
Mô t? các lu?t don gi?n T? nh?t T?t nh?t
Ðua ra quy?t d?nh T? nh?t T?t nh?t
Tính v?n t?t, g?n T?t nh?t T? nh?t
Thao tác d? dàng T?t nh?t T? nh?t