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

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