Xây dựng hệ thống kết nối dịch vụ web ngữ nghĩa hỗ trợ các ngôn ngữ thông dụng

Đại Học Quốc Gia TP.Hồ Chí Minh TRƯỜNG ĐẠI HỌC BÁCH KHOA - ĐẶNG NHÂN CÁCH XÂY DỰNG HỆ THỐNG KẾT NỐI DỊCH VỤ WEB NGỮ NGHĨA HỖ TRỢ CÁC NGÔN NGỮ THƠNG DỤNG Chun ngành: Hệ Thống Thơng Tin Quản Lý LUẬN VĂN THẠC SĨ TP Hồ Chí Minh, tháng 11 năm 2009 CƠNG TRÌNH ĐƯỢC HỒN THÀNH TẠI TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐẠI HỌC QUỐC GIA TP HỒ CHÍ MINH Cán hướng dẫn khoa học : TS Quản Thành Thơ Cán đồng hướng dẫn khoa học : TS Lê Duy Ngạn Cán chấm nhận xét : (Ghi rõ họ, tên, học hàm, học vị chữ ký) Cán chấm nhận xét : (Ghi rõ họ, tên, học hàm, học vị chữ ký) Luận văn thạc sĩ bảo vệ Trường Đại học Bách Khoa, ĐHQG Tp HCM ngày 04 tháng 01 năm 2010 Thành phần Hội đồng đánh giá luận văn thạc sĩ gồm: (Ghi rõ họ, tên, học hàm, học vị Hội đồng chấm bảo vệ luận văn thạc sĩ) Chủ tịch hội đồng : TS Cao Hào Thi Thư ký hội đồng : TS Nguyễn Thu Hiền Uỷ viên hội đồng : TS Nguyễn Thanh Bình, phản biện Uỷ viên hội đồng : TS Võ Thị Ngọc Châu, phản biện Uỷ viên hội đồng : TS Quản Thành Thơ, hướng dẫn Uỷ viên hội đồng : TS Lê Duy Ngạn, hướng dẫn Xác nhận Chủ tịch Hội đồng đánh giá LV Bộ môn quản lý chuyên ngành sau luận văn sửa chữa (nếu có) Chủ tịch Hội đồng đánh giá LV Bộ môn quản lý chuyên ngành TRƯỜNG ĐH BÁCH KHOA TP HCM PHÒNG ĐÀO TẠO SĐH CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự - Hạnh phúc Tp HCM, ngày 22 tháng 11 năm 2009 NHIỆM VỤ LUẬN VĂN THẠC SĨ Họ tên học viên: ĐẶNG NHÂN CÁCH Phái: Nam Ngày, tháng, năm sinh: 10/10/1978 .Nơi sinh: Bình Thuận Chuyên ngành: Hệ Thống Thông Tin Quản Lý MSHV: 03207085 I- TÊN ĐỀ TÀI: Xây Dựng Hệ Thống Kết Nối Dịch Vụ Web Ngữ Nghĩa Hỗ Trợ Các Ngôn Ngữ Thông Dụng II- NHIỆM VỤ VÀ NỘI DUNG: Xây dựng hệ thống kết nối dịch vụ Web hỗ trợ hai ngôn ngữ thông dụng OWL-S WSMO III- NGÀY GIAO NHIỆM VỤ (Ngày bắt đầu thực LV ghi QĐ giao đề tài): 02/02/2009 IV- NGÀY HOÀN THÀNH NHIỆM VỤ: 26/11/2009 V- CÁN BỘ HƯỚNG DẪN : TS Quản Thành Thơ VI- CÁN BỘ ĐỒNG HƯỚNG DẪN : TS Lê Duy Ngạn CÁN BỘ HƯỚNG DẪN CÁN BỘ ĐỒNG HƯỚNG DẪN (Học hàm, học vị, họ tên chữ ký) NGÀNH CN BỘ MÔN (Học hàm, học vị, họ tên chữ ký) QL CHUYÊN i LỜI CẢM ƠN Trước hết, cho phép gửi lời cảm ơn chân thành sâu sắc đến thầy TS Quản Thành Thơ thầy TS Lê Duy Ngạn, người tận tâm hướng dẫn, bảo tơi bước q trình nghiên cứu thực luận văn Ngoài việc hoàn thành xong luận văn cao học, tơi cịn học hỏi nhiều thứ từ hai thầy Từ cách trình bày đến phương pháp nghiên cứu, thái độ trách nhiệm nhà nghiên cứu Đặc biệt làm việc môi trường chuyên nghiệp với người chuyên nghiệp Tôi xin chân thành cảm ơn bạn bè ký túc xá Bách Khoa, bạn thời Đại Học Bách Khoa, bạn lớp cao học MIS 2007 động viên, khuyến khích hỗ trợ tơi q trình làm luận văn Tơi xin gửi lời cảm ơn đến tác giả báo mà sử dụng để tham khảo, nghiên cứu sử dụng luận văn Cuối cùng, xin cảm ơn sâu sắc đến vợ gái gia đình phải hy sinh nhiều quan tâm chăm sóc tơi, để tơi có nhiều thời gian yên tâm nghiên cứu Họ sát cánh động viên, ủng hộ chỗ dựa vững để tơi có niềm tin nghị lực hồn thành tốt luận văn Tp Hồ Chí Minh, ngày 22 tháng 11 năm 2009 Đặng Nhân Cách ii TÓM TẮT Dịch vụ Web có ngữ nghĩa trở thành kỹ thuật quan trọng việc phát triển hoạt động kinh doanh mơi trường Web Trong đó, kết nối dịch vụ Web hoạt động quan trọng để thúc đẩy việc sử dụng dịch vụ Web Đã có nhiều hệ thống kết nối đề xuất để đáp ứng nhu cầu Tuy nhiên, hệ thống hỗ trợ cho dịch vụ Web mô tả ngôn ngữ OWL-S WSMO Đây giới hạn lớn ngôn ngữ dùng để mô tả nội dung dịch vụ Web không đổi dù mô tả ngôn ngữ Vì vậy, dịch vụ Web mơ tả OWL-S kết nối với dịch vụ Web mô tả WSMO ngược lại cần thiết Điều dẫn đến nhu cầu xây dựng hệ thống kết nối dịch vụ Web hỗ trợ đa ngôn ngữ Luận văn giới thiệu hệ thống kết nối dịch vụ Web ngữ nghĩa khắc phục hạn chế hệ thống kết nối dịch vụ Web thời cách hỗ trợ đa ngôn ngữ Khởi đầu, hệ thống hỗ trợ hai ngôn ngữ phổ biến OWL-S WSMO Giải thuật hệ thống phát triển dựa giải thuật kết nối đề xuất cho dịch vụ Web mơ tả OWL-S mở rộng để hỗ trợ cho WSMO Giải thuật dựa vào độ tương tự đầu vào, đầu dịch vụ Web Các đầu vào đầu thể khái niệm mơ tả Ontology Như vậy, việc tính toán độ tương tự đầu vào đầu việc tính độ tương tự khái niệm thuộc Ontology Hệ thống kiểm thử dựa vào liệu kiểm thử tác giả phát triển dựa ví dụ cụ thể phổ biến việc ứng dụng dịch vụ Web Kết kiểm thử khẳng định tính đắn hệ thống Hệ thống hỗ trợ hai ngôn ngữ phổ biến OWL-S WSMO dễ dàng thay đổi hỗ trợ ngôn ngữ với phương thức iii ABSTRACT Semantic Web services have become a core technology in developing business operation on the Web enviroment Web service composition is an important activity to leverage the use of Web services Several composition systems have been proposed to meet this demand However, these systems only support a particular Web service description language such as OWL-S or WSMO but not multiple languages This is a significant limitation since these languages only describe the service but the content of Web service will not be changed although it is described by any language Thus, a service described by OWL-S can be composed with a service described by WSMO and vice versa is necessary This leads to a motivation to develop a Web service composition system that supports multiple languages This thesis introduces a Web service composition system which supports multiple description languages to overcome the limitation Initially, the system supports OWL-S and WSMO which are the two most popular languages The algorithm of the system is based on an existing composition algorithm for OWL-S but it is extended to support WSMO Computing similarity degree between input and output of two Web services is the core of the algorithm Since input and output of the services are concepts from ontologies, measuring input and output similartiy is measuring concept similarity from ontologies Experiments have been carried out using a test-bed developed by the authors based on an example which is popular in the area to compose Web servcies The experimental results confirm the validaty of the system The system supports OWL-S and OWL languages but it can be extended to support different description languagues by the same manner easily iv MỤC LỤC LỜI CẢM ƠN i TÓM TẮT ii ABSTRACT iii MỤC LỤC iv DANH MỤC CÁC HÌNH vii DANH MỤC CÁC BẢNG ix DANH MỤC CÁC TỪ VIẾT TẮT x Chương 1: GIỚI THIỆU 1.1 Động thực luận văn 1.2 Mục đích giới hạn luận văn 1.3 Cấu trúc luận văn Chương 2: CƠ SỞ LÝ THUYẾT 2.1 Ontology 2.1.1 Khái niệm Ontology 2.1.2 Các phần tử Ontology 2.1.3 Ngôn ngữ Web Ontology- OWL 2.1.4 Ngôn ngữ Web Ontology- WSML 2.2 Dịch vụ Web ngữ nghĩa 11 2.2.1 Mơ hình dịch vụ Web 13 2.2.2 OWL-S 14 2.2.3 WSMO 16 2.3 Kết nối dịch vụ Web (Web service composition) 18 v 2.4 Tóm tắt 21 Chương 3: CÁC CƠNG TRÌNH LIÊN QUAN 22 3.1 Khảo sát cơng trình liên quan 22 3.2 Kết nối dịch vụ Web dùng kỹ thuật Workflow 23 3.3 Kết nối dịch vụ Web dùng kỹ thuật AI Planning 24 3.4 Tóm tắt 26 Chương 4: ĐO ĐỘ GIỐNG NHAU GIỮA HAI KHÁI NIỆM 27 4.1 Giới thiệu 27 4.2 Giải thuật tính tốn 28 4.3 Kiểm tra đánh giá 34 4.4 Kết luận 36 Chương 5: THIẾT KẾ MƠ HÌNH DỮ LIỆU VÀ GIẢI THUẬT 38 5.1 Tổng quan kiến trúc hệ thống 38 5.2 Mơ hình liệu dịch vụ Web 39 5.3 Các môđun hỗ trợ 42 5.3.1 Môđun Parser 42 5.3.2 Môđun giống ngữ nghĩa (Sematic Similairty) 44 5.4 Giải thuật 44 5.5 Kết luận 48 Chương 6: KIỂM TRA VÀ ĐÁNH GIÁ KẾT QUẢ 49 6.1 Xây dựng kịch kiểm tra 49 6.2 Dữ liệu kiểm tra 50 6.3 Kết kiểm tra 54 vi 6.4 Đánh giá kết 55 6.5 Kết luận 55 Chương 7: KẾT LUẬN 56 7.1 Kết luận 56 7.2 Hướng mở rộng 57 DANH MỤC CÔNG TRÌNH DỰA VÀO LUẬN VĂN 58 TÀI LIỆU THAM KHẢO 59 vii DANH MỤC CÁC HÌNH Hình 2.1: Các kiểu WSML [10] 10 Hình 2.2: Mơ hình dịch vụ Web 13 Hình 2.3: Các thành phần OWL-S [11] 15 Hình 2.4: Các thành phần WSMO [5] 16 Hình 2.5: Framework hệ thống kết nối dịch vụ Web [12] 19 Hình 3.1: Các hướng tiếp cận kết nối dịch vụ Web 22 Hình 4.1: Các kiểu tiếp cận để tính tốn tương tự hai khái niệm 27 Hình 4.2: Ví dụ cách tính mức tương tự ngữ nghĩa hai khái niệm 29 Hình 4.3: Các thành phần đặc tả OWL 30 Hình 4.4: Các thành phần đặc tả WSML 31 Hình 4.5: Đo mức tương tự hai khái niệm Vehicle thuộc OWL WSML 31 Hình 4.6: Đo mức tương tự nhãn mô tả hai khái niệm OWL WSML 32 Hình 5.1: Tổng quan kiến trúc hệ thống CSML 39 Hình 5.2: Mơ hình liệu Service Profile (OWL-S) 40 Hình 5.3: Mơ hình liệu Web Service (WSMO) 41 Hình 5.4: Ánh xạ file Service Profile đối tượng Service Profile 43 Hình 5.5: Ánh xạ file Web Service đối tượng Web Service 43 Hình 5.6: Giải thuật xem xét danh sách đáp ứng yêu cầu đầu vào dịch vụ 45 Hình 5.7: Giải thuật tính độ tương tự hai khái niệm ngơn ngữ 46 Hình 5.8: Giải thuật tính độ tương tự hai khái niệm khác ngôn ngữ 47 48 xem xét khái niệm thuộc ngơn ngữ Nó xem xét lúc tính tốn bên thủ tục tính tốn syntactic, property, domain neighborhood Cách tính tốn synSim, proSim, conSim neiSim giới thiệu chương 5.5 Kết luận Chương giới thiệu mô hình liệu giải thuật kết nối dịch vụ Web dựa giải thuật có sẵn Qua xây dựng hệ thống CSML kết nối dịch vụ Web Hướng tiếp cận hệ thống giải vần đề hỗ trợ đa ngôn ngữ Dựa mức tương tự ngữ nghĩa giá trị vào dịch vụ Web giá trị dịch vụ Web khác phép dịch vụ Web kết nối với Chương xây dựng mơ hình liệu để kiểm tra đánh giá hiệu hệ thống 49 Chương 6: KIỂM TRA VÀ ĐÁNH GIÁ KẾT QUẢ 6.1 Xây dựng kịch kiểm tra Không giống lĩnh vực nghiên cứu khác, chưa có mơ hình liệu kiểm tra chuẩn cho hệ thống kết nối dịch vụ Web ngữ nghĩa tính mẻ lĩnh vực Như nghiên cứu [6], việc xây dựng mơ hình liệu kiểm tra đơn giản chủ yếu dùng ký hiệu nên chưa nêu bật ngữ nghĩa Chương trình bày kịch bản, xây dựng đơn giản, xúc tích gần với ngữ cảnh thực tế, có nhu cầu thực cần kết nối dịch vụ Web để đáp ứng yêu cầu Qua dễ dàng kiểm tra, đánh giá khả hiệu hoạt động hệ thống Kịch kết nối giới thiệu phần nhằm biểu diễn cách hoạt động hệ thống, mô tả chi tiết bên dưới: · Giả sử du khách người dùng cuối cần dịch vụ từ New York, Mỹ đến Huế, Việt Nam để du lịch Anh ta sử dụng hệ thống đề xuất để tìm kiếm kết nối dịch vụ du lịch nhà cung cấp thích hợp · Các nhà cung cấp dịch vụ công ty cung cấp dịch vụ du lịch dùng phương tiện Airplane, Train Bus Chúng quảng cáo thông tin dịch vụ chúng vào sở liệu hệ thống Những dịch vụ chứa tất thông tin địa điểm (bắt đầu kết thúc) giá sử dụng dịch vụ Một dịch vụ Web quảng cáo bao gồm giá trị vào dịch vụ (input) giá trị dịch vụ (output) hoạt động dịch vụ · Khi hệ thống nhận thông tin quảng cáo từ nhà cung cấp dịch vụ, lập danh mục lưu vào kho hệ thống Với yêu cầu người dùng mô tả trên, hệ thống tìm kiếm kết nối dịch vụ nhà cung cấp thích hợp Thơng tin kết nối dịch vụ trả cho người dùng 50 6.2 Dữ liệu kiểm tra Như đề cập trên, chưa có mơ hình liệu chuẩn để kiểm tra tiêu chuẩn cho kết nối dịch vụ Web, đặc biệt cho kết nối dịch vụ Web đặc tả ngôn ngữ khác Chúng ta xây dựng 30 dịch vụ Web cung cấp mô tả kịch để đánh giá thiết kế phát triển giải thuật Trong 30 dịch vụ xây dựng, có 15 dịch vụ mô tả ngôn ngữ OWLS 15 dịch vụ mơ tả WSMO Trong có dịch vụ xây dựng dựa kịch mô tả phần 6.1, 26 dịch vụ lại thuộc lĩnh vực khác (như mua bán máy vi tính số lĩnh vực khơng liên quan khác) Mục đích để tạo tập liệu kiểm tra nhằm đánh giá khả đáp ứng giải vấn đề hệ thống Trong dịch vụ Web tạo dựa kịch bản, có dịch vụ Web mô tả ngôn ngữ OWL-S dịch vụ cịn lại mơ tả ngơn ngữ WSMO Dịch vụ Web mô tả ngôn ngữ OWL-S biểu diễn bảng bao gồm dịch vụ có tên là, Train_service_from_HCM_to_Hue, Search_location, Flight_service_from NewYork_to_Sydney Trong bảng này, owl_OA owl_OB viết tắt cho hai địa URL sau: owl_OA “http://localhost/WSComposition/Ontology/OWL-S/travel/TravelOntologyA.owl” owl_OB “http://localhost/WSComposition/Ontology/OWL-S/travel/TravelOntologyB.owl“ 51 Bảng 6.1: Các đặc tả dịch vụ Web mô tả OWL-S # Service profile Train_service_from HCM_to_Hue.owl Input (name/type) HCM / owl_OA#HCM Searching_location.owl Flight_service_from NewYork_to_Sydney.owl Person / owl_OB#Person PhoneNumber/owl_OA#Ph oneNumber NewYork/ owl_OA#NewYork Output (name/type) Hue / owl_OA#Hue Train / owl_OA#Train Price / owl_OB#Price Location/ owl_OA#Location Sedney/owl_OA#Sedney Airplane/ owl_OA#Airplane Tương tự, dịch vụ Web WSMO biểu diễn bảng bao gồm hai dịch vụ Flight_service_from_Sydney_to_HCM Goal dịch vụ Web yêu cầu Trong bảng này, wsml_OA wsml_OB viết tắt cho hai địa URL sau: wsml_OA “http://localhost/WSComposition/Ontology/WSML/travel/TravelOntologyA.wsml” wsml_OB “http://localhost/WSComposition/Ontology/WSML/travel/TravelOntologyB.wsml” Bảng 6.2: Các đặc tả dịch vụ Web mô tả WSMO Precondition Postcondition (name/type) # Web Service/Goal Flight_service_from_ Sydney_to_HCM.ws ml Location/wsml_OB#Location Goal.wsml Person/wsml_OB#Person Hue/wsml_OA#Hue PhoneNumber/wsml_OB# Train/wsml_OA#Train PhoneNumber Price/wsml_OB#Price (name/type) Sedney/wsml_OA#Sedney HCM/wsml_OA#HCM Airplane/wsml_OA#Airplane NewYork/wsml_OA#NewYork Các dịch vụ Web mô tả phát triển dựa vào Ontology Trong đó, OWL Ontology dùng cho ngơn ngữ OWL-S WSML Ontology dùng cho ngơn ngữ 52 WSMO Có tất bốn Ontology khác dùng kịch kiểm tra Trong hai Ontology lĩnh vực du lịch mô tả ngôn ngữ OWL Và hai Ontology tương tự mô tả ngôn ngữ WSML Chúng biểu diễn hình 6.1 hình 6.2 bên a) TravelOntologyA.owl b) TravelOntologyB.owl Hình 6.1: Ontology lĩnh vực du lịch mô tả OWL 53 a) TravelOntologyA.wsml b) TravelOntologyB.wsml Hình 6.2: Ontology lĩnh vực du lịch mô tả WSML 54 6.3 Kết kiểm tra Với mẫu liệu mô tả trên, mong đợi kết trả giải thuật với mong muốn từ kịch ban đầu Và sau cho thực chạy chương trình ta có kết đồ thị kết nối hình 6.3 Hình 6.3: Kết kiểm tra Hình 6.3 biểu diễn thứ tự cách đến Huế, Việt Nam từ New York, Mỹ Chúng ta khơng có đường bay trực tiếp từ New York đến Huế Do đó, kết nối chuyến bay phương tiện khác giải pháp tốt cho du khách Như kết hình 6.3, du khách phải chọn chuyến máy từ New York, Mỹ đến Sydney, Úc Kế đến phải bắt chuyến bay khác từ Sydney đến Hồ Chí Minh, Việt Nam Và cuối bắt tàu lửa từ Hồ Chí Minh đến Huế, Việt nam đích đến 55 6.4 Đánh giá kết Mục đích kiểm tra xem xét khả thực kết nối dựa vào tập hợp dịch vụ Web mô tả OWL-S WSMO Một cách tổng quan, kết kết nối hình 6.3 mong đợi Nó bao gồm node dịch vụ kết nối bên yêu cầu đầu đầu vào dịch vụ Web, chọn lọc đáp ứng yêu cầu đầu Trong kết nối hợp với định dựa so sánh tên gần với kiểu Ontology đầu vào đầu Kết nối node định nghĩa cách đo độ tương tự khái niệm thuộc OWL WSML Ontology dựa vào bốn thành phần giới thiệu chương Trong 30 dịch vụ Web cở sở liệu có 26 dịch vụ khơng hiển thị đồ thị kết dịch vụ Web thuộc lĩnh vực khác khơng có liên quan đến kịch Chỉ có dịch vụ Web có liên quan đến ngữ cảnh đồ thị kết Tóm lại, tất yêu cầu cho kết nối đáp ứng thiết kế đề xuất 6.5 Kết luận Chương giới thiệu kịch kiểm thử xây dựng mơ hình liệu kiểm thử Phân tích đánh giá hệ thống CSML thơng qua kết đạt Kết kiểm nghiệm đạt mong đợi từ kịch ban đầu Hệ thống CSML hoạt động tốt ổn định với hai ngôn ngữ OWL-S WSMO Chương tóm tắt đánh giá tồn lại hệ thống nêu hướng phát triển tiếp tương lai 56 Chương 7: KẾT LUẬN 7.1 Kết luận Từ mục tiêu ban đầu, luận văn đề xuất giải thuật đo mức tương tự ngữ nghĩa hai khái niệm hai Ontology mô tả hai ngôn ngữ khác OWL WSML Giải thuật dựa vào mức tương tự thành phần bao gồm: mức tương tự cú pháp (Syntactic), mức tương tự thuộc tính (Properties), mức tương tự khái niệm lân cận (neighborhood), mức tương tự ngữ cảnh (context) hai khái niệm Với giải thuật đề xuất trên, sử dụng để xây dựng giải thuật kết nối dịch vụ Web mô tả hai ngôn ngữ OWL-S WSMO Giải thuật dựa vào tính tốn mức tương tự ngữ nghĩa giá trị vào dịch vụ giá trị dịch vụ xem xét phép kết nối hay không CSML xây dựng dựa vào hai giải thuật giúp giải vấn đề hỗ trợ đa ngôn ngữ CSML không hỗ trợ kết nối dịch vụ Web mô tả ngơn ngữ OWL-S WSMO mà cịn hỗ trợ kết nối dịch vụ Web mô tả hai ngôn ngữ khác OWL-S WSMO Tóm lại, với việc xây dựng hệ thống CSML, luận văn có đóng góp đặc tính so với hệ thống kết nối dịch vụ Web ngữ nghĩa trước sau: · CSML hỗ trợ đa ngôn ngữ Với nỗ lực ban đầu, hai ngôn ngữ OWL-S WSMO hỗ trợ phổ biến hai ngôn ngữ Các ngôn ngữ mô tả dịch vụ Web khác mở rộng tương lai với giải thuật thực với OWL-S WSMO · Giải thuật tính độ tương tự hai khái niệm thuộc hai Ontology OWL WSML thành phần CSML ứng dụng 57 cho ứng dụng hay hệ thống khác chưa có cơng trình giải vấn đề 7.2 Hướng mở rộng Trong khuôn khổ luận văn thạc sỹ với ràng buộc thời gian định, tác giả cố gắng hoàn thành cách tốt mục tiêu đề có thành định Tuy nhiên, CSML có cịn nhiều hướng mở rộng vấn đề thực tương lai Dưới vài đề xuất để mở rộng CSML việc hỗ trợ nhiều ngôn ngữ hơn, tăng độ xác, tăng thời gian thực thi: · Giải thuật hỗ trợ cho hai ngôn ngữ OWL-S WSMO với cách xây dựng tổng quát dễ dàng mở rộng thêm ngôn ngữ khác theo cách thức tương tự, WSDL-S METOR… · Giải thuật tập trung vào input output (OWL-S) precondition, postcondition (WSMO) Do đó, xác hơn, tương lai ta xem xét thêm thành phần khác ngôn ngữ mô ta dịch vụ như: effects, preconditions (OWL-S) assumption, effects (WSMO) · Khi số lượng dịch vụ nhà cung cấp tăng lên hệ thống CSML chạy chậm Vì giải thuật thực cách gọi đệ quy vét cạn giá trị cần tính tốn Hướng tương lại ta xem xét cải tiến lại giải thuật, tính tốn thơng minh hơn, thực thi nhanh đảm bảo độ xác cao 58 DANH MỤC CƠNG TRÌNH DỰA VÀO LUẬN VĂN Đã gởi: Dang N.C, Le D.N, Quan T.T, Nguyen M.N, Semantic Web service composition system supports multiple description languages, the 2nd Asian Conference on Intelligent Information and Database Systems, 24 - 26 March 2010, Hue City, Vietnam Đang chuẩn bị: Measuring similarity between concepts from different ontology description langauges 59 TÀI LIỆU THAM KHẢO Berners-Lee, T., J Hendler, and O Lassila, The Semantic Web Scientific American, 2001 Walsh, A.E., UDDI, SOAP, and WSDL: The Web Services Specification 1st edition ed 2002: Pearson Education 336 Christensen, E., et al., WSDL - Web Services Description Language 2001, W3C W3C, OWL - Web Ontology Language Overview, Organization, Editor Roman, D., H Lausen, and U Keller, in Web Service Modeling Ontology Standard (WSMO - Standard), WSMO deliverable D2 version 1.1 Tran, B.D., P.S Tan, and A.E.S Goh Composing OWL-S Web Services in IEEE International Conference on Web Services (ICWS) 2007 Salt Lake City, Utah, USA Gruber, T.R., A Translation Approach to Portable Ontology Specifications 1993: Academic Press HP, Labs Semantic Web Research, in Jena - A Java framework for building Semantic Web applications Haarslev, V and R Möller RACER System Description in the First International Joint Conference on Automated Reasoning 2001: SpringerVerlag: London, UK 10 http://www.wsmo.org/TR/d16/d16.1/v0.2/ 11 DAML, OWL-S markup of services, Organization, Editor 60 12 Rao and X Su, A Survey of Automated Web Service Composition Methods in Proc of 1st Int Workshop on Semantic Web Services and Web Process Composition, SWSWPC 2004 San Diego, California, USA, July 2004 13 T.Bellwood, Universal Description, Discovery and Integration specification (UDDI) 3.0 Available at: http://uddi.org/pubs/uddi-v3.00-published- 20020719.htm 14 Cardoso, J and A Sheth, Semantic e-Workflow Composition Journal of Intelligent Information Systems, 2003 21(3): p 191-225 15 P., P.n.S and F A., SWORD: A Developer Toolkit for Web Service Composition In: In Proc of the Eleventh International World Wide Web Conference, 2002 16 alphaWorks : Web Service Toolkit, IBM, July, 2000 Availabe at http://www.alphaworks.ibm.com/tech/webservicestoolkit 17 McIlraith, S and T Son, Adapting Golog for Composition of Semantic Web Service In: Proceedings of the Eighth International Conference on Knowledge Re Representation and Reasoning (KR2002), Toulouse, France, 2002 18 Wu D., P.B., Sirin E., Hendler J and N D., Automatic DAML-S Web Services Composition Using SHOP2 In Proceedings of 2nd International Semantic Web Conference (ISWC2003), Sanibel Islands, Florida, 2003 19 Sheshagiri, M., Automatic Composition and Invocation of Semantic Web Services MastersThesis, UMBC, August 2004 20 Rodriguez, M.A and M.J Egenhfer, Determining Semantic similarity among entity classes from different ontologies IEEE Transactions on Knowledge and Data Engineering, 2003 15(2): p 442-456 61 21 Miller, G.A., WordNet: a lexical database for English Communications of the ACM, 1995 38(11): p 39-41 22 UCLA, Logical deduction language, University, Editor 1998 23 Le, D.N., T.M Hang, and A Goh MOD- A Multi Ontology Discovery system in International Workshop on Semantic Matchmaking and Resource Retrieval 2006 Seoul, Korean LÝ LỊCH TRÍCH NGANG Họ tên: ĐẶNG NHÂN CÁCH Ngày, tháng, năm sinh: 10/10/1978 Nơi sinh: Bình Thuận Địa liên lạc: Thôn Quý Thạnh, Xã Ngũ Phụng, Huyện Đảo Phú Quý, Tỉnh Bình Thuận Điện Thoại: 0919 1010 86 Email: tucach@hcmutrans.edu.vn QUÁ TRÌNH ĐÀO TẠO - Từ năm 1998 đến 2003: học ngành Công Nghệ Thông Tin trường Đại Học Bách Khoa TP Hồ Chí Minh - Từ năm 2007 đến 2009: học cao học ngành Hệ Thống Thông Tin Quản Lý trường Đại Học Bách Khoa TP Hồ Chí Minh Q TRÌNH CƠNG TÁC - Từ năm 2003 đến cuối 2008: làm việc cho công ty phần mềm EntecSoftware - Từ năm 2009 đến nay: giảng viên trường Đại Học Giao Thơng Vận Tải TP Hồ Chí Minh ... cầu xây dựng hệ thống kết nối dịch vụ Web hỗ trợ đa ngôn ngữ Luận văn giới thiệu hệ thống kết nối dịch vụ Web ngữ nghĩa khắc phục hạn chế hệ thống kết nối dịch vụ Web thời cách hỗ trợ đa ngôn ngữ. .. trường Web Trong đó, kết nối dịch vụ Web hoạt động quan trọng để thúc đẩy việc sử dụng dịch vụ Web Đã có nhiều hệ thống kết nối đề xuất để đáp ứng nhu cầu Tuy nhiên, hệ thống hỗ trợ cho dịch vụ Web. .. tìm kiếm, kết nối, thực thi dịch vụ Web Để giải vấn đề này, kỹ thuật Web ngữ nghĩa ứng dụng vào dịch vụ Web đời kỹ thuật mới: dịch vụ Web ngữ nghĩa (Semantic Web service) Trong dịch vụ Web, tính