Hướng đến một mô hình tích hợp xác thực quy trình trong phát triển ứng dụng dựa trên quy trình

Tóm tắt

Trong kỷ nguyên Công nghiệp 4.0, khả năng thích ứng nhanh chóng với thay đổi thị trường và công nghệ là yếu tố quan trọng giúp các công ty cạnh tranh. Mặc dù, các hệ thống phần mềm nguyên khối vẫn phổ biến, Ứng dụng Dựa trên Quy trình (PDA) cung cấp giải pháp linh hoạt, bền vững và tích hợp, sử dụng Mô hình và Ký hiệu Quy trình Nghiệp vụ (BPMN) để mô hình hóa quy trình. Tuy nhiên, BPMN thiếu ngữ nghĩa hình thức, gây ra các lỗi tiềm ẩn trong quá trình thực thi. Bài báo này đề xuất một mô hình xác thực tích hợp Mạng Petri màu (CPN) vào vòng đời phát triển PDA nhằm nâng cao khả năng xác thực quy trình. Bằng cách chuyển đổi các mô hình BPMN sang CPN, phương pháp này cho phép phát hiện sớm các lỗi như deadlock và các bất nhất trong cấu trúc. Thông qua nghiên cứu tình huống là Quy trình xử lý đơn vay, phương pháp BPMN + CPN giúp giảm 80% lỗi, đồng thời cải thiện đáng kể tính ổn định và độ tin cậy của hệ thống PDA.