Bài Giảng Mô Hình Hóa Xử Lý Mức Quan Niệm

Chương Mô hình hóa xử lý mức quan niệm Nội dung  Mô hình phân rã chức - BFD  Mô hình dòng liệu - DFD  Các phương pháp phân tích xử lý  Các mức mô hình hoá xử lý  Qui trình mô hình hoá xử lý  Các phương tiện đặc tả xử lý Mô hình hoá hoạt động hệ thống Sơ đồ biểu diễn trao đổi, tương tác Sơ đồ biểu diễn kiện Who? When? Sơ đồ biểu diễn tổ Where? chức Sơ đồ biểu diễn dòng công việc What? Sơ đồ biểu diễn đối tượng How? Sơ đồ vị trí hệ thống Sơ đồ xử lý hệ thống Why? Sơ đồ biểu diễn mục đích Mô hình phân rã chức (BFD)  Biểu diễn phân rã có thứ bậc đơn giản chức cần thực Chức Hệ quản lý cửa hàng Kinh doanh Bán lẻ Quản lý đơn hàng Kế toán Quản lý công nợ Quản lý nhập hàng Quan hệ bao hàm Quản lý tồn kho Quản lý xuất Báo cáo tồn Ví dụ: biểu diễn chức hệ thống Đại lý băng đĩa ABC Các thành phần BFD  Chức công việc tổ chức cần làm phân theo nhiều mức từ tổng hợp đến chi tiết  Tên chức mệnh đề động từ, gồm động từ bổ ngữ  Ký hiệu Tên chức  Quan hệ phân cấp chức biểu diễn Đặc điểm mục đích BFD  Đặc điểm  Cung cấp cách nhìn khái quát chức  Dễ thành lập  Có tính chất tĩnh  Thiếu vắng trao đổi thông tin chức  Mục đích • Xác định phạm vi hệ thống cần phân tích • Giúp phát chức thiếu trùng lặp • Tạo điều kiện thuận lợi hợp tác phân tích viên người sử dụng trình phát triển hệ thống Nguyên tắc phân rã chức  Cách phân chia thường theo nguyên tắc: • Mỗi chức phải phận thực tham gia thực chức cha • Việc thực tất chức phải đảm bảo thực chức mức phân rã chúng  Các bước tiến hành • B1 - Xác định chức • B2 - Phân rã chức BFD - B1 - Xác định chức Hệ quản lý cửa hàng Kinh doanh Kế toán Quản lý tồn kho BFD - B2 - Phân rã chức Hệ quản lý cửa hàng Kinh doanh Bán lẻ Quản lý đơn hàng Kế toán Quản lý công nợ Quản lý nhập hàng Quản lý tồn kho Quản lý xuất Báo cáo tồn Mô hình dòng liệu (DFD)  Đặc trưng • Tiếp cận chủ yếu theo hướng từ xuống: xem hoạt động xử lý hộp đen quan tâm đến việc lưu trữ xử lý thông tin hộp đen • Mặc dù DDL biểu diễn xử lý lẫn liệu hệ thống, ý đến xử lý liệu • Gồm nhóm phương pháp sau: Tom DeMarco, Yourdon & Constantine, Gane & Sarson 10 Qui trình mô hình hoá xử lý Sơ đồ quan niệm xử lý hệ thống hành  Loại bỏ yếu tố vật lý • Ô xử lý: - • Kho liệu: -  Sổ nhật ký nhập  Nhật ký nhập Sổ NKý tồn  Nhật ký tồn Chứng từ hoá đơn  Hoá đơn Gộp ô xử lý •    Đối chiếu cập nhật số kiểm kê, số sử dụng   Xác định tồn kho  +   Lưu hoá đơn Gộp kho liệu • Nhật ký nhập + Hoá đơn  Hoá đơn • Nhật ký tồn  tách liệu nhập vào Hoá đơn 69 Qui trình mô hình hoá xử lý Sơ đồ quan niệm xử lý hệ thống hành 1-2 Lưu hoá đơn (1) Hoá đơn HĐ toán (2) Tồn kiểm kê Số sử dụng, số tồn Hoá đơn chưa toán Xử lý toán hoá đơn NKý tồn kho Xác định NVL tồn Tồn kho + tồn tối thiểu (3) BPSX Đối chiếu cập nhật số kiểm kê, số sử dụng Hoá đơn NCC (4) Lập phiếu đặt mua NVL NVL cần đặt Thông tin tồn kho KHO Xác định NVL tồn mức tối thiểu 70 Qui trình mô hình hoá xử lý Các yếu tố tổ chức thực Yêu cầu hệ thống Quan niệm Hệ thống làm (2) Tổ chức Vật lý Biểu diễn hệ thống hoạt động (3) Hệ thống làm (4) Biểu diễn hệ thống hoạt động (1) Mô tả hệ thống 71 Qui trình mô hình hoá xử lý Sơ đồ quan niệm xử lý hệ thống   Giả xử có yêu cầu đặt cho hệ thống mới: • Hệ thống phải tự động tính tồn kho thời điểm ngày (không kiểm kê nữa) • Hệ thống phải tổng kết tỉ lệ hao hụt NVL hàng tháng Thống cách giải cho hệ thống mới: • Hệ thống thiết lập qui trình xử lý xuất nguyên vật liệu: BPSX có nhu cầu NVL gởi yêu cầu đến thủ kho, thủ kho dựa vào thông tin yêu cầu để xử lý xuất NVL • Loại bỏ công việc kiểm kê để tính tồn kho 72 Qui trình mô hình hoá xử lý Sơ đồ quan niệm xử lý hệ thống Phiếu xuất:2 Thông tin Thông tin báo Thống kê NVL xuất cáo hao hụt Thủ kho 1-2 tỉ lệ hao Lưu hoá hụt đơn Thông tin NVL nhập (1) Hoá đơn Số sử dụng, số Đối chiếu tồn cập nhật số Hoá đơn NKý tồn kho kiểm kê, số sử dụng NCC Tồn kiểm kê (4) Hoá đơn HĐ toán chưa 7toán BPSX Xác định (2) Xử lý NVL tồn Tồn kho + toán hoá tồn tối thiểu đơn Thông tin xuất Yêu vầu NVL NVL (3) Phiếu xuất:1 Lập phiếu Xác định đặt mua Thông NVL cần đặt NVL tồn Xử lý xuất NVL tin xuất mức NVL NVL tối thiểu 73 Đặc tả xử lý  Nhằm biểu diễn nội dung luận lý xử lý dạng bảng  Gồm phần: • Phần đầu đề: tên chức năng, liệu vào / • Phần thân mô tả nội dung xử lý, thường sử dụng hình thức đặc tả: - Các phương trình toán học Bảng định hay định Lưu đồ thuật giải Ngôn ngữ có cấu trúc 74 Đặc tả xử lý Tên chức năng: Tính kết bảo vệ đồ án Đầu vào: Điểm người phản biện, điểm người hướng dẫn, số ủy viên hội đồng, điểm ủy viên hội đồng Đầu ra: Kết bảo vệ Kết bảo vệ = (Điểm người phản biện + Điểm người hướng dẫn + (∑ Điểm ủy viên hội đồng / Số ủy viên hội đồng)) / 75 Bảng định định  Được sử dụng xử lý đặc tả thực chất phân chia trường hợp tùy thuộc số điều kiện vào Ứng với trường hợp có chọn lựa khác biệt số hành động  Số giá trị điều kiện vào phải hữu hạn • “Hóa đơn có số lượng đơn giá không” lấy giá trị Đúng (Đ) Sai (S) • “Số làm việc” lấy giá trị 40  Số trường hợp tích số giá trị điều kiện vào 76 Bảng định định  Bảng định: Điều kiện Giá trị điều kiện Điều kiện ĐK1 … Hành động Hành động HĐ1 Giá trị hành động X X … 77 Bảng định định  Bảng định – ví dụ: Nhà CC Hoá đơn Xác nhận hoá đơn Hoá đơn xác nhận Thông tin đơn hàng Đơn đặt hàng 78 Bảng định định  Bảng định – ví dụ: Điều kiện Giá trị điều kiện Có đơn đặt hàng tương ứng với hóa đơn ? Đ Đ S S Hóa đơn có đúng số lượng và đơn giá không? Đ S Đ S Hành động Giá trị hành động Từ chối hóa đơn không có đơn đặt hàng X Từ chối hóa đơn không đúng số lượng và đơn giá Thanh toán hóa đơn X X X 79 Bảng định định  Bảng định – ví dụ: Xử lý tính lương Thông tin thời gian làm việc Bảng chấm công bảng lương Hồ sơ lương nhân viên Hồ sơ nhân viên Điều kiện Giá trị điều kiện Loại nhân viên C H C H C H Số làm việc 40 Hành động Trả lương tháng Tính lương Giá trị hành động X X X X X X X Tính lương Phát sinh báo cáo ngày nghỉ X 80 Bảng định định  Đơn giản hóa bảng định cách gộp cặp trường hợp thỏa mãn điều kiện • Giống hoàn toàn phần hành động • Chỉ khác dòng phần điều kiện Xử lý tính lương Thông tin thời gian làm việc Bảng chấm công bảng lương Hồ sơ lương nhân viên Hồ sơ nhân viên Điều kiện Giá trị điều kiện Loại nhân viên C H H H Số làm việc - 40 Hành động Trả lương tháng Tính lương Giá trị hành động X X Tính lương Phát sinh báo cáo ngày nghỉ X X X X 81 Bảng định định  Cây định • Nhằm biểu diễn nội dung luận lý xử lý dạng • Các thành phần: - Phần bắt đầu của phiá bên trái là nút không điều kiện - Các nút cuối phía bên phải là các nút hành động - Các nhánh bắt đầu từ nút đầu và các nút liên quan biểu diễn các tình huống rẽ nhánh 82 Bảng định định  Cây định – ví dụ: “xử lý xác nhận hoá đơn” Có đơn đặt hàng tương ứng Không có đơn đặt hàng tương ứng Đúng số lượng và đơn giá Không đúng số lượng và đơn giá Từ chối hóa đơn không có đơn đặt hàng Thanh toán hóa đơn Từ chối hóa đơn không đúng số lượng hay đơn giá 83