BÀI GIẢNG PHÂN TÍCH THIẾT KẾ HỆ THỐNG THÔNG TIN Nguyễn Văn Vỵ Nguyễn Thị Nhật Thanh Khoa Công nghệ thông tin, Đại học Công nghệ Oct 2007 Khoa Công nghệ thông tin Đại học Công nghệ 2 Nguyễn Văn Vỵ – Ng. Khái ni ệm v ề thi ết k ế h ệ th ống v ật lý Thi ết k ế c ơ s ở d ữ li ệu v ật lý Xây d ựng bi ểu đồ lu ồng h ệ th ống Thi ết k ế ki ến trúc h ệ th ống Thi ết k ế các th ủ t ục x ử lý Thi ết k ế tương tác, các giao di ện và báo cáo Ví d ụ
BÀI GIẢNG PHÂN TÍCH THIẾT KẾ HỆ THỐNG THƠNG TIN Nguyễn Văn Vỵ - Nguyễn Thị Nhật Thanh Khoa Công nghệ thông tin, Đại học Công nghệ Bài – Thiết kế hệ thống vật lý Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Khái niệm thiết kế hệ thống vật lý Thiết kế sở liệu vật lý Xây dựng biểu đồ luồng hệ thống Thiết kế kiến trúc hệ thống Thiết kế thủ tục xử lý Thiết kế tương tác, giao diện báo cáo Ví dụ Oct - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ Tài liệu tham khảo Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Nguyễn Văn Vy Giáo trình phân tích thiết kế HTTT Đại học Cơng nghệ, 2007 Nguyên Văn Vỵ Phân tích thiế kế HTTT Hướng cấu trúc hướng đối tượng NXB Thống kê, 2002 Nguyễn Văn Vy Phân tích thiết kế HTTT quản lý NXB Khoa học Tự nhiên Công nghệ, Hà nội, 2007 Nguyễn văn Vy, Nguyễn Việt Hà Giáo trình Kỹ nghệ phần mềm Đại học Công nghệ, 2006 Grady Booch, James Rumbaugh, Ivar Jacobson The Unified Modeling language User Guid Addison-Wesley, 1998 Jeffrey A.Hoffer, Joey F.Gorge, Joseph S.Valacich Modern Systems Analysis and Design 2th Edition, Addison Wesley Longman, Inc 1999 Sommerville Software Engineering 6th Edition, Addison- Wasley, 2001 Oct - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ Thiết kế sở liệu vật lý Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Thiết kế CSDL vật lý chuyển mơ hình liệu lơgic thành đặc tả liệu vật lý phù hợp với điều kiện thiết bị & môi trường cụ thể khơng gian nhu cầu sử dụng Nó bao gồm nội dụng: Chọn công nghệ lưu trữ quản lý liệu, bao gồm hệ điều hành, hệ quản trị CSDL công cụ truy nhập Chuyển mơ hình lơgic thành thiết kế vật lý xác định phươnng án cài đặt hệ thống thiết bị Thiết kế tập trung vào nội dung Oct - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ a Đầu vào cho thiết kế CSDL vật lý Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Đầu vào gồm: Mơ hình liệu lơgic (quan hệ & biểu đồ liên kết) Từ điển liệu (định nghĩa thuộc tính) Mơ tả u cầu sử dụng liệu (loại, số lượng, ví trí, thời gian, cách dùng) Mong đợi người dùng sử dụng, tích hợp liệu Mơ tả công nghệ thiết bị sử dụng (như nêu trên) Oct - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ b Sơ đồ thiết kế sở liệu vật lý Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Cấu trúc CSDL logic Yêu cầu sử dụng Đặc tính hệ quản trị, môi trường CSDL vật lý Oct - 2007 Phân tích khối lượng lưu trữ sử dụng liệu Chiến lược phân tán Tổ chức tệp Lập số Thiết kế ràng buộc an tồn Khoa Cơng nghệ thơng tin - Đại học Cơng nghệ c Nội dung thiết kế CSDL vật lý Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Các nội dung chính: Oct - 2007 Thiết kế trường (cho ghi) Thiết kế ghi (cho tệp) Thiết kế tệp (các loại tệp) Thiết kế sở liệu vật lý (tổ chức tệp) Xây dựng phương án bố trí tệp không gian Ước lượng khối lượng lưu trữ Khoa Công nghệ thông tin - Đại học Công nghệ d Thiết kế trường Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Trường đơn vị liệu nhỏ mà phần mềm hệ thống nhận & thao tác Mục tiêu: Tiết kiệm khơng gian nhớ (chọn kích cỡ, kiểu) Biểu diễn giá trị (kiểu, định dạng) Cải thiện tính toàn vẹn (biểu diễn, thể hiện) Hỗ trợ thao tác (kiểu, định dạng, thể hiện) Một thuộc tính mơ hình liệu logic biểu diễn thành hay số trường Oct - 2007 Đặc tả trường Khoa Công nghệ thông tin - Đại học Công nghệ d1 Vài đặc tả tiêu biểu trường tả Loai đặc tả Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Mô tả nội dung Tên trường Theo quy định hệ quản trị CSDL Kiểu trường Một kiểu sử dụng hệ quản trị CSDL Kích cỡ (size) đơn vị đo biểu diễn giá trị trường Mã hố (coding) Một cách biểu diễn vắn tắt giá trị trường Quy tắc toàn vẹn DL Đặc tả giới hạn đặt lên giá trị trường Các kiểm sốt bảo trì Giá trị phép thay đổi cập nhật Thủ tục DL Mơ tả việc quản lí giá trị trường Công thức (formula) Mô tả công thức tính tốn giá trị trường cần tính tốn Hằng số kiểm tra Đặc tả quan hệ toán học với trường chữ/ số khác Toàn vẹn tham chiếu Đặc tả giá trị trường liên quan đến ghi khác Sở hữu (ownership) Mơ tả người có quyền truy nhập, cập nhật Oct - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ d2 Một số đặc trưng thiết kế trường Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Kiểu liệu định dạng (hệ quản trị cung cấp): DECIMAL(m,n) INTEGER SMALLINT FLOAT (m, n) CHAR (m) DATE LOGICAL OLE Biểu diễn liệu: • Chọn khố • Mã hố liệu - Mã hoá phân cấp - Mã hoá liên tục - Mã gợi nhớ - Mã thành phần ngữ nghĩa • Các trường tính tốn Oct - 2007 • Kiểm tra tính tồn vẹn liệu - Đặt giá trị ngầm định - Kiểm tra khuôn dạng - Kiểm tra giới hạn - Toàn vẹn tham chiếu - Kiểm tra giá trị rỗng - Quản lý liệu Khoa Công nghệ thông tin - Đại học Công nghệ 10 Thiết kế hệ thống tương tác giao diện Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Hệ thống tương tác thiết kế mơ hình hệ thống thực đơn với giao diện khác nhau, qua người dùng sử dụng hệ thống việc lựa chọn thực đơn thực tương tác với giao diện Quá trình thiết kế bao gồm: Thiết kế hệ thống tương tác (thực đơn) Thiết kế giao diện Thiết kế báo cáo gắn với giao diện Oct - 2007 Khoa Công nghệ thông tin - Đại học Cơng nghệ 27 a Tiến trình xác đinh hệ thống tương tác Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Mơ hình thực thể mối quan hệ Xác định giao diện nhập liệu Các biểu đồ luồng hệ thống Xác định giao diện xử lý Kiến trúc hệ thống mức cao Oct - 2007 Tích hợp giao Xây dựng hệ thống tương tác Khoa Công nghệ thông tin - Đại học Công nghệ Hệ thống thực đơn tương tác 28 b Xác đinh giao diện nhập liệu Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Đầu vào: Mơ hình thực thể mối quan hệ Cách tiến hành: Mỗi thực thể xác định giao diện nhập liệu Mỗi quan hệ bậc lớn 2, bậc liên kết m:m hay có thuộc tính xác định giao diện Phác họa giao diện nhập liệu tương ứng với giao diện xác định Kết quả: Tập giao diện nhập liệu Oct - 2007 Khoa Công nghệ thông tin - Đại học Cơng nghệ 29 b1 Ví dụ giao diện nhập liệu Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh sè vé Các giao diện nhập liệu: VÐ ngµy vµo GHI giê vµo XE sè xe Đối tượng Giao diện VÐ Nhập vé số vé XE Nhập xe số xe GHI Ghi vé ERM Oct - 2007 Thuộc tính Khoa Cơng nghệ thơng tin - Đại học Công nghệ số vé, số xe ngàyvào, giờvào 30 c Xác định giao diện xử lý Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Đầu vào: Các biểu đồ luồng hệ thống Cách tiến hành: Mỗi tiến trình máy thực xác định xử lý Nhóm tiến trình xử lý khơng có luồng liệu từ bên vào với giao diện có luồng liệu đến hay từ đến để xác định giao diện xử lý cho nhóm tiến trình Phác họa giao diện nhận Kết quả: Tập giao diện xử lý (nói chung nhỏ số tiến trình hệ thống) Oct - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ 31 c1 Xác định giao diện xử lý Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Các giao diện xử lý: kh¸ch 1.kiĨm tra sổ Tiến trình 3.1 tt cố Biu lung h thng 3.1 kiểm tra không gửi sổ 2.lập biên Tiến trình 3.3 gửi 3.2 kiểm tra hiƯn tr−êng t.t sù cè ®óng 2.XEGUI tt sù cố sai khách 4.PHIEUCHI 3.lập phiếu chi 3.BIENBAN Tiến trình 3.4” 3.4 LËp phiÕu chi 3.3 LËp biªn Biên bản Phiếu chi máy làm Oct - 2007 Khoa Cụng nghệ thông tin - Đại học Công nghệ 32 d Tích hợp giao diện nhận Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Đầu vào: Các giao diện nhập liệu xử lý Cách tiến hành: Loại giao diện trùng lặp Hợp số giao diện có thao tác tương tác liên quan chặt chẽ với (cùng sử dụng nguồn liệu, xử lý liên tục, sử dụng kết nhau, ) thành giao diện Phác họa giao diện nhận Kết quả: Tập giao diện tích hợp Oct - 2007 Khoa Cơng nghệ thông tin - Đại học Công nghệ 33 e Xây dựng hệ thực đơn tương tác Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Đầu vào: Các giao diện tích hợp, kiến trúc hệ thống, tiến trình nghiệp vụ yêu cầu sử dụng Cách tiến hành: từ lên Gắn giao diện tích hợp vào mô đun thấp kiến trúc cách thích hợp Điều chỉnh lại cấu trúc giao diện gắn vào kiến trúc mức thấp cho hợp lý Thay mô đun kiến trúc mức cao giao diện liên kết để liên kết giao diện mức nhận Vẽ biểu đồ liên kết phác họa giao diện liên kết Kết quả: Hệ thống giao diện tương tác phác họa giao diện thuộc Oct - 2007 Khoa Công nghệ thông tin - Đại học Cơng nghệ 34 e1 Ví du thống tương tác Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Truy nhập hệ thống Thực đơn liên kết Thực đơn 1 nhận xe 3.1 kiĨm xe trongtra sỉ tr¶ xe 3.2 lập biên 3 giải cè 3.3 lËp phiÕu båi th−êng báo cáo nhâp liệu 4.1 lập báo cáo 0,4 4.2 nhập loại xe, đơn gia 0,4 Oct - 2007 Khoa Công nghệ thông tin - Đại học Cơng nghệ 35 f Tiến trình thiết kế giao diện Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Thiết lập mục tiêu ý đồ cho nhiệm vụ Ánh xạ thành dãy hành động xác định Xác định kết hành động thực Chỉ trạng thái hệ thống Xác định chế điều khiển Chỉ cách chế điều khiển ảnh hưởng đến trạng thái hệ thống Chỉ cách người dùng diễn giải trạng thái hệ thống từ thông tin cấp qua giao diện Oct - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ 36 g Đặc tả thiết kế giao diện Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Tổng quan Tên giao diện/đối thoại Đặc trưng người sử dụng (ai sử dụng) Đặc trưng nhiệm vụ (mục đích) Đặc trưng hệ thống (các phần mềm hệ thống) Đặc trưng mơi trường (tương tác với hệ ngồi nào) Mẫu thiết kế giao diện/ đối thoại Mấu thiết kế giao diện/ đối thoại Biểu đồ trình tự đối thoại mơ tả thao tác sử dụng Các bảng liệu liên quan Qui trình, cơng thức xử lý thực Định dạng kết Kiểm thử đánh giá tính khả dụng (kiểm thử mục tiêu, kiểm thử thủ tục, kiểm thử kết quả) Oct - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ 37 h Thiết kể biểu mẫu báo cáo Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Cấu trúc Đầu biểu Các thơng tin trình tự theo thời gian Cấu trúc định dạng thông tin Phần chi tiết biểu mẫu Phẩn tổng hợp liệu Xác nhận Bình luận Oct - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ 38 i Các dạng tương tác người - máy Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Dạng hỏi đáp Dạng thực đơn Dạng biểu tượng Dạng biểu mẫu Dạng ngôn ngữ lệnh Tương tác ngôn ngữ tự nhiên Oct - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ 39 j Hướng dẫn phương pháp tương tác Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Cấu trúc kiểm sốt liệu nhập Khơng u cầu thơng tin có Cung cấp giá trị ngầm định Màn hình định dạng thích hợp Cung cấp thông tin phản hồi Thông tin trạng thái Con trỏ hình Thơng báo lỗi cảnh báo Cung cấp trợ giúp tối đa Tự động chỉnh liệu •vào Cung cấp trợ giúp theo khung cảnh, đa dạng Oct - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ 40 k Yêu cầu thiết kế đối thoại Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Các yêu cầu thiết kế: Tính qn Phím nóng trình tự Phản hồi Tính đắn Quản lý lỗi Dễ phục hồi Dễ kiểm soát Dễ thực Oct - 2007 Thiết kế trình tự đối thoại Xây dựng mẫu Đánh giá tính khả dụng mẫu Khoa Công nghệ thông tin - Đại học Công nghệ 41 ... – Thiết kế hệ thống vật lý Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Khái niệm thiết kế hệ thống vật lý Thiết kế sở liệu vật lý Xây dựng biểu đồ luồng hệ thống Thiết kế kiến trúc hệ thống Thiết kế. .. - 2007 Khoa Công nghệ thông tin - Đại học Công nghệ 26 Thiết kế hệ thống tương tác giao diện Nguyễn Văn Vỵ – Nguyễn thị Nhật Thanh Hệ thống tương tác thiết kế mơ hình hệ thống thực đơn với... Vy Giáo trình phân tích thiết kế HTTT Đại học Công nghệ, 2007 Nguyên Văn Vỵ Phân tích thiế kế HTTT Hướng cấu trúc hướng đối tượng NXB Thống kê, 2002 Nguyễn Văn Vy Phân tích thiết kế HTTT quản