BÀI tập PHÂN TÍCH THIẾT kế hệ THỐNG bộ môn hệ thống thông tin

Bộ môn Hệ thống thông tin Trường Đại Học Công Nghiệp TP.HCM Khoa Công Nghệ Thông Tin CASE STUDY 1: HỆ THỐNG MÁY RÚT TIỀN TỰ ĐỘNG 1.1 Mục tiêu case study Từ mô tả hệ thống, yêu cầu chức năng, sinh viên phải xác định  Các Actor hệ thống ATM  Các use case hệ thống  Vẽ sơ đồ use case  Đặc tả use case  Mơ hình hóa đặc tả use case sơ đồ activity  Tổ chức use cases 1.2 Mô tả hệ thống yêu cầu chức  Hệ thống máy rút tiền tự động (ATM) có đầu đọc thẻ từ cho đọc thẻ ATM, giao diện điều khiển (bàn phím hình) để tương tác với khách hàng, máy in để in hóa đơn khách hàng  Hệ thống ủy quyền Visa (VISA AS) cho phép giao dịch rút tiền thực cách sử dụng thẻ thông minh Visa  Hệ thống thông tin ngân hàng (Bank IS) cho phép tất giao dịch thực khách hàng sử dụng thẻ thơng minh ngân hàng hay, truy cập vào số dư tài khoản  Máy ATM phục vụ khách hàng có thẻ ATM thời điểm  Một khách hàng yêu cầu để chèn thẻ ATM nhập mã số cá nhân (PIN), thẻ ATM Mã PIN gửi đến ngân hàng để xác nhận Sau đó, khách hàng thực nhiều giao dịch Các thẻ giữ lại máy khách hàng khơng cịn giao dịch nữa, máy ATM trả lại thẻ cho khách hàng  Khách hàng sử dụng thẻ ATM VISA  Máy ATM phải có khả cung cấp dịch vụ sau cho khách hàng:  Một khách hàng phải thực rút số tiền mặt nhỏ số tiền từ tài khoản liên quan đến thẻ, bội số 50000  Một khách hàng phải có khả thực khoản tiền gửi tài khoản liên quan đến thẻ, khách hàng nhập số tiền gửi vào máy ATM, thông tin số tiền gửi xác nhận từ ngân hàng  Một khách hàng phải có khả thực chuyển tiền hai tài khoản liên kết đến thẻ  Một khách hàng phải có khả kiểm tra số dư tài khoản liên quan đến thẻ  Khách hàng hủy bỏ giao dịch cách nhấn phím Cancel  Nếu ngân hàng xác định mã PIN khách hàng không hợp lệ, khách hàng yêu cầu nhập lại mã PIN Nếu khách hàng nhập sai mã PIN ba lần, thẻ giữ lại máy, khách hàng phải liên hệ với ngân hàng để nhận lại thẻ  Máy ATM phải cung cấp cho khách hàng hóa đơn giao dịch thành công, gồm thông tin ngày tháng, thời gian, vị trí máy, loại giao dịch, số tài khoản, số tiền giao dịch số dư  Thông tin khách hàng chủ thẻ lưu trữ hệ thống gồm Mã khách hàng, họ tên, địa chỉ, khách hàng có nhiều tài khoản, tài khoản thuộc khách hàng Một số PIN kết hợp với thẻ để xác minh tính xác thực người sử dụng 1.3 Yêu cầu sinh viên Xác định actors actor phụ hệ thống ATM Ví dụ: Khách hàng ngân hàng, chủ thẻ VISA Xác định use case Ví dụ: rút tiền, kiểm tra tài khoản Vẽ sơ đồ use case Từ use case actor xác định câu 2, vẽ sơ đồ use case cách:  Xác định mối quan hệ use case  Xác định mối quan hệ use case actor  Xác định mối quan hệ actor actor Ví dụ: Đặc tả use case vẽ Activity biểu diễn đặc tả use case Ứng với use case, sinh viên mô tả văn bước thực use case Có thể đặc tả theo cấu trúc sau:  Mơ tả tóm tắt: bao gồm tên use case, tóm tắt hoạt động use case, ngày tạo ngày cập nhật, phiên bản, Actor thực use case  Luồng kiện:  Mơ tả kịch thành cơng  Mô tả luồng thay lỗi  Điều kiện tiên hậu điều kiện  Yêu cầu giao diện người dùng (tùy chọn)  Yêu cầu phi chức (tùy chọn)  Các yếu tố: tính sẵn có, độ xác, tính tồn vẹn, bảo mật, hiệu suất, đồng thời, vv Ví dụ: Đặc tả use case Rút tiền thẻ VISA I Mơ tả tóm tắt  Tên use case: Rút tiền thẻ Visa  Tóm tắt hoạt động use case: use case cho phép chủ thẻ Visa (Visa card holder), khách hàng ngân hàng (Bank customer), rút tiền hạn mức cho phép  Actors: Chủ thẻ VISA (Visa CardHolder- actor chính), Hệ thống chứng thực (Visa AS – actor phụ) II Dịng kiện  Điều kiện tiên quyết:  Hộp tiền mặt ATM đầy  Khơng có thẻ đầu đọc Actor System Chủ thẻ Visa chèn thẻ VISA Hệ thống ATM kiển tra thẻ Visa vào máy ATM Hệ thống ATM yêu cầu chủ thẻ Visa nhập số PIN Chủ thẻ Visa nhập số PIN Hệ thống ATM kiểm tra số PIN Hệ thống ATM yêu cầu xác nhận từ hệ thống chứng thực VISA Hệ thống chứng thực VISA Hệ thống ATM yêu cầu chủ thẻ Visa nhập số xác nhận hiển thị số dư tiền cần rút Chủ thẻ Visa số tiền cần rút 10 Hệ thống ATM kiểm tra số tiền cần rút có nằm giới hạn số tiền rút hàng ngày khơng? 11 Hệ thống ATM yêu cầu chủ thẻ Visa xác nhận có cần in biên nhận khơng? 12 Chủ thẻ Visa yêu cầu biên nhận 13 Hệ thống ATM xuất tiển trả thẻ Visa cho chủ thẻ 14 Chủ thẻ Visa nhận tiền thẻ 15 Hệ thống ATM in biên nhận 16 Chủ thẻ nhận biên nhận  Luồng kiện thay  A1: Số PIN không đúng, luồng A1 bắt đầu bước luồng kiện Hệ thống ATM thơng báo cho chủ thẻ số PIN sai cho lần thứ hai Hệ thống ATM ghi lại thất bại thẻ thông minh Quay lại bước  A2: Số tiền yêu cầu lớn giới hạn, luồng A2 bắt đầu bước 10 luồng kiện 11 Hệ thống ATM thơng báo cho chủ thẻ số tiền yêu cầu lớn mức giới hạn số tiền phép rút hàng ngày Quay lại bước  A3: Chủ thẻ khơng nhận hóa đơn, luồng A3 bắt đầu bước 11 luồng kiện 12 Chủ thẻ Visa từ chối biên nhận 13 Hệ thống ATM trả thẻ 14 Chủ thẻ Visa nhận lại thẻ 15 Hệ thống ATM xuất tiền 16 Các chủ thẻ Visa nhận tiền mặt  Hậu điều kiện (postconditions)  Tủ tiền máy ATM giảm số tiền với số tiền chủ thể rút III Yêu cầu phi chức  Thời gian đáp ứng:  Hệ thống phải trả lời thời hạn tối đa giây  Một giao dịch phải phút  Tính đồng thời: khơng áp dụng (chỉ giao dịch thời điểm)  Tính sẵn sàng: hệ thống ATM truy cập 24 /  Khi hết giấy in biên lai, chủ thẻ rút tiền  Tính tồn vẹn: Giao diện máy ATM phải chắn để tránh phá hoại  Bảo mật: tỉ lệ thất bại kiểm tra mã PIN thẻ ATM tối đa 10-6 Activity biểu diễn use case Rút tiền thẻ VISA Sinh viên đặc tả use case vẽ activity lại Mơ hình hóa đặc tả use case sơ đồ mức hệ thống (System sequence diagram) 5.1 Vẽ sơ đồ mức hệ thống để biểu diễn đặc tả use case 5.2 Mở rộng sơ đồ mức hệ thống bổ sung mô tả kịch VD minh họa cho yêu cầu 5.1: sơ đồ mức hệ thống biểu diễn đặc tả use case rút tiền thẻ VISA Sinh viên thực biểu diễn cho đặc tả use case lại hệ thống VD minh họa cho yêu cầu 5.2 Mở rộng hệ thống sơ đồ mô tả kịch use case Rút tiền thẻ visa Sinh viên mở rộng cho sơ đồ lại Tổ chức use cases* Có thể tổ chức use case theo hai cách khác nhau:  Bằng cách thêm include, extend mối quan hệ tổng quát use case  Bằng cách nhóm chúng thành packages để xác định khối chức cấp cao Ví dụ minh họa: Sau mơ hình hóa hành vi hệ thống sơ đồ use case, từ phát biểu toán, sinh viên xác định khái niệm (tìm danh từ cụm danh từ) Ví dụ: khách hàng, thẻ VISA, thẻ ATM, … Xác định thuộc tính lớp mối quan hệ lớp, vẽ mơ hình domain Ví dụ: CARD CardNo Status PIN CUSTOMER CustomerID CustomerName CustomerAddress TRANSACTION TransactionDate TransactionTime TransactionATMMachineNo CardNo Amount ACCOUNT AccountID CustomerID OverDraft Amount Type Sinh viên xác định lớp lại bổ sung vào sơ đồ Điền lượng số tham gia vào mối quan hệ Ví dụ: 10 Từ sơ đồ mức hệ thống, sinh viên vẽ sơ đồ biểu diễn chi tiết hoạt động use case, tương tác lớp, đối tượng nào, xác định thông điệp tương tác Ví dụ: Sơ đồ cho usecase Validate Card Lưu ý:  ATM Machine hệ thống phần cứng, khơng phải tên class nên khơng có dâu : đưng phía trước  Hàm checkValidateCard() phải tồn class CARD  Nhiều học viên vẽ sơ đồ lớp đàng, thiết kế sơ đồ nẻo, chả ăn nhập với  Học viên phải biết sử dụng thành thạo khối ALT trường hợp muốn mơ tả cho xử lý có điều kiện rẽ nhánh  Phải nắm rõ tương tác phần cứng, hệ thống phần mềm class (như ví dụ mẫu trên) 11 Tìm phương thức liên quan đến lớp, thêm phương thức vào lớp 12 Hoàn chỉnh sơ đồ lớp 2 CASE STUDY 2: HỆ THỐNG ĐẶT VÉ MÁY BAY 2.1 Phát biểu tốn Các cơng ty hàng khơng (AirlineCompany) cung cấp nhiều chuyến bay (Flight) khác Một chuyến bay mở đóng đặt vé theo yêu cầu cơng ty Một khách hàng đặt vé nhiều chuyến bay cho nhiều hành khách khác Một vé đặt (Booking) liên quan đến chuyến bay hành khách Vé đặt (Booking) xác nhận bị hủy Một chuyến bay có sân bay (departure airport) sân bay đến (arrival airport) Một chuyến bay có ngày thời gian đi, ngày thời gian đến Một chuyến bay liên quan đến chặng dừng(stopover) sân bay Một chặng dừng có thời gian đến thời gian 10 Mỗi sân bay phục vụ nhiều thành phố (Each airport serves one or more cities) 2.2 Yêu cầu sinh viên (bài tập lớn - thực theo nhóm) A PHÂN TÍCH HỆ THỐNG Viết bổ sung phần phát biểu toán gồm:  Quy tắc nghiệp vụ  Yêu cầu chức hệ thống mà hệ thống phải đạt Vẽ mơ hình use case cho hệ thống Ứng với use case, viết đặc tả use case, vẽ sơ đồ activity, sequence Từ phát biểu toán, xác định khái niệm (danh từ cụm danh từ) VD: Công ty hàng không (AirlineCompany), khách hàng (Custome), sân bay (Airport), chặn dừng (StopoverInfo),… 5 Ứng với khái niệm, xác định khái niệm đối tượng cần phải lưu trữ hệ thống, xác định lớp đối tượng Ứng với lớp đối tượng, xác định thuộc tính tương ứng Gợi ý: Mỗi chuyến bay (Flight) có thông tin: thời gian thời gian đến, ngày đi, ngày đến Tìm mối quan hệ đối tượng xác định bước 3, biểu diễn domain model VD: Chuyến bay sân bay, chuyến bay hãng hàng không, khách hàng chuyến bay, … VD: Biểu diễn domain model biểu diễn quan hệ chuyến bay (Flight), sân bay (Airpot), chặn dừng (Stopover) Xác định bảng lượng số tham gia đối tượng vào mối quan hệ Ví dụ: B THIẾT KẾ HỆ THỐNG Từ sơ đồ mức hệ thống, sinh viên vẽ sơ đồ biểu diễn chi tiết hoạt động use case (sơ đồ mức thiết kế), tương tác lớp, đối tượng, xác định thông điệp tương tác Tải FULL (41 trang): https://bit.ly/3q67mns Dự phòng: fb.com/TaiHo123doc.net 10 Phân tích hoạt động: Mở đặt vé (openbooking), đóng đặt vé (Close Booking), xác nhận đặt vé (Confirm), hủy đặt vé (cancel), xác định hành vi đối tượng nào, gán phương thức vào lớp tương ứng 11 Hoàn chỉnh sơ đồ lớp toàn hệ thống: xác định loại mối quan hệ lớp, từ sơ đồ mức thiết kế, bổ sung phương thức vào lớp 12 Tổ chức lớp thành package (yêu cầu mở rộng*) Để dễ sử dụng để chuẩn bị cho thiết kế hướng đối tượng, lớp sơ đồ lớp cấu trúc thành packages Nguyên tắc nhóm lớp dựa ngữ nghĩa, tiêu chí gắn kết phải đáp ứng: Mỗi gói có chứa tập lớp liên kết chặt chẽ, lớp package gần độc lập Ví dụ: Tải FULL (41 trang): https://bit.ly/3q67mns Dự phòng: fb.com/TaiHo123doc.net CASE STUDY 3: YÊU CẦU ĐÀO TẠO 3.1 Phát biểu toán 1) Quá trình đào tạo (training process) bắt đầu người quản lý đào tạo (training manager) nhận yêu cầu đào tạo từ đại diện học viên (behalf of an employee) Yêu cầu tiếp nhận người phụ trách (person in charge), người phụ trách kiểm tra yêu cầu đào tạo xem có đáp ứng khơng, sau chuyển tiếp u cầu chấp nhận từ chối đến người liên quan 2) Trong trường hợp yêu cầu chấp nhận, người phụ trách tìm khóa học (training course) phù hợp với yêu cầu danh mục khóa học (catalogue of registered courses) sau thơng báo cho học viên nội dung khóa học đưa danh sách học kỳ (subsequent sessions) Khi học viên định, người quản lý đào tạo ghi danh học viên gửi đến phận đào tạo liên quan 3) Nếu có yêu cầu hủy khóa học, học viên phải thơng báo cho người quản lý đào tạo thời gian sớm để hủy bỏ 4) Khi kết thúc đào tạo, học viên phải nộp phiếu đánh giá cho người quản lý đào tạo khóa học mà họ hoàn thành, tài liệu chứng minh học viên tham dự khóa học 5) Người quản lý đào tạo kiểm tra hóa đơn từ phận đào tạo chuyển đến trước chuyển cho nhân viên kế toán 3.2 Yêu cầu sinh viên (bài tập lớn – thực theo nhóm) A PHÂN TÍCH HỆ THỐNG Từ phát biểu tốn, xác định yêu cầu hệ thống Xác định nhiệm vụ mà hệ thống phải thực được, đặc tả chức hệ thống VD:  Hệ thống phải cho phép yêu cầu đào tạo khởi tạo yêu cầu phải thực học viên đăng ký thành công  Hệ thống phải cho phép hoạt động sau tự động: o Gửi yêu cầu (nhân viên), o Kiểm tra u cầu (quản lý đào tạo), o Tìm khóa đào tạo (quản lý đào tạo), 4992225 ... viên kế toán 3.2 Yêu cầu sinh viên (bài tập lớn – thực theo nhóm) A PHÂN TÍCH HỆ THỐNG Từ phát biểu toán, xác định yêu cầu hệ thống Xác định nhiệm vụ mà hệ thống phải thực được, đặc tả chức hệ thống. .. viên (bài tập lớn - thực theo nhóm) A PHÂN TÍCH HỆ THỐNG Viết bổ sung phần phát biểu toán gồm:  Quy tắc nghiệp vụ  Yêu cầu chức hệ thống mà hệ thống phải đạt Vẽ mô hình use case cho hệ thống. .. ATM Hệ thống ATM yêu cầu chủ thẻ Visa nhập số PIN Chủ thẻ Visa nhập số PIN Hệ thống ATM kiểm tra số PIN Hệ thống ATM yêu cầu xác nhận từ hệ thống chứng thực VISA Hệ thống chứng thực VISA Hệ thống