NGHIÊN CỨU CƠ CHẾ QUẢNG BÁ TRÌNH TỰ TỔNG THỂ ÁP DỤNG CHO CÁC GIAO DỊCH PHÂN TÁN

NGHIÊN CỨU CƠ CHẾ QUẢNG BÁ
TRÌNH TỰ TỔNG THỂ ÁP DỤNG
CHO CÁC GIAO DỊCH PHÂN TÁN
GIÁO VIÊN HƯỚNG DẪN: TS. HÀ HẢI NAM
HỌC VIÊN THỰC HIỆN: NGUYỄN THỊ CHÂM
LỚP: M12CQCK01
I. MỞ ĐẦU
•
Lý do chọn đề tài:
–
Xây dựng cơ sở dữ liệu cho các ứng dụng lớn  nên
phân tán thành nhiều phần nhỏ.
–
Từng phần CSDL liên quan với nhau sẽ được đặt
trên các Server khác nhau.
–
Giao dịch phân tán có nhiều ưu điểm hơn so với các
mô hình giao dịch khác  tìm các giải pháp hợp lý
cho các giao dịch phân tán.
 Cơ chế quảng bá trình tự tổng thể phù hợp cho
các giao dịch phân tán, tiêu biểu là mô hình Event-B.
I. MỞ ĐẦU
•
Mục đích nghiên cứu của đề tài
–
Đề tài tập trung vào việc nghiên cứu tổng quan về
giao dịch phân tán.
•
Nghiên cứu cơ sở lý thuyết của giao dịch phân tán, các thuộc
tính cũng như các đặc trưng cơ bản của giao dịch phân tán.
•

Tìm hiểu những vấn đề liên quan đến cơ chế quảng bá tổng
thế đảm bảo các giao dịch phân tán.
•
Đưa ra ứng dụng mô hình đảm bảo giao dịch phân tán
–
Giải pháp cụ thể cơ chế quảng bá tổng thể Event-B.
•
Tìm hiểu mô hình Event-B và các thành phần liên quan.
•
Tìm hiểu môi trường phát triển và cách thiết kế, xây dựng
ứng dụng, thực thi mô hình đảm bảo giao dịch phân tán
Event-B
–
Thử nghiệm mô hình Event-B và đánh giá kết quả.
I. MỞ ĐẦU
•
Đối tượng và phạm vi nghiên cứu:
–
Đề tài tập trung nghiên cứu về giao dịch phân tán, cơ
chế quản bá trình tự tổng thể và mô hình đảm bảo
giao dịch phân tán Event-B.
–
Đề tài nghiên cứu trong phạm vi cơ bản về giao dịch
phân tán như khái niệm, thuộc tính và các đặc trưng
của giao dịch phân tán, tìm hiểu cơ bản về cơ chế
quảng bá trình tự tổng thể và mô hình đảm bảo
Event-B, thử nghiệm đơn giản về mô hình đảm bảo
giao dịch phân tán.
–
Dự kiến thời gian thực hiện đề tài từ 4 đến 5 tháng.

I. MỞ ĐẦU
•
Phương pháp nghiên cứu
–
Tìm hiểu và tổng hợp các tài liệu liên quan đến giao
dịch phân tán, cơ chế quảng bá trình tự tổng thể và
mô hình Event-B.
–
Đưa ra những khái niệm, tính chất, đặc trưng cơ
bản… của giao dịch phân tán cũng như cơ chế quảng
bá trình tự tổng thể.
–
Xây dựng thử nghiệm mô hình đảm bảo giao dịch
phân tán để thấy những ưu điểm cũng như nhược
điểm của chúng.
II. NỘI DUNG
•
Chương I: Giao dịch phân tán
•
Chương II: Cơ chế quảng bá tổng thể đảm
bảo giao dịch phân tán với Event-B
•
Chương III: Thử nghiệm mô hình đảm bảo
giao dịch phân tán
II. NỘI DUNG
•
Chương I: Giao dịch phân tán
1.1 Khái niệm giao dịch
1.2 Các thuộc tính của giao dịch
1.3 Giao dịch phân tán và các đặc trưng

 KL: Kết thúc chương I cần tìm hiểu được các khái
niệm giao dịch, giao dịch phân tán là gì, các đặc
trưng cũng như các thuộc tính của giao dịch và giao
dịch phân tán. Chỉ ra những ưu điểm và nhược điểm
của giao dịch phân tán so với các giao dịch thông
thường khác.
II. NỘI DUNG
•
Chương II: Cơ chế quảng bá tổng thể đảm bảo giao
dịch phân tán với Event-B
2.1 Cơ chế quảng bá tổng thể
2.2 Giới thiệu về Event-B
2.3 Mô hình đảm bảo giao dịch phân tán
KL: Kết thúc chương II cần tìm hiểu được cơ chế
quảng bá tổng thể là gì, các tính năng cũng như ưu
nhược điểm của nó. Tìm hiểu được mô hình đảm
bảo giao dịch phân tán Event-B, các đặc trưng và
các chức năng của mô hình.
II. NỘI DUNG
•
Chương III: Thử nghiệm mô hình đảm bảo giao dịch
phân tán
 Kết thúc chương III cần thử nghiệm được mô
hình đảm bảo giao dịch phân tán, xây dựng, cài đặt
và chạy thử với mô hình đảm bảo giao dịch Event-B.
III. KẾT LUẬN
•
Chứng minh được mô hình đảm bảo Event-B giúp
đảm bảo các giao dịch phân tán và đạt hiệu quả cao.
•

Sau quá trình nghiên cứu đề tài cần:
–
Hiểu được khái niệm, các thuộc tính, các đặc trưng, các vấn đề
liên quan tới giao dịch phân tán.
–
Hiểu về cơ chế quảng bá tổng thể và mô hình đảm bảo giao
dịch phân tán.
–
Thực hiện thử nghiệm và đánh giá kết quả với mô hình đảm bảo
giao dịch phân tán Event-B.
•
Kiến nghị: Nghiên cứu thêm về một số mô hình đảm
bảo giao dịch khác. So sánh ưu điểm và nhược điểm
của các mô hình.
VI. TÀI LIỆU THAM KHẢO
•
Armand Wilson, Distributed Transactions and Two-Phase
Commit, 2003 SAP AG
•
Alejandro Buchmann M. Tamer Ozsu Mark Hornick Dimitrios
Georgakopoulos Frank A. Manola, A Transaction Model for
Active Distributed Object Systems, GTE Laboratories
Incorporated 40 Sylvan Road Waltham, MA 02254
•
Divakar Yadav and Michael Butler, Formal Development of a Total
Order Broadcast for Distributed Transactions using Event-B,
School of Electronics and Computer Science University of
Southampton Southampton SO17 1BJ ,U.K
•
Michael Butler, Decomposition Structures for Event-B, School of

Electronics and Computer Science University of Southampton,
UK
•
Sasan Padidar, A Study In The Use Of Event-B For System
Development From A Software Engineering Viewpoint
•
X/Open CAE Specification, Distributed Transaction Processing:
The XA Specification, December 1991, X/Open Company Limited
V. DỰ KIẾN KẾ HOẠCH THỰC HIỆN
TT Nội dung Thời gian thực hiện
1 I. Mở Đầu Từ 01/07/2013 đến
15/07/2013
2 II. Nội Dung: Chương I Giao dịch
phân tán.
Từ 15/07/2013 đến
01/08/2013
3 II. Nội Dung: Chương II Cơ chế
quảng bá tổng thể đảm bảo giao dịch
phân tán với Event-B
Từ 01/08/2013 đến
01/09/2013
4 II. Nội Dung: Chương III Thử nghiệm
mô hình đảm bảo giao dịch phân tán.
Từ 01/09/2013 đến
15/10/2013
5 III. Kết Luận Từ 15/10/2013 đến
01/11/2013
Em xin chân thành cảm ơn !