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

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


1.1. Vai trò của mẫu thiết kế 2


1.2. Mẫu thiết kế hợp nhất (Union Design Pattern) .3


CHƯƠNG 2: OWL ONTOLOGY VÀ PROLOG .5


2.1. OWL Ontology .5


2.1. Prolog 6


2.1.1. Giới thiệu ngôn ngữ Prolog 6


2.1.1.1. Prolog là ngôn ngữ lập trình logic 6


2.1.1.2. Cú pháp Prolog .6


2.1.2. Sự kiện và Luật trong Prolog .7


2.2.2.1. Xây dựng sự kiện .7


2.2.2.2. Xây dựng luật 8


CHƯƠNG 3. KIỂM TRA SỰ TINH CHẾ HAI MÔ HÌNH CÓ ÁP DỤNG MẪU THIẾT KẾ .9


3.1. Chuyển biểu đồ lớp trong UML sang OWL Ontology .9


3.2. Thực hiện so sánh hai OWL Ontology .10


3.2.1. Protégé 10


3.2.2. OwlDiff 11


3.2.3. Giải pháp thực hiện so sánh hai OWL Ontology .13


CHƯƠNG 4: XÂY DỰNG CÔNG CỤ .15


4.1. Phân tích yêu cầu 15


4.1.1. Biểu đồ lớp trong UML 17


4.1.2. Biểu đồ lớp đặc tả dưới dạng OWL Ontology .21


4.1.3. Yêu cầu hệ thống 22

4.1.3.1. Yêu cầu chức năng 22


4.1.3.2. Yêu cầu về mặt giao diện .24


4.2. Pha phân tích .25


4.2.1. Biểu đồ UseCase tổng quát 25


4.2.2. Kịch bản cho các ca sử dụng 25


4.2.3. Xây dựng biểu đồ lớp phân tích .27


4.3. Pha thiết kế 28


4.3.1. Biểu đồ tuần tự .28 4.2.2.1. Biểu đồ tuần tự của ca sử dụng “Import OWL Ontology” .28 4.2.2.2. Biểu đồ tuần tự của ca sử dụng “Compare two OWL Ontology” 28
4.3.2. Biểu đồ lớp chi tiết .29


4.3.3. Thiết kế riêng từng chức năng 30


4.2.2.3. Chức năng “Import OWL Ontology” 30


4.2.2.4. Chức năng “Compare two OWL Ontology” .30


4.3.4. Thiết kế giao diện người dùng .31


4.4. Cài đặt và kiểm thử .32


4.4.1. Cài đặt 32 4.4.1.1. Môi trường thực hiện và những phần mềm, thư viện liên quan 32 4.4.1.2. Truy vấn Owl Ontology .33 4.4.1.3. Kiểm tra hai mô hình bằng các luật Prolog 37
4.4.2. Một số trường hợp kiểm thử 41


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


5.1. Tổng kết quá trình thực hiện và kết quả đặt được 47


5.1.1. Về mặt khảo sát, lựa chọn phương án và phân tích thiết kế 47


5.1.2. Về mặt cài đặt và kiểm thử 47


5.2. Hướng phát triển .48