CHUYỂN ĐỔI TỪ MÔ HÌNH UML SANG OWL ONTOLOGY VÀ ỨNG DỤNG

Nội dung tài liệu:

Khóa luận này tập trung vào việc chuyển đổi từ mô hình UML sang OWL Ontology, sử dụng các quy tắc đã đề ra để thực hiện việc chuyển đổi này. Mục tiêu là nhằm kiểm tra tính đúng đắn của các mô hình được tạo ra. Để làm được điều này, khóa luận sẽ vận dụng các quy tắc chuyển đổi từ mô hình UML sang OWL, từ đó thu được các đặc tả OWL. Kết hợp với các ràng buộc được viết bằng ngôn ngữ đặc tả OCL hoặc Prolog, các công cụ kiểm tra tự động sẽ được sử dụng để xác định xem hai đặc tả OWL có tương đương nhau hay không.

Quá trình nghiên cứu còn bao gồm việc kiểm tra kết quả áp dụng mẫu thiết kế vào mô hình UML cho trước. Điều này nhằm đảm bảo rằng việc áp dụng mẫu thiết kế mới mang lại một kiến trúc tốt hơn và không dẫn đến các sai sót ảnh hưởng đến tính đúng đắn của mô hình.

Nội dung khóa luận được cấu trúc thành năm chương, bắt đầu từ việc giới thiệu tổng quan về UML, OWL Ontology và các mức độ của nó. Tiếp theo là các quy tắc chuyển đổi từ UML sang OWL Ontology, quy trình kiểm tra kết quả áp dụng mẫu và cuối cùng là chương kiểm tra tích hợp mẫu Union Pattern vào mô hình thiết kế cụ thể, cùng với phần tổng kết.

Mục lục chi tiết:

MỞ ĐẦU

CHƯƠNG 1: GIỚI THIỆU VỀ UML VÀ OWL ONTOLOGY

• 1.1. Ngôn ngữ UML (Unified Modeling Language)
• 1.2. Ontology
• 1.3. OWL (Web Ontology Language)

CHƯƠNG 2: CÁC QUY TẮC CHUYỂN ĐỔI TỪ MÔ HÌNH UML SANG OWL ONTOLOGY

CHƯƠNG 3: QUY TRÌNH THỰC HIỆN KIỂM TRA KẾT QUẢ ÁP DỤNG MẪU VÀO MÔ HÌNH THIẾT KẾ UML

CHƯƠNG 4: KIỂM TRA KẾT QUẢ TÍCH HỢP MẪU UNION PATTERN VÀO MÔ HÌNH THIẾT KẾ HÀNH VI CÁC CON VẬT

CHƯƠNG 5: TỔNG KẾT

PHỤ LỤC 1

PHỤ LỤC 2

Tài liệu tham khảo