Luận Văn Xây dựng service proxy để kiểm chứng ràng buộc thời gian trong web service composition

TÓM TẮT KHOÁ LUẬN


Ngày nay cùng với sự phát triển mạnh mẽ của môi trường Internet, các ứng dụng triển khai trên nền Web ngày càng được phát triển rộng rãi và phong phú. Đồng thời đi cùng sự phát triển mạnh mẽ của nền kinh tế thị trường là nhu cầu áp dụng công nghệ thông tin vào trong các quy trình thương mại ngày càng trở nên phổ biến và là điểm mấu chốt để các tổ chức doanh nghiệp giải quyết công việc của mình. Sự ra đời của Web Service được coi là một công nghệ mang đến cuộc cách mạng trong cách thức hoạt động của các dịch vụ B2B – Business to Bussiness và B2C – Bussiness to Customer. Giá trị cơ bản của dịch vụ Web dựa trên việc cung cấp các phương thức theo chuẩn trong việc truy cập đối với hệ thống đóng gói và kế thừa. Các phần mềm được viết bởi những ngôn ngữ lập trình khác nhau và chạy trên các nền tảng khác nhau có thể sử dụng Web Service để chuyển đổi dữ liệu thông qua mạng Internet.

Nội dung của khóa luận đưa ra một cái nhìn tổng quát về công nghệ Web Service, phân tích và tìm hiểu các thành phần chuẩn được sử dụng trong công nghệ Web Service, đi vào nghiên cứu kiến trúc về Web Service. Từ những kiến thức thu được về công nghệ Web Service, khóa luận đi đến một hướng tiếp cận mới đó là tìm hiểu về chất lượng các dịch vụ Web – QoS cho Web Service dựa trên mô hình tích hợp Web Service với các Web Service Composition. Từ các kiến thức về chất lượng các dịch vụ Web, khóa luận sẽ tìm hiểu về một khía cạnh chất lượng dịch vụ Web đó là kiểm chứng ràng buộc thời gian đáp ứng của các Web Service Composition và mô hình hóa các ràng buộc thời gian trên biểu đồ UML Timing Diagram.

Để minh họa cho việc kiểm chứng ràng buộc thời gian đáp ứng của các Web Service Composition, chúng tôi đã tiến hành xây dựng một ứng dụng nhỏ là Web Service Travel-Agent và tiến hành đo lường thời gian đáp ứng của các Service Composition hợp thành lên Web Service Travel-Agent đó.



MỤC LỤC


CHƯƠNG 1: ĐẶT VẤN ĐỀ 1

1.1. Bối cảnh 1

1.2. Mục tiêu khóa luận 2

1.3. Cấu trúc khóa luận 3

CHƯƠNG 2: CÔNG NGHỆ WEB SERVICE 5

2.1. Kiến trúc hướng dịch vụ SOA 5

2.1.1. Khái niệm kiến trúc hướng dịch vụ SOA 5

2.1.2. Nguyên tắc thiết kế của SOA 6

2.2. Công nghệ Web Service 7

2.2.1. Tổng quan về Web Service 7

2.2.2. Kiến trúc Web Service 9

2.2.3. Các công nghệ của Web Service 13

CHƯƠNG 3: QoS CHO WEB SERVICE 24

3.1. Chất lượng dịch vụ Web Service – QoS cho Web Service 24

3.2. Các yêu cầu về chất lượng dịch vụ cho Web Service 25

3.3. QoS cho các dịch vụ Web 27

3.4. Điều chỉnh và thiết lập ràng buộc QoS 27

3.5. Hiệu ứng thắt cổ chai trong quá trình thực thi của Web Service 28

3.6. Đánh giá hiệu năng giao thức SOAP 29

3.7. Phương pháp tiếp cận để cung cấp chất lượng dịch vụ cho Web Service 30

CHƯƠNG 4: BIỂU ĐỒ TIMING DIAGRAM 32

4.1. Giới thiệu UML 32

4.2. Tổng quan về biểu đồ Timing Diagram 33

4.3. Mục đích của biểu đồ Timing Diagram 34

4.4. Các kí hiệu của biểu đồ Timing Diagram 34

4.5. Các thành phần của biểu đồ Timing Diagram 36

4.5.1. Các trạng thái 36

4.5.2. Các sự kiện và các thông điệp 37

4.5.3. Thời gian 38

4.5.4. Các đường State-Line 39

4.5.5. Ràng buộc thời gian 40

CHƯƠNG 5: BÀI TOÁN NGHIÊN CỨU 42

5.1. Tìm hiểu về Service Proxy 42

5.2. Tìm hiểu về Web Service Composition 45

5.3. Bài toán kiểm chứng ràng buộc thời gian đáp ứng của các Web Service Composition 49

5.3.1. Giới thiệu bài toán 49

5.3.2. Mục tiêu và yêu cầu của bài toán 50

5.3.3. Phân tích bài toán 51

CHƯƠNG 6: THỰC NGHIỆM 54

6.1. Phạm vi ứng dụng 54

6.2. Thiết kế ứng dụng 56

6.3. Cài đặt, xây dựng và triển khai ứng dụng 58

6.3.1. Cài đăt chương trình 58

6.3.2. Xây dựng và triển khai các Web Services thành phần 61

6.3.3. Xây dựng và triển khai Service Proxy 66

6.3.4. Phát triển chương trình client và thực nghiệm 69

CHƯƠNG 7: KẾT LUẬN 74