ĐẠI HỌC ĐÀ NẴNG
TRƯỜNG ĐẠI HỌC BÁCH KHOA
—————————————
Nguyễn Thanh Tuấn
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Ĩ
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ấn
MÔ 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ủa
tô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ày
trong 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 được
sự đị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ác
nhà 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ành
Nhân và cô TS. Hoàng Thị Thanh Hà đã tận tình hướng dẫn và giúp đỡ trong quá trình
nghiê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ọc
củ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 Khoa
họ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 . . . . . . . . . . . . . . . . . . . . . . . x
MỞ ĐẦ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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
CHƯƠ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