MUC LỤC

MUC LỤC …………………………………………………………………………………………………………… 3
DANH SÁCH CÁC HÌNH VẼ ……………………………………………………………………………… 5
DANH SÁCH CÁC THUẬT NGỮ VÀ KHÁI NIỆM …………………………………………….. 7
CHƯƠNG 1: ĐẶT VẤN ĐỀ …………………………………………………………………………………. 8
1.1 Sự cần thiết của đề tài ………………………………………………………………….. 8
1.2 Nội dung đề tài ……………………………………………………………………………. 9
1.3 Đóng góp của luận văn ………………………………………………………………. 10
1.4 Cấu trúc luận văn ………………………………………………………………………. 10
CHƯƠNG 2. EAOP VÀ EVENT-B …………………………………………………………………….. 12
2.1 Các đặc điểm của lập trình hướng khía cạnh …………………………………. 12
 2.1.1. Quản lý các concerns hệ thống ………………………………………………… 15
 2.1.2. Phương pháp luận của AOP ……………………………………………………. 18
 2.1.3. Ưu điểm của AOP …………………………………………………………………. 19
 2.1.4. Nhược điểm của AOP…………………………………………………………….. 19
2.2 Lập trình hướng khía cạnh dựa sự kiện …………………………………………. 20
 2.2.1 Công cụ EAOP: Kiến trúc và thực hiện …………………………….. 21
2.3 Event-B …………………………………………………………………………………….. 27
 2.3.1 Máy và ngữ cảnh ……………………………………………………………………. 27
 2.3.2. Sự kiện …………………………………………………………………………………. 30
 2.3.3. Phân rã và kết hợp …………………………………………………………………. 31
 2.3.4. Công cụ ………………………………………………………………………………… 31
CHƯƠNG 3: MÔ HÌNH HÓA VÀ KIỂM CHỨNG CÁC PHẦN MỀM LẬP TRÌNH
HƯỚNG KHÍA CẠNH ………………………………………………………………………………………. 33
3.1 Trình bày EAOP trong Event-B …………………………………………………… 33
3.2 Mô hình hóa hệ thống EAOP sử dụng Event-B ……………………………… 34
3.3 Kiểm chứng các thuộc tính hệ thống …………………………………………….. 34
CHƯƠNG 4: PHƯƠNG PHÁP THỰC NGHIỆM ……………………………………………….. 36
KẾT LUẬN ……………………………………………………………………………………………………….. 45
TÀI LIỆU THAM KHẢO …………………………………………………………………………………… 47
PHỤ LỤC ………………………………………………………………………………………………………….. 49