Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 24 trang
Dung lượng: 835 KB

Giới thiệu nội dung

Mô hình hóa và đặc tả hình thức các giao diện thành phần có chứa chất lượng dịch vụ và tính tương tranh

Tác giả: Đỗ Văn Chiểu

Lĩnh vực: Công nghệ Thông tin

Nội dung tài liệu:

Luận án tiến sĩ này tập trung nghiên cứu đề xuất một phương pháp hình thức nhằm hỗ trợ mô hình hóa và đặc tả các giao diện thành phần, đặc biệt là các giao diện có chứa ràng buộc về thời gian và tính tương tranh. Phương pháp này dựa trên việc mở rộng lý thuyết về vết thời gian, ô-tô-mát đoán nhận ngôn ngữ vết, và logic đặc tả thuộc tính vết. Các kết quả nghiên cứu được áp dụng để mở rộng các mô hình thiết kế hệ thống hướng thành phần, bao gồm mô hình rCOS, mô hình thiết kế dựa trên giao diện, và mô hình thiết kế hệ phân tán dựa trên hệ dịch chuyển phân tán. Luận án cũng đề cập đến việc sử dụng công cụ UPPAAL để kiểm chứng và các lý thuyết về vết thời gian, ô-tô-mát khoảng bất đồng bộ, logic trên vết thời gian, và các bài toán kiểm chứng hệ thống.

Mục lục chi tiết:

  • Chương 1: Giới thiệu
  • Chương 2: Kiến thức nền tảng
  • Chương 3: Lý thuyết Vết thời gian
  • Chương 4: Một mô hình cho hệ thống tương tranh có ràng buộc thời gian
  • Chương 5: Phương pháp đặc tả giao diện của các thành phần trong hệ tương tranh có yếu tố thời gian
  • Chương 6: Mô hình đặc tả và kiểm chứng các hệ phân tán có ràng buộc thời gian
  • Chương 7: Kết luận