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 LỤC
LỜI MỞ ĐẦU 1
1. 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ì? .6
2. KIẾN TRÚC HỆTHỐNG DỰA TRÊN THÀNH PHẦN 7
3. 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. 11
4. 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. 23
4.4. Thành phần bị động .25
4.5. Thành phần chủ động 28
5. ỨNG DỤNG MÔ HÌNH THÀNH PHẦN TRONG HỆTHỐNG NHÚNG .30
KẾT LUẬN 33