Luận án Tiến sĩ Khoa học máy tính: Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả

Luận án Tiến sĩ Khoa học máy tính "Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả" trình bày các nội dung chính sau: Tổng quan về quy trình và quy tắc nghiệp vụ phần mềm; 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; 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.
Nội dung trích xuất từ tài liệu:
Luận án Tiến sĩ Khoa học máy tính: Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả ĐẠI HỌC ĐÀ NẴNG TRƯỜNG ĐẠI HỌC BÁCH KHOA ————————————— Nguyễn Thanh TuấnMÔ HÌNH XÁC THỰC NGHIỆP VỤ PHẦN MỀM THEO HƯỚNG LẬP TRÌNH ĐẶC TẢ LUẬN ÁN TIẾN SĨ NGÀNH KHOA HỌC MÁY TÍNH Đà Nẵng – 2024 ĐẠI HỌC ĐÀ NẴNG TRƯỜNG ĐẠI HỌC BÁCH KHOA ————————————— Nguyễn Thanh TuấnMÔ HÌNH XÁC THỰC NGHIỆP VỤ PHẦN MỀM THEO HƯỚNG LẬP TRÌNH ĐẶC TẢ Chuyên ngành: Khoa học máy tính Mã số: 9 48 01 01 LUẬN ÁN TIẾN SĨ NGÀNH KHOA HỌC MÁY TÍNH NGƯỜI HƯỚNG DẪN KHOA HỌC: 1. GS. TSKH. Lê Thành Nhân 2. TS. Hoàng Thị Thanh Hà Đà Nẵng – 2024 i LỜI CAM ĐOAN Tôi xin cam đoan các kết quả trình bày trong luận án là công trình nghiên cứu củatôi dưới sự hướng dẫn của các cán bộ hướng dẫn. Các số liệu, các kết quả trình bàytrong luận án hoàn toàn trung thực và chưa được công bố trong các công trình trướcđây. Các dữ liệu tham khảo được trích dẫn đầy đủ. Đà Nẵng, ngày 28 tháng 10 năm 2024 Nguyễn Thanh Tuấn ii LỜI CẢM ƠN Trong quá trình nghiên cứu và hoàn thành Luận án, Nghiên cứu sinh đã nhận đượcsự định hướng, giúp đỡ, các ý kiến đóng góp quý báu và những lời động viên của cácnhà khoa học, các thầy cô giáo, đồng nghiệp và gia đình. Trước hết, Nghiên cứu sinh xin bày tỏ lời cảm ơn tới thầy PGS.TSKH Lê ThànhNhân và cô TS. Hoàng Thị Thanh Hà đã tận tình hướng dẫn và giúp đỡ trong quá trìnhnghiên cứu. Cho phép Nghiên cứu sinh chân thành cảm ơn các thầy cô giáo, các nhà khoa họccủa Khoa Công nghệ thông tin, trường Đại học Bách Khoa - Đại học Đà Nẵng đã cócác góp ý quý báu cho Nghiên cứu sinh trong quá trình thực hiện Luận án này. Nghiên cứu sinh chân thành cảm ơn Ban Giám đốc, Ban Đào tạo, Đại học Đà Nẵng,Ban giám hiệu, Khoa Tin học trường Đại học Sư phạm, Ban giám hiệu, Khoa Khoahọc máy tính trường Đại học Công nghệ thông tin và Truyền thông Việt Hàn đã tạođiều kiện thuận lợi để Nghiên cứu sinh hoàn thành nhiệm vụ nghiên cứu. Cuối cùng Nghiên cứu sinh bày tỏ lời cảm ơn tới các đồng nghiệp, gia đình, bạn bèđã luôn động viên, chia sẻ, ủng hộ và giúp đỡ Nghiên cứu sinh vượt qua khó khăn đểđạt được những kết quả nghiên cứu trong Luận án này. NCS Nguyễn Thanh Tuấn iii MỤC LỤC LỜI CẢM ƠN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii MỤC LỤC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii DANH MỤC CÁC KÝ HIỆU, CÁC TỪ VIẾT TẮT . . . . . . . . . . . . vii DANH MỤC CÁC HÌNH VẼ . . . . . . . . . . . . . . . . . . . . . . . . . ix DANH MỤC CÁC BẢNG BIỂU . . . . . . . . . . . . . . . . . . . . . . . xMỞ ĐẦU 1 A. Tính cấp thiết của đề tài nghiên cứu: . . . . . . . . . . . . . . . . . . . . 1 B. Mục tiêu nghiên cứu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 C. Nội dung nghiên cứu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 D. Đối tượng và phạm vi nghiên cứu . . . . . . . . . . . . . . . . . . . . . . 5 E. Phương pháp nghiên cứu . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 F. Ý nghĩa khoa học và thực tiễn của luận án . . . . . . . . . . . . . . . . . 6 G. Bố cục của luận án . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8CHƯƠNG 1. TỔNG QUAN QUY TRÌNH VÀ QUY TẮC NGHIỆP VỤ 9 1.1 Quy trình nghiệp vụ và mô hình hoá bằng BPMN . . . . . . . . . . 9 1.1.1 Quy trình nghiệp vụ . . . . . . . . . . . . . . . . . . . . . . . 9 1.1.2 Mô hình hóa quy trình nghiệp vụ sử dụng BPMN . . . . . 12 1.2 Quy trình nghiệp vụ và mô hình hoá bằng BPMN . . . . . . . . . . 14 1.3 Quy tắc nghiệp vụ và mô hình hoá bằng DMN . . . . . . . . . . . . 18 1.3.1 Định nghĩa Quy tắc nghiệp vụ . . . . . . . . . . . . . . . . . . 18 1.3.2 Mô hình hóa quy tắc nghiệp vụ sử dụng DMN . . . . . . . . . 20 1.3.3 Kết hợp DMN trong mô hình BPMN . . . . . . . . . . . . . . 24 1.4 Luật ECA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 1.4.1 Định nghĩa và Cấu trúc Luật ECA . . . . . . . . . . . . . . 27 iv 1.4.2 Vai trò và Khả năng Thực thi của Luật ECA . . . . . . . . 28 1.4.3 Ứng dụng và Triển khai Luật ECA . . . . . . . . . . . . . . 29 1.5 Chuỗi luật ECA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 1.6 Kết luận chương 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30CHƯƠNG 2. XÁC THỰC QUY TRÌNH VÀ QUY TẮC NGHIỆP VỤ 32 2.1 Mạng Petri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 2.2 Mạng Petri màu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.3 Mạng Petri màu phân cấp . . . . . . . . . . . . . . . . . . . . . . . . 37 2.4 Hiện trạng nghiên cứu về xác thực quy trình và quy tắc nghiệp vụ 38 2.4.1 Hình thức hóa quy trình nghiệp vụ . . . . . . . . . . . . . . 39 ...