tailieunhanh - 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. | ĐẠ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ÓA CÁ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ÓA CÁ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 đế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. 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ền tảng của UTP Unifying Theory of Programming . Tôi sẽ trình bày về các khái niệm trong 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ết hợ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ác khuô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ác phươ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ập lị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ài nguyê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 ra trướ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ựa trê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ới mộ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 gian tiê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ầu chức năng yêu cầu phi chức năng và kiểm chứng