Chương 5: MÔ HÌNH HÓA LOGIC TIẾN TRÌNH

Biểu đồ luồng dữ liệu đủ tốt để xác định các ti ến trình, nh ưng nó không ch ỉ ra đ ầy đủ logic bên trong của mỗi tiến trình. Ngay đối với các ti ến trình ở...
Nội dung trích xuất từ tài liệu:
Chương 5: MÔ HÌNH HÓA LOGIC TIẾN TRÌNHMÔ HÌNH HÓA LOGIC TIẾN TRÌNH Biểu đồ luồng dữ liệu đủ tốt để xác định các ti ến trình, nh ưng nó không ch ỉ ra đ ầyđủ logic bên trong của mỗi tiến trình. Ngay đối với các ti ến trình ở bi ểu đ ồ lu ồng d ữliệu sơ cấp cũng chưa chỉ ra tất cả nội dung xử lý của nó. Trong phần này sẽ trình bàycác kỹ thuật để mô hình hóa các tiến trình ra quyết định và logic thời gian.5.1. Mô hình hóa logic với tiếng Anh cấu trúc Tiếng Anh có cấu trúc được cải biên từ tiếng Anh thông dụng để đặc tả n ội dungcủa các tiến trình trong một biểu đồ luồng dữ liệu. Các động từ hành động dùng đ ểđặt tên các tiến trình cũng được dùng trong ti ếng Anh có c ấu trúc. Nó bao g ồm cácđộng từ như: read, write, print, sort, move, merge, add, multiply, và divide . Tiếng Anhcó cấu trúc cũng dùng cụm danh từ để mô tả c ấu trúc d ữ liệu nh ư customer-name andcustomer – address. Tiếng Anh cấu trúc không sử dụng tính từ và tr ạng t ừ. Nó di ễn t ảcác tiến trình ở dạng ngắn gọn để dễ đọc, dễ hiểu. Nó không phải là phiên b ảnchuẩn, mỗi nhà phân tích có thể có một cách dùng riêng c ủa mình. Ti ếng Anh có c ấutrúc được dùng để biểu diễn cả ba cấu trúc điển hình trong lập trình có c ấu trúc: tuầntự, tuyển chọn và lặp. Tiến trình tuần tự không đòi hỏi một cấu trúc gì đặc biệt. Cấutrúc tuyển chọn có thể được biểu diễn bằng một cấu trúc có dạng: BEGIN IF IF (số lượng tồn kho nhỏ hơn số dự trữ tối thiểu) THEN GENERATE (đơn đặt hàng mới) ELSE DO (không làm gì cả) END IF. Một cấu trúc có điều kiện khác là tuyển chọn nhiều nhánh, tức là có rất nhiều hànhđộng mà chương trình có thể làm, nhưng chỉ một hành động được chọn như sau: READ (số lượng tồn kho một mặt hàng) SELECT CASE CASE 1 (số lượng tồn kho lớn hơn số dự trữ tối thiểu) DO (không làm gì cả) CASE 2 (số lượng tồn kho bằng số dự trữ tối thiểu) DO (không làm gì cả) CASE 3 (số lượng tồn kho nhỏ hơn số dự trữ tối thiểu) GENERATE (đơn đặt hàng mới) CASE 4 (kho rỗng) INITIATE (tình trạng khẩn cấp, lập đơn hàng) Tiến trình có thể có dạng các vòng DO – UNTIL ho ặc các vòng DO – WHILE.Vòng DO – UNTIL có thể biểu diễn như sau: DO READ (các bản ghi lưu kho) BEGIN IF IF (số lượng tồn kho nhỏ hơn số dự trữ tối thiểu) THEN GENERATE (đơn đặt hàng mới) ELSE DO (không làm gì cả) END IF UNTIL (kết thúc tập tin) Vòng lặp DO – WHILE có thể biểu diễn như sau: READ (các bản ghi lưu kho) WHILE NOT (kết thúc tập tin) DO BEGIN IF IF (số lượng tồn kho nhỏ hơn số dự trữ tối thiểu) THEN GENERATE (đơn đặt hàng mới) ELSE DO (không làm gì cả) END IF END DO Ví dụ sau đây là đặc tả tiếng Anh có c ấu trúc c ủa m ột bi ểu đ ồ ti ến trình đ ược xácđịnh hệ thống quản lý kho ở hình 5.1 Phiếu giao 1 2 Nhà cung c ấp C ập nhật hàng C ập nhật hàng nhập mớ i s ử dụng Đ ơ n hàng Phiếu giao Tổng bổ sung 3 Hóa đơ n thanh toán Tạo đơ n hàng 4 B ộ phận t ồn kho Lượ ng t ồn kho Tạo hoá đơ n thanh toán Thẻ kho D1 Mứ c dự trữ t ối thiểu Hình 5.1. Biểu đồ luồng dữ liệu logic hiện thời về quản lý kho Có 4 tiến trình được mô tả trong hình 5.1: cập nhật các mặt hàng nhập mới, cậpnhật các mặt hàng sử dụng, tạo đơn hàng, tạo hóa đơn thanh toán . Biểu diễn tiếngAnh có cấu trúc của mỗi tiến trình được mô tả ở bảng 5.1. Trong ti ếng Anh c ấu trúc,các thuật ngữ, ký hiệu, các phép so sánh logic như lớn hơn hay nhỏ hơn đều được viếtra mà không sử dụng các ký hiệu số học.Tiến trình 1: cập nhật hàng nhập mớiDO ĐỌC (phiếu giao hàng tiếp theo) TÌM (thẻ-kho tương ứng) CẬP NHẬT (thẻ kho)UNTIL hết phiếu giao hàngTiến trình 2: Cập nhật hàng xuất sử dụngDO ĐỌC (phiếu xuất kho tiếp theo) TÌM (thẻ kho tương ứng) CẬP NHẬT (thẻ kho)UNTIL hết phiếu xuất khoTiến trình 3: lập đơn hàngDO ĐỌC (thẻ kho tiếp theo) IF(số lượng tồn kho) IS LESS THAN (số dự trữ tối thiểu) THEN (lập đơn hàng) ENDIFUNTIL hết thẻ khoTiến trình 4: Tạo hoá đơn thanh toánREAD (ngày hiện thời)SORT (bản ghi phiếu giao) BY dateDO READ (bản ghi phiếu giao tiếp theo) IF (date IS 30 OR GREATER THAN (ngày hiện tại) THEN (lập giấy thanh toán)UNTIL END OF FILE Bảng 5.1. Biểu diễn tiếng Anh cấu trúc cho biểu đồ hình 5.1 Chú ý rằng, định dạng của một tiến trình bằng ti ếng Anh có c ấu trúc đã b ắt ch ướcđịnh dạng sử dụng trong các ngôn ngữ lập trình, đặc bi ệt là chi ti ết th ụt vào đ ầu dòngcủa nó. Khi sử dụng tiếng Anh có c ấu trúc thì không phải lo l ằng gì v ề vi ệc t ạo cácbiên, mở và đóng các tập tin, hoặc tìm các bản ghi liên quan trong các t ập tin khácnhau.5.2. Mô hình hóa logic với bảng quyết định Một bảng quyết định là một biểu đồ của một ti ến trình logic, mà ở đó logic đ ượclàm phức tạp một cách hợp lý. Tất cả các lựa chọn có thể và các đi ều ki ện l ựa ch ọnphụ thuộc vào nó được biểu diễn trong dạng bảng. Bảng 5.2 là mô hình logic c ủa m ộthệ thống trả lương tổng quát. Bảng gồm 3 phần: góc các điều kiện, góc các ...