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: 167 trang
Dung lượng: 1 MB

Giới thiệu nội dung

Mô Hình Xác Thực Nghiệp Vụ Phần Mềm Theo Hướng Lập Trình Đặc Tả

Tác giả: Nguyễn Thanh Tuấn

Lĩnh vực: Khoa học máy tính

Nội dung tài liệu:

Luận án Tiến sĩ này tập trung vào việc phát triển một phương pháp hình thức để đặc tả và xác thực các quy trình nghiệp vụ cùng với các quy tắc đi kèm. Nghiên cứu đánh giá các phương pháp và công cụ hiện có như BPMN, DMN, Mạng Petri màu (CPN), Mạng Petri màu phân cấp (HCPN) và Luật Event-Condition-Action (ECA), chỉ ra ưu điểm, nhược điểm và tính khả thi của chúng. Luận án đề xuất các phương pháp mới để chuyển đổi các mô hình BPMN và DMN thành CPN và HCPN, tích hợp khả năng xác thực đồng thời quy trình và quy tắc nghiệp vụ. Đồng thời, nghiên cứu cũng phát triển phương pháp chuyển đổi các mô hình CPN và HCPN thành các bộ luật ECA để kiểm tra và xác thực, nhằm giải quyết thách thức trong việc thực thi các quy trình nghiệp vụ phức tạp. Các phương pháp này được kỳ vọng sẽ nâng cao hiệu quả, giảm thiểu rủi ro trong phát triển phần mềm và tối ưu hóa quy trình nghiệp vụ trong các doanh nghiệp.

Mục lục chi tiết:

  • Lời cảm ơn
  • Mục lục
  • Danh mục các ký hiệu, các từ viết tắt
  • Danh mục các hình vẽ
  • Danh mục các bảng biểu
  • Mở đầu
  • Chương 1: Tổng quan quy trình và quy tắc nghiệp vụ
  • Chương 2: Xác thực quy trình và quy tắc nghiệp vụ
  • Chương 3: Xác thực quy trình và quy tắc nghiệp vụ sử dụng mạng Petri màu
  • Chương 4: Xác thực quy trình và quy tắc nghiệp vụ phần mềm sử dụng mạng Petri màu phân cấp
  • Kết luận
  • Các công trình khoa học đã công bố
  • Tài liệu tham khảo