Nghiên cứu sinh Nguyễn Thanh Tuấn bảo vệ thành công Luận án Tiến sĩ cấp Trường, ngành Khoa học máy tính

Sáng ngày 22/02/2025, Trường Đại học Bách khoa, Đại học Đà Nẵng (ĐHĐN) đã tổ chức buổi bảo vệ Luận án Tiến sĩ cấp Trường cho Nghiên cứu sinh (NCS) Nguyễn Thanh Tuấn với đề tài: “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 được thực hiện với sự hướng dẫn khoa học của GS. TSKH. Lê Thành Nhân - Viện Công nghệ Quốc tế DNIIT, ĐHĐN và TS. Hoàng Thị Thanh Hà - Trường Đại học Kinh tế, ĐHĐN.

PGS.TS. Võ Ngọc Dương - Phó Trưởng phòng Phòng Đào tạo, Trường Đại học Bách khoa công bố quyết định thành lập Hội đồng đánh giá luận án

Hội đồng đánh giá Luận án Tiến sĩ gồm 07 thành viên:

1. PGS.TS. Nguyễn Tấn Khôi - Trường Đại học Bách khoa, ĐHĐN, Chủ tịch Hội đồng;

2. PGS.TS. Võ Thanh Tú - Trường Đại học Khoa học, Đại học Huế, Phản biện 1;

3. PGS.TS. Trần Văn Lăng - Trường Đại học Ngoại ngữ - Tin học Hồ Chí Minh, Phản biện 2;

4. TS. Trần Thiên Thành - Trường Đại học Quy Nhơn, Phản biện 3;

5. PGS.TS. Võ Trung Hùng - Trường Đại học Sư phạm kỹ thuật, ĐHĐN, Ủy viên 1;

6. GS.TSKH. Võ Viết Minh Nhật - Trường Đại học Khoa học, Đại học Huế, Ủy viên 2;

7. TS. Lê Thị Mỹ Hạnh - Trường Đại học Bách khoa, ĐHĐN, Thư ký Hội đồng.

Dưới sự chủ trì của PGS.TS. Nguyễn Tấn Khôi, Hội đồng đã thông qua lý lịch khoa học, thành tích nghiên cứu, quá trình học tập, công tác và kết quả nghiên cứu khoa học của NCS Nguyễn Thanh Tuấn. Tất cả các thành viên trong Hội đồng đều đánh giá cao năng lực nghiên cứu và những kết quả đạt được của NCS trong thời gian qua.

NCS Nguyễn Thanh Tuấn trình bày Luận án trước Hội đồng

Mục đích chính của luận án này là đề xuất một phương pháp hình thức để mô tả và xác thực đồng thời các quy trình nghiệp vụ và các quy tắc nghiệp vụ.

Các mục tiêu nghiên cứu cụ thể bao gồm:

- Đánh giá các phương pháp và công cụ hiện có để mô hình hóa và xác thực các quy trình nghiệp vụ và các quy tắc nghiệp vụ.

- Phát triển một phương pháp mới để hình thức hóa các quy trình và quy tắc nghiệp vụ.

- Dựa trên mô hình hình thức hóa, đưa ra các kỹ thuật và công cụ để xác thực đồng thời quy trình và quy tắc nghiệp vụ.

Luận án này có ý nghĩa khoa học và thực tiễn quan trọng đối với lĩnh vực phát triển phần mềm. Trong thực tế, quy trình nghiệp vụ và quy tắc nghiệp vụ là 02 yếu tố quan trọng trong thiết kế và triển khai phần mềm. Tuy nhiên, việc xác định các quy trình và quy tắc nghiệp vụ có thể rất phức tạp và mất nhiều thời gian và nguồn lực.

Luận án này có thể cung cấp các phương pháp và công cụ mới để mô hình hóa và xác thực các quy trình và quy tắc nghiệp vụ một cách hiệu quả hơn. Việc phát triển các phương pháp mới để chuyển đổi các mô hình BPMN và DMN thành các mô hình CPN và sau đó thành các bộ luật ECA có thể giảm thiểu sự phụ thuộc vào kỹ sư và giảm thời gian và nguồn lực cần thiết cho việc phát triển phần mềm.

Bên cạnh đó, việc đánh giá các phương pháp đề xuất bằng cách sử dụng phân tích không gian trạng thái và các kỹ thuật khác để xác thực tính các mô hình CPN và ECA cũng giúp cải thiện chất lượng phần mềm và giảm thiều rủi ro liên quan đến sự cố phần mềm. Do đó, nghiên cứu này có thể cung cấp các giải pháp mới để cải thiện quy trình phát triển phần mềm, giảm thiểu thời gian và chi phí cần thiết cho việc phát triển phần mềm và tăng cường tính tin cậy và chất lượng của phần mềm.

Các thành viên trong Hội đồng có nhiều đánh giá, góp ý cho đề tài của NCS

Đề tài nghiên cứu của NCS Nguyễn Thanh Tuấn nhận được nhiều đánh giá, góp ý từ các thành viên của Hội đồng. Đề tài phù hợp với chuyên ngành, hàm lượng khoa học cao, đáp ứng quy định của một luận án tiến sĩ, có thể phát triển theo nhiều hướng trong lĩnh vực xác thực quy trình và quy tắc nghiệp vụ, ứng dụng trong thực tiễn. Bên cạnh đó, Hội đồng cũng đưa ra nhiều góp ý mang tính xây dựng để NCS hoàn thiện luận án một cách tốt nhất. NCS đã nhận được 07/07 phiếu đồng ý từ Hội đồng chấm luận án.

Giảng viên hướng dẫn phát biểu chia sẻ về NCS Nguyễn Thanh Tuấn

Trong niềm xúc động, NCS đã gửi lời cảm ơn đến các thành viên trong Hội đồng chấm luận án đã có những góp ý để NCS tiếp tục rà soát lại nội dung và hoàn thiện đề tài nghiên cứu của mình một cách tốt nhất. Đồng thời NCS đã gửi lời cảm ơn đến các thầy cô Khoa Công nghệ thông tin và giảng viên hướng dẫn, đồng nghiệp, đặc biệt là gia đình đã luôn động viên, khích lệ để NCS có thể bảo vệ thành công luận án cấp Trường ngày hôm nay.

Chụp ảnh lưu niệm

Tin, ảnh: Trung tâm Học liệu và Truyền thông, Trường Đại học Bách khoa, ĐHĐN