LUẬN VĂN: KIỂM TRA SỰ TINH CHẾ HAI MÔ HÌNH CÓ ÁP DỤNG MẪU THIẾT KẾ

Tìm hiểu về khái niệm và vai trò của Mẫu thiết kế (design pattern) nói chung và mẫu thiết kế hợp nhất nói chúng cũng như việc áp dụng mẫu thiết kế hợp nhất (union design pattern) - Thực hiện chuyển biểu đồ lớp UML sang dạng đặc tả OWL Ontology trên cơ sở lý thuyết bài khóa luận của sinh viên Giáp Thị Ngọc Thúy đã thực hiện. - Tìm hiểu một số công cụ đã có hỗ trợ việc so sánh hai OWL Ontology, phân tích những ưu nhược điểm của chúng. - Tìm kiếm giải pháp cho...
Nội dung trích xuất từ tài liệu:
LUẬN VĂN: KIỂM TRA SỰ TINH CHẾ HAI MÔ HÌNH CÓ ÁP DỤNG MẪU THIẾT KẾ ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ Vũ Văn Thế KIỂM TRA SỰ TINH CHẾ HAI MÔ HÌNH CÓ ÁP DỤNG MẪU THIẾT KẾ 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 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ Vũ Văn Thế KIỂM TRA SỰ TINH CHẾ HAI MÔ HÌNH CÓ ÁP DỤNG MẪU THIẾT KẾ 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: ThS. Vũ Diệu Hƣơng Cán bộ đồng hƣớng dẫn: TS. Trƣơng Ninh Thuận HÀ NỘI - 2010 LỜI CẢM ƠN Sau hơn 5 tháng tìm hiểu và thực hiện, khóa luận “Kiểm tra sự tinh chế hai mô hình có áp dụng mẫu thiết kế” đã hoàn thành. Để đạt được kết quả này, chúng tôi đã nỗ lực hết sức đồng thời cũng nhận được rất nhiều sự quan tâm, giúp đỡ, ủng hộ của các thầy cô, bạn bè và gia đình. Trước hết, chúng em xin gửi lời cảm ơn chân thành đến bộ môn Công nghệ phần mềm khoa Công nghệ Thông tin trường Đại học Công nghệ - Đại học Quốc gia Hà Nội và các thầy cô đặc biệt là cô Vũ Diệu Hương, thầy Trương Ninh Thuận và thầy Đặng Việt Dũng đã tận tình giúp đỡ, hướng dẫn chúng em hoàn thành khóa luận này. Chúng tôi rất cảm ơn các bạn bè, các anh chị trong khoa đã bên cạnh ủng hộ, đóng góp ý kiến cho chúng tôi trong quá trình thực hiện khóa luận. Và chúng con cũng xin chân thành cảm ơn gia đình đã luôn động viên, tạo điều kiện tốt nhất cho chúng con học tập và hoàn thành khóa luận. Khóa luận đã hoàn thành với một số kết quả nhất định, tuy nhiên vẫn không tránh khỏi sai sót. Kính mong sự cảm thông và đóng góp ý kiến từ các thầy cô và các bạn. Hà Nội, tháng 5 năm 2010 Vũ Văn Thế Tóm tắt Nội dung chính của bài khóa luận “Kiểm tra sự tinh chế hai mô hình có áp dụng mẫu thiết kế” có thể được trình bày ngắn gọn qua các vấn đề sau: Tìm hiểu về khái niệm và vai trò của Mẫu thiết kế (design pattern) nói chung và - mẫu thiết kế hợp nhất nói chúng cũng như việc áp dụng mẫu thiết kế hợp nhất (union design pattern) Thực hiện chuyển biểu đồ lớp UML sang dạng đặc tả OWL Ontology trên cơ sở - lý thuyết bài khóa luận của sinh viên Giáp Thị Ngọc Thúy đã thực hiện. Tìm hiểu một số công cụ đã có hỗ trợ việc so sánh hai OWL Ontology, phân - tích những ưu nhược điểm của chúng. Tìm kiếm giải pháp cho việc truy vấn OWL Ontology từ ngôn ngữ lập trình - Java đồng thời viết những luật Prolog kiểm tra sự tương đương của hai phiên bản của một biểu đồ lớp trước và sau khi áp dụng mẫu thiết kế hợp nhất. Thiết kế và cài đặt công cụ hỗ trợ so sánh hai OWL Ontology hay hai phiên bản - của một biểu đồ lớp trước và sau khi áp dụng mẫu hợp nhất thông qua những luật Prolog. Mục lục MỞ ĐẦU.............................................................................................................................. 1 CHƢƠNG 1: GIỚI THIỆU VỀ MẪU THIẾT KẾ.......................................................... 2 Vai trò của mẫu thiết kế .......................................................................................... 2 1.1. Mẫu thiết kế hợp nhất (Union Design Pattern) ....................................................... 3 1.2. CHƢƠNG 2: OWL ONTOLOGY VÀ PROLOG ........................................................... 5 2.1. OWL Ontology ....................................................................................................... 5 2.1. Prolog ...................................................................................................................... 6 Giới thiệu ngôn ngữ Prolog .............................................................................. 6 2.1.1. Prolog là ngôn ngữ lập trình logic............................................................ 6 2.1.1.1. 2.1.1.2. Cú pháp Prolog ......................................................................................... 6 Sự kiện và Luật trong Prolog ........................................................................... 7 2.1.2. Xây dựng sự kiện ....................................................................................... 7 2.2.2.1. Xây dựng luật ............................................................................................ 8 2.2.2.2. CHƢƠNG 3. KIỂM TRA SỰ TINH CHẾ HAI MÔ HÌNH CÓ ÁP DỤNG MẪU THIẾT KẾ ........................................................................................................................... 9 Chuyển biểu đồ lớp trong UML sang OWL Ontology ........................................... 9 3.1. Thực hiện so sánh hai OWL Ontology ................................................................. 10 3.2. 3.2.1. Protégé............................................................................................................ 10 3.2.2. OwlDiff .......................................................................................................... 11 Giải pháp thực hiện so sánh hai OWL Ontology ........................................... 13 3.2.3. CHƢƠNG 4: XÂY DỰNG CÔNG CỤ ........................................................................... 15 Phân tích yêu cầu ................................................................. ...