Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả

Nguyễn, Thanh Tuấn

Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này: http://thuvienso.dut.udn.vn/handle/DUT/6243

Nhan đề:	Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả
Tác giả:	Nguyễn, Thanh Tuấn
Người hướng dẫn:	GS.TSKH.Lê, Thành Nhân TS. Hoàng, Thị Thanh Hà
Từ khoá:	Lập trình đặc tả;Mô hình xác thực;Phần mềm
Năm xuất bản:	2025
Nhà xuất bản:	Trường Đại học Bách khoa - Đại học Đà Nẵng
Tóm tắt:	- Chương 1: Tổng quan về quy trình và quy tắc nghiệp vụ phần mềm: Chương này trình bày tổng quan về quy trình nghiệp vụ và quy tắc nghiệp vụ, cùng với việc mô hình hóa chúng sử dụng BPMN và DMN. Phần này cũng giới thiệu về luật ECA và chuỗi luật ECA. - Chương 2: Xác thực quy trình và quy tắc nghiệp vụ: Chương này trình bày lý thuyết mạng Petri (CPN, HCPN) và các kỹ thuật xác thực quy trình, quy tắc nghiệp vụ, làm nền tảng cho các phương pháp đề xuất ở các chương sau. - Chương 3: 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: Chương này trình bày phương pháp VeBPRu do luận án đề xuất, tích hợp quy trình (BPMN) và quy tắc nghiệp vụ (DMN) vào mô hình CPN để xác thực tự động. Cuối chương là kết quả thử nghiệm minh họa hiệu quả của phương pháp. - Chương 4: 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. Chương này cũng trình bày mô hình VeBPRu2, là phiên bản mở rộng của VeBPRu, cho phép xác thực các quy trình nghiệp vụ phân cấp phức tạp hơn.
Mô tả:	007.743. NG527T; 214 tr.
Định danh:	http://thuvienso.dut.udn.vn/handle/DUT/6243
Bộ sưu tập:	Khoa Công nghệ Thông tin - LA Ngành Khoa học Máy tính (Computer Science)

Các tập tin trong tài liệu này:

Tập tin	Mô tả	Kích thước	Định dạng
2.LA.NguyenThanhTuan.TM.pdf	Toàn văn	10.17 MB	Adobe PDF
2.LA.139565.NguyenThanhTuan.TT vi.pdf	Tóm tắt tiếng Việt	384.29 kB	Adobe PDF
2.LA.139565.NguyenThanhTuan.TT en.pdf	Tóm tắt tiếng Anh	252.32 kB	Adobe PDF