LUẬN VĂN: MÔ HÌNH HÓA CÁC HỆ THỐNG DỰA TRÊN CÁC THÀNH PHẦN

Mục đích của khóa luận là nghiên cứu và tìm hiểu các khái niệm liên quan đến thành phần phần mềm, hệ thống dựa trên thành phần và hệ thống dựa trên thành phần thời gian thực. Đầu tiên tôi sẽ trình bày tổng quan về việc xây dựng hệ thống dựa trên thành phần và các lợi ích của nó trong việc phân tích, thiết kế các hệ thống thông tin.
Nội dung trích xuất từ tài liệu:
LUẬN VĂN:MÔ HÌNH HÓA CÁC HỆ THỐNG DỰA TRÊN CÁC THÀNH PHẦN ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Nguyễn Văn Nghiệp MÔ HÌNH HÓACÁC HỆ THỐNG DỰA TRÊN CÁC THÀNH PHẦN KHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY Ngành: Công nghệ thông tin HÀ NỘI - 2009 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Nguyễn Văn Nghiệp MÔ HÌNH HÓACÁC HỆ THỐNG DỰA TRÊN CÁC THÀNH PHẦN KHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY Ngành: Công nghệ thông tin Cán bộ hướng dẫn: TS. Đặng Văn Hưng HÀ NỘI - 2009 TÓM TẮT NỘI DUNG KHÓA LUẬN Mục đích của khóa luận là nghiên cứu và tìm hiểu các khái niệm liên quan đếnthành phần phần mềm, hệ thống dựa trên thành phần và hệ thống dựa trên thành phầnthời gian thực. Đầu tiên tôi sẽ trình bày tổng quan về việc xây dựng hệ thống dựa trênthành phần và các lợi ích của nó trong việc phân tích, thiết kế các hệ thống thông tin.Tôi sẽ trình bày việc mô hình hóa hình thức hệ thống dựa trên thành phần dựa trên nềntảng của UTP (Unifying Theory of Programming). Tôi sẽ trình bày về các khái niệmtrong mô hình hệ thống dựa trên thành phần như: giao diện, hợp đồng, thành phần, kếthợp thành phần. Các định nghĩa này sẽ đóng vai trò nền tảng cho việc phát triển cáckhuôn mẫu cho thành phần. Một hợp đồng được định nghĩa sẽ bao hàm đặc tả của cácphương thức, một thành phần được định nghĩa là một cài đặt của một hợp đồng. Càiđặt này có thể yêu cầu các dịch vụ từ các thành phần khác với một vài giả thiết về lậplịch cho việc giải quyết xung đột các phương thức dùng chung và sử dụng các tàinguyên hiện có trong xử lí song song. Trong khóa luận tôi sẽ trình bày sâu hơn về môhình thành phần thời gian thực dựa trên các khái niệm, các định nghĩa đã được nêu ratrước đó. Với phần này, tôi đưa ra một mô hình giao diện thành phần cho hệ thống dựatrên thành phần thời gian thực. Cùng với đó, đặc tả phương thức sẽ được mở rộng vớimột ràng buộc về thời gian là một quan hệ giữa tài nguyên có sẵn và lượng thời giantiêu tốn để thực thi phương thức. Với mô hình đó, nó hỗ trợ sự phân tách giữa yêu cầuchức năng, yêu cầu phi chức năng và kiểm chứng hợp phần hình thức của hệ thốngdựa trên thành phần thời gian thực. Cuối cùng tôi cho một ví dụ minh họa cho mô hìnhđược nghiên cứu trong luận văn này. LỜI CẢM ƠN. Em xin chân thành cảm ơn các thầy giáo, cô giáo trong khoa đã giúp đỡ em trongthời gian học tập tại khoa để em có những kiến thức nền tảng cho việc nghiên cứukhoa học để áp dụng vào việc nghiên cứu những lý thuyết, kiến thức liên quan đến đềtài khóa luận tốt nghiệp. Đặc biệt, em xin gửi lời cảm ơn sâu sắc đến Tiến sĩ Đặng VănHưng, người đã luôn quan tâm, giúp đỡ, hướng dẫn em trong suốt quá trình nghiêncứu và trình bày khóa. Thầy đã giúp em rất nhiều trong việc tiếp cận các vấn đề mà emcòn chưa hiểu rõ, thầy luôn nhiệt tình chỉ dạy cho em những kinh nghiệm quý báu khitiếp cận các vấn đề mới. Em cũng xin cảm ơn tới gia đình. Gia đình là nguồn lực độngviên em khi làm khóa luận này. Sinh viên Nguyễn Văn Nghiệp MỤC LỤCLỜI MỞ ĐẦU ................................................................................................................11. TỔNG QUAN VỀ HỆ THỐNG DỰA TRÊN CÁC THÀNH PHẦN ...................3 1.1. Hệ thống dựa trên thành phần là gì? ................................................................3 1.1.1. Thành phần phần mềm. .........................................................................................3 1.1.2. Hệ thống dựa trên thành phần ..............................................................................4 1.2. Hệ thống thời gian thực là gì? ...........................................................................62. KIẾN TRÚC HỆ THỐNG DỰA TRÊN THÀNH PHẦN......................................73. TÌM HIỂU MÔ HÌNH THÀNH PHẦN ..................................................................8 3.1 Thiết kế dưới dạng công thức logic ....................................................................8 3.2 Giao diện và hợp đồng ........................................................................................9 3.3. Kết hợp hợp đồng. ............................................................................................114. MÔ HÌNH THÀNH PHẦN THỜI GIAN THỰC .................................................18 4.1. Các thiết kế có nhãn ràng buộc về thời gian sử dụng như dịch vụ. .............18 4.2. Sử dụng các ngôn ngữ hình thức có nhãn ràng buộc về thời gian để đặc các giao thức tương tác thời gian thực và đặc tả tiến trình. ......................................22 4.3. Các hợp đồng thời gian thực. .............. ...