LUẬN VĂN: KIỂM CHỨNG MÔ HÌNH ASPECT-UML BẰNG ALLOY

Ngày nay, công nghệ thông tin ngày càng phát triển và được ứng dụng vào tất cả các lĩnh vực của cuộc sống xã hội. Nó tạo ra một diện mạo mới cho xã hội và nhờ đó nền văn minh nhân loại được nâng lên một tầm cao mới. Công nghệ phần mềm là một phần không thể tách rời trong công nghệ thông tin. Hiện nay ngành công nghệ phần mềm trên thế giới đã và đang phát triển như vũ bão. Những tiến bộ của khoa học kĩ thuật phần cứng đã tạo điều kiện thuận lợi...
Nội dung trích xuất từ tài liệu:
LUẬN VĂN: KIỂM CHỨNG MÔ HÌNH ASPECT-UML BẰNG ALLOY ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Bùi Duy HảiKIỂM CHỨNG MÔ HÌNH ASPECT-UML BẰNG ALLOY 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 - 2010 1 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Bùi Duy HảiKIỂM CHỨNG MÔ HÌNH ASPECT-UML BẰNG ALLOY 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: Phạm Thị Kim Dung HÀ NỘI - 2010 LỜI CÁM ƠN Đầu tiên tôi xin gửi lời cảm ơn sâu sắc tới cô giáo Ths.Phạm Thị KimDung, bộ môn công nghệ phần mềm, khoa công nghệ thông tin, trường đại họccông nghệ, đại học Quốc Gia Hà Nội – người đã định hướng đề tài và tận tìnhhướng dẫn chỉ bảo tôi trong suốt quá trình thực hiện khóa luậ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ệ, Đai 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 bốn năm học làm nền tảng cho tôithực hiện khóa luận tốt nghiệp này. Con xin cảm ơn cha mẹ và gia đình đã sinh ra và nuôi dạy con khôn lớn,luôn bên cạnh động viên và ủng hộ con trên con đường mà con yêu thích và lựachọn. Cám ơn các bạn sinh viên Khoa công nghệ thông tin khóa 2006-2010. Cácbạn đã giúp đỡ và ủng hộ tôi rất nhiều cũng như đóng góp nhiều ý kiến quý báu,qua đó, giúp tôi hoàn thiện khóa luận tốt hơn. Mặc dù đã rất nỗ lực, cố gắng nhưng chắc hẳn khóa luận của tôi vẫn cònnhiều thiếu sót. Tôi rất mong nhận được nhiều những ý kiến đánh giá quý, phêbình của quý 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 2010 Bùi Duy Hải Mục Lục1 Chương 1 : MỞ ĐẦU ........................................................................................ 6 1.1 Đặt vấn đề ................................................................................................... 6 1.2 Cấu trúc khóa luận ...................................................................................... 62 Chương 2: Giới thiệu về mô hình UML và lập trình hướng Aspect ................... 7 2.1 Mô hình UML (Unifined Model Language) ................................................ 7 2.1.1 Lịch sử phát triển của UML .................................................................. 7 2.1.2 Ứng dụng của mô hình UML ................................................................ 9 2.1.3 Các loại biểu đồ UML......................................................................... 12 2.2 Ngôn ngữ ràng buộc đối tượng (OCL) ...................................................... 13 2.3 Lập trình hướng khía cạnh (Aspect Oriented Programming) ..................... 15 2.3.1 Phương pháp lập trình hướng khía cạnh .............................................. 15 2.3.2 Các khái niệm trong Aspect ................................................................ 213 Chương 3: Kiểm chứng mô hình Aspect-UML ............................................... 23 3.1 Giới thiệu về Alloy ................................................................................... 23 3.1.1 Alloy là gì? ......................................................................................... 23 3.1.2 Tính chất của ngôn ngữ alloy .............................................................. 23 3.1.3 Cấu trúc một chương trình Alloy ........................................................ 24 3.1.4 Khai báo trong alloy............................................................................ 24 3.2 Đặc tả mô hình Aspect-UML trong Alloy ................................................. 28 3.2.1 Mô hình Aspect UML ......................................................................... 28 3.2.2 Mô hình viễn thông ............................................................................. 30 3.2.3 Đặc tả mô hình Aspect UML bằng Alloy ............................................ 32 3.2.4 Kiểm chứng mô hình Aspect UML sử dụng Alloy .............................. 374 Chương 4 : Kết luận ........................................................................................ 40 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 .... Error! Bookmark not defined.Hình 2: Mô hình UML không biểu diễn hết đặc tả ............ Error! Bookmark not d ...