Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 58 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

Kiểm tra sự tinh chế hai mô hình có áp dụng mẫu thiết kế

Tác giả: Vũ Văn Thế

Lĩnh vực: Công nghệ Thông tin

Nội dung tài liệu:

Khóa luận tập trung vào việc kiểm tra sự tinh chế hai mô hình có áp dụng mẫu thiết kế. Quá trình này bao gồm các bước chính: tìm hiểu về khái niệm và vai trò của mẫu thiết kế, đặc biệt là mẫu thiết kế hợp nhất (Union Design Pattern); thực hiện chuyển đổi biểu đồ lớp UML sang dạng đặc tả OWL Ontology; sử dụng các công cụ để so sánh hai OWL Ontology nhằm phân tích ưu nhược điểm; tìm kiếm giải pháp truy vấn OWL Ontology từ ngôn ngữ lập trình Java và viết luật Prolog để kiểm tra sự tương đương của các phiên bản mô hình; cuối cùng là thiết kế và cài đặt công cụ hỗ trợ so sánh hai OWL Ontology. Khóa luận cũng trình bày các kết quả khảo sát, phân tích, thiết kế, cài đặt và kiểm thử, cùng với hướng phát triển.

Mục lục chi tiết:

  • MỞ ĐẦU
  • CHƯƠNG 1: GIỚI THIỆU VỀ MẪU THIẾT KẾ
  • CHƯƠNG 2: OWL ONTOLOGY VÀ PROLOG
  • CHƯƠNG 3: KIỂM TRA SỰ TINH CHẾ HAI MÔ HÌNH CÓ ÁP DỤNG MẪU THIẾT KẾ
  • CHƯƠNG 4: XÂY DỰNG CÔNG CỤ
  • CHƯƠNG 5: TỔNG KẾT