Mục Lục

1 Chương 1 : MỞ ĐẦU 5

1.1 Đặt vấn đề 5

1.2 Cấu trúc khóa luận 5

2 Chương 2: Giới thiệu về mô hình UML và lập trình hướng Aspect 6

2.1 Mô hình UML (Unifined Model Language) 6

2.1.1 Lịch sử phát triển của UML 6

2.1.2 Ứng dụng của mô hình UML 8

2.1.3 Các loại biểu đồ UML 11

2.2 Ngôn ngữ ràng buộc đối tượng (OCL) 12

2.3 Lập trình hướng khía cạnh (Aspect Oriented Programming) 14

2.3.1 Phương pháp lập trình hướng khía cạnh 14

2.3.2 Các khái niệm trong Aspect 20

3 Chương 3: Kiểm chứng mô hình Aspect-UML 22

3.1 Giới thiệu về Alloy 22

3.1.1 Alloy là gì? 22

3.1.2 Tính chất của ngôn ngữ alloy 22

3.1.3 Cấu trúc một chương trình Alloy 23

3.1.4 Khai báo trong alloy 23

3.2 Đặc tả mô hình Aspect-UML trong Alloy 27

3.2.1 Mô hình Aspect UML 27

3.2.2 Mô hình viễn thông 29

3.2.3 Đặc tả mô hình Aspect UML bằng Alloy 31

3.2.4 Kiểm chứng mô hình Aspect UML sử dụng Alloy 36

4 Chương 4 : Kết luận 39

DANH MỤC HÌNH VẼ

Hình 1: Hợp nhất các phương pháp thiết kế bằng UML 8

Hình 2: Mô hình UML không biểu diễn hết đặc tả 14

Hình 3:OPP 15

Hình 4: Sơ đồ lớp của bài toán vẽ hình 16

Hình 5: Dùng AOP giải quyết bài toán vẽ hình 19

Hình 6: Mô hình class cho hệ thống viễn thông 32

DANH MỤC BẢNG BIỂU

Bảng 1: Ánh xạ giữa các loại join point và pointcut tương ứng 21

Bảng 2: Chuyển đổi thành phần cấu trúc mô hình Aspect UML sang Alloy 33