Đăng nhập để tải tài liệu không giới hạn
Tham gia 8.000+ người dùng Thư Viện Luận Án
Đang tải tài liệu...
TÓM TẮT LUẬN ÁN TIẾN SĨ KỸ THUẬT
KHOA HỌC MÁY TÍNH
Luận án này tập trung giải quyết nhu cầu cấp thiết về việc đảm bảo tính chính xác và độ tin cậy của các mô hình quy trình và quy tắc nghiệp vụ (BPMN, DMN) trong bối cảnh phát triển phần mềm hiện đại, khi các nền tảng quản lý quy trình nghiệp vụ hiện tại thường thiếu công cụ xác minh hiệu quả. Mục tiêu chính là phát triển các phương pháp và công cụ để xác minh các mô hình này, nhằm giảm thiểu lỗi thiết kế và nâng cao chất lượng hệ thống.
Phương pháp được đề xuất trong luận án là sử dụng Mạng Petri màu (CPN) và Mạng Petri màu phân cấp (HCPN) để hình thức hóa và xác minh các mô hình quy trình và quy tắc nghiệp vụ. Các mục tiêu nghiên cứu bao gồm: nghiên cứu các phương pháp và kỹ thuật xác minh hiện có; phát triển mô hình hình thức hóa quy trình và quy tắc nghiệp vụ bằng CPN; xây dựng thuật toán chuyển đổi mô hình BPMN/DMN sang CPN và HCPN; đề xuất phương pháp xác minh dựa trên CPN và HCPN; triển khai công cụ hỗ trợ và đánh giá hiệu quả. Luận án tập trung xác minh các thuộc tính tính đúng đắn (soundness) và tính an toàn (safeness) của quy trình.
Những đóng góp mới của luận án bao gồm việc đề xuất mô hình hình thức hóa quy trình và quy tắc nghiệp vụ sử dụng CPN và HCPN, xây dựng thuật toán chuyển đổi từ BPMN/DMN sang CPN/HCPN, phát triển phương pháp xác minh dựa trên CPN/HCPN, và triển khai công cụ hỗ trợ xác minh. Cụ thể, mô hình VeBPRu và VeBPRu2 (cho quy trình phân cấp) được giới thiệu, cùng với khả năng chuyển đổi sang chuỗi luật ECA để biểu diễn logic nghiệp vụ rõ ràng. Các thử nghiệm trên bộ dữ liệu lớn đã chứng minh tính khả thi và hiệu quả của phương pháp đề xuất trong việc chuyển đổi, xác thực các mô hình BPMN/DMN, phát hiện lỗi thiết kế và đảm bảo tính đúng đắn, an toàn của quy trình nghiệp vụ, góp phần nâng cao chất lượng phần mềm.
Tải không giới hạn tất cả tài liệu, không cần chờ. Chỉ từ 199.000đ/tháng.
Xem gói hội viên