ĐÓNG GÓP CHÍNH CỦA LUẬN ÁN TIẾN SĨ KỸ THUẬT
Đề tài: “MÔ HÌNH XÁC THỰC NGHIỆP VỤ PHẦN MỀM THEO HƯỚNG LẬP TRÌNH ĐẶC TẢ”
Nghiên cứu sinh: Nguyễn Thanh Tuấn, Khóa K35
Ngành: Khoa học máy tính
Mã số: 9.48.01.01
Luận án có 06 đóng góp chính liên quan đến mô hình hóa và xác thực quy trình, quy tắc nghiệp vụ như sau:
(1) Đánh giá toàn diện các phương pháp và công cụ hiện có:
a. Luận án đã tiến hành đánh giá các phương pháp và công cụ như BPMN, DMN, CPN, HCPN, và ECA trong việc mô hình hóa và xác thực quy trình, quy tắc nghiệp vụ.
b. Các ưu điểm, nhược điểm và khả năng ứng dụng thực tế của từng phương pháp được phân tích chi tiết, từ đó đưa ra đánh giá về tính khả thi và hiệu quả.
c. Kết quả đánh giá cung cấp nền tảng khoa học để xác định các thách thức cần giải quyết trong nghiên cứu.
(2) Đề xuất phương pháp chuyển đổi từ BPMN/DMN sang CPN:
a. Phương pháp này cho phép tích hợp quy trình và quy tắc nghiệp vụ trong một mô hình duy nhất.
b. Nghiên cứu đã phát triển các thuật toán để chuyển đổi các yếu tố từ BPMN, DMN sang CPN, bao gồm biểu diễn quy tắc nghiệp vụ, ánh xạ dữ liệu, và xử lý các luồng công việc.
c. Phương pháp này giúp tăng cường khả năng phân tích và xác thực quy trình nghiệp vụ thông qua Mạng Petri màu (CPN).
(3) Phương pháp chuyển đổi BPMN/DMN sang HCPN:
a. Luận án đã phát triển thuật toán chuyển đổi từ BPMN/DMN sang HCPN nhằm giải quyết các quy trình nghiệp vụ phân cấp và phức tạp.
b. Phương pháp này cho phép chuyển đổi từng quy trình con thành các trang (pages) trong HCPN, duy trì tính toàn vẹn và khả năng quản lý mô hình.
c. Việc áp dụng HCPN giúp tăng cường khả năng tổ chức và tích hợp các quy trình nghiệp vụ có tính chất phân cấp.
(4) Phương pháp chuyển đổi từ HCPN sang luật ECA:
a. Luận án phát triển thuật toán chuyển đổi từ HCPN sang luật ECA (Event-Condition-Action), hỗ trợ biểu diễn các hành vi nghiệp vụ trong các hệ thống phân cấp.
b. Các quy trình con trong HCPN được phân rã và ánh xạ thành các tập luật ECA, đảm bảo sự toàn vẹn.
c. Phương pháp này giúp đơn giản hóa quá trình kiểm tra và tự động hóa các quy tắc nghiệp vụ phức tạp.
(5) Phát triển thuật toán chuyển đổi từ CPN sang ECA:
a. Nghiên cứu sinh đã phát triển thuật toán chuyển đổi các mô hình CPN thành các bộ luật ECA, hỗ trợ kiểm tra và xác thực các hành động nghiệp vụ một cách hiệu quả.
b. Phương pháp tập trung vào việc giảm độ phức tạp trong việc tạo các luật ECA, đồng thời bảo đảm tính toàn vẹn và chính xác trong quá trình chuyển đổi.
c. Giải pháp đề xuất mang tính thực tiễn cao, hỗ trợ hiệu quả trong việc kiểm tra tự động các hệ thống nghiệp vụ phức tạp.
(6 ) Ứng dụng kỹ thuật kiểm tra mô hình và phân tích không gian trạng thái:
a. Các mô hình HCPN và CPN sau khi được phát triển đã được kiểm tra tính chính xác và nhất quán thông qua kỹ thuật phân tích không gian trạng thái và kiểm tra mô hình.
b. Việc áp dụng các kỹ thuật này giúp đảm bảo các mô hình được xây dựng đạt chuẩn về logic và có khả năng phản ánh các quy trình nghiệp vụ thực tế.
