Vấn Đề Bế Tắc (Deadlock) Trong Quy Trình Được Hiện Thực Bằng BPEL

2015

51
2
0

Phí lưu trữ

30 Point

Mục lục chi tiết

LỜI CẢM ƠN

LỜI CAM ĐOAN

MỞ ĐẦU

1. CHƯƠNG 1: TỔNG QUAN VỀ KẾT HỢP DỊCH VỤ VÀ NGÔN NGỮ BPEL

1.1. Tổng quan về kết hợp dịch vụ Web

1.2. Ngôn ngữ thực thi quy trình nghiệp vụ BPEL

1.3. Tại sao nên sử dụng BPEL

1.4. Tổng quan cấu trúc của một tiến trình BPEL

1.5. Bài toán khởi tạo một tiến trình BPEL

1.6. Cấu trúc của một tiến trình WS-BPEL

1.7. Các thành phần hoạt động của BPEL

1.8. Cung cấp và tiêu thụ các dịch vụ Web

1.9. Cấu trúc hóa logic tiến trình

1.10. Các thành phần hoạt động lặp

1.11. Xử lý song song

1.12. Thao tác dữ liệu

1.13. Điều khiển ngoại lệ

1.14. Tổng kết chương một

2. CHƯƠNG 2: PHÁT BIỂU VÀ VẤN ĐỀ BẾ TẮC

2.1. Phát biểu

2.2. Giới thiệu chung về

2.3. Các thành phần và thuộc tính chuẩn liên quan

2.4. Thành phần trong

2.5. Ví dụ về

2.6. Vấn đề bế tắc trong

2.7. Tổng kết chương hai

3. CHƯƠNG 3: XÂY DỰNG CÔNG CỤ KIỂM TRA VÀ CẢNH BÁO DEADLOCK

3.1. Ý tưởng giải pháp

3.2. Xây dựng công cụ phát hiện và cảnh báo bế tắc

3.3. Kết quả đánh giá công cụ

3.4. Tổng kết chương ba

TÀI LIỆU THAM KHẢO

Luận văn thạc sĩ vnu uet vấn đề bế tắc deadlock trong quy trình được hiện thực bằng bpel