Luận văn Thạc sĩ Công nghệ thông tin: Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh

Trong luận văn này, tác giả đề xuất một phương pháp dựa trên phân tích một ứng dụng EAOP bằng phương pháp hình thức Event-B. Ý tưởng xuất phát từ sự tương đồng giữa cấu trúc sự kiện Event-B và EAOP. Đầu tiên, tác giả xác định các thành phần ứng dụng trong EAOP chuyển đổi sang mô hình Event-B. Tiếp theo, tác giả đưa mô hình hóa tiếp cận thực tế bằng cách sử dụng nền tảng Rodin để kiểm chứng thuộc tính chương trình có còn bảo tồn một số tính chất...
Nội dung trích xuất từ tài liệu:
Luận văn Thạc sĩ Công nghệ thông tin: Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnhĐẠI HỌC QUỐC GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆPHẠM NHƯ UYỂNMÔ HÌNH HÓA VÀ KIỂM CHỨNGCÁC CHƯƠNG TRÌNH PHẦN MỀM HƯỚNG KHÍA CẠNHLUẬN VĂN THẠC SỸ CÔNG NGHỆ THÔNG TINHÀ NỘI - 2016ĐẠI HỌC QUỐC GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆPHẠM NHƯ UYỂNMÔ HÌNH HÓA VÀ KIỂM CHỨNGCÁC CHƯƠNG TRÌNH PHẦN MỀM HƯỚNG KHÍA CẠNHNgành: Công nghệ Thông tinChuyên ngành: Kỹ thuật Phần mềmMã số: 60480103NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS Trương Ninh ThuậnHÀ NỘI - 2016LỜI CAM ĐOANTôi xin cam đoan toàn bộ nội dung bản luận văn là do tôi tìm hiểu, nghiên cứu,tham khảo và tổng hợp từ các nguồn tài liệu khác nhau và làm theo hướng dẫn củangười hướng dẫn khoa học. Các nguồn tài liệu tham khảo, tổng hợp đều có nguồngốc rõ ràng và trích dẫn theo đúng quy định.Tôi xin chịu hoàn toàn trách nhiệm về lời cam đoan của mình. Nếu có điều gìsai trái, tôi xin chịu mọi hình thức kỷ luật theo quy định.Hà Nội, tháng 05 năm 2016Người cam đoanPhạm Như UyểnLỜI CẢM ƠNĐầu tiên tôi xin gửi lời cảm ơn sâu sắc tới thầy PGS.TS Trương Ninh Thuận,Bộ môn Công nghệ Phần mềm, Khoa Công nghệ Thông tin, trường Đại học CôngNghệ, Đại học Quốc Gia Hà Nội – người đã định hướng đề tài và tận tình hướngdẫn chỉ bảo tôi trong suốt quá trình thực hiện luận văn tốt nghiệp này.Tôi cũng xin trân trọng cảm ơn quý thầy cô trong Khoa Công nghệ Thông tintrường Đại học Công Nghệ, Đại học Quốc Gia Hà Nội đã tận tình giảng dạy, truyềnđạt những kiến thức quý báu trong suốt quá trình học làm nền tảng cho tôi thựchiện luận văn này.Cám ơn các anh, chị nghiên cứu sinh và các bạn học viên Khoa Công nghệThông tin. Các anh chị và các bạn đã giúp đỡ, ủng hộ tôi rất nhiều cũng như đónggóp nhiều ý kiến quý báu, qua đó, giúp tôi hoàn thiện luận văn tốt hơn.Mặc dù đã rất nỗ lực, cố gắng nhưng chắc hẳn luận văn của tôi vẫn còn nhiềuthiếu sót. Tôi rất mong nhận được nhiều những ý kiến đánh giá quý, phê bình củaquý thầy cô, của anh chị và các bạn.Một lần nữa tôi xin chân thành cảm ơn!Hà Nội, tháng 5 năm 2016Phạm Như Uyển3MUC LỤCMUC LỤC ........................................................................................................................... 3DANH SÁCH CÁC HÌNH VẼ .......................................................................................... 5DANH SÁCH CÁC THUẬT NGỮ VÀ KHÁI NIỆM ..................................................... 7CHƯƠNG 1: ĐẶT VẤN ĐỀ .............................................................................................. 81.1Sự cần thiết của đề tài............................................................................. 81.2Nội dung đề tài ........................................................................................ 91.3Đóng góp của luận văn ......................................................................... 101.4Cấu trúc luận văn .................................................................................. 10CHƯƠNG 2. EAOP VÀ EVENT-B ................................................................................ 122.1Cá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....................................................................... 192.2Lập trình hướng khía cạnh dựa sự kiện ................................................. 202.32.2.1 Công cụ EAOP: Kiến trúc và thực hiện ................................... 21Event-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 ...