Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả

Abstract

- Chương 1: Tổng quan về quy trình và quy tắc nghiệp vụ phần mềm: Chương này trình bày tổng quan về quy trình nghiệp vụ và quy tắc nghiệp vụ, cùng với việc mô hình hóa chúng sử dụng BPMN và DMN. Phần này cũng giới thiệu về luật ECA và chuỗi luật ECA. - Chương 2: Xác thực quy trình và quy tắc nghiệp vụ: Chương này trình bày lý thuyết mạng Petri (CPN, HCPN) và các kỹ thuật xác thực quy trình, quy tắc nghiệp vụ, làm nền tảng cho các phương pháp đề xuất ở các chương sau. - Chương 3: 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: Chương này trình bày phương pháp VeBPRu do luận án đề xuất, tích hợp quy trình (BPMN) và quy tắc nghiệp vụ (DMN) vào mô hình CPN để xác thực tự động. Cuối chương là kết quả thử nghiệm minh họa hiệu quả của phương pháp. - 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. Chương này cũng trình bày mô hình VeBPRu2, là phiên bản mở rộng của VeBPRu, cho phép xác thực các quy trình nghiệp vụ phân cấp phức tạp hơn.