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 cơ sở, ngành Khoa học máy tính

Chiều ngày 20/01/2024, 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 cơ sở cho Nghiên cứu sinh (NCS) Nguyễn Thanh Tuấn với đề tài: “Mô hình thực thi phần mềm theo hướng lập trình đặc tả sử dụng Ontology”. 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 chấm 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. Hoàng Văn Dũng - Trường Đại học Sư phạm Kỹ thuật TP HCM, Phản biện 1;

3. PGS.TS. Huỳnh Xuân Hiệp - Trường Đại học Cần Thơ, Phản biện 2;

4. TS. Trần Thế Vũ - Viện Nghiên cứu và Đào tạo Việt - Anh, ĐHĐN, Ủy viên;

5. TS. Bùi Thị Thanh Thanh - Trường Đại học Bách khoa, ĐNĐN, Ủy viên;

6. GS. TSKH. Lê Thành Nhân - Viện Công nghệ Quốc tế DNIIT, ĐHĐN, Ủy viên;

7. TS. Nguyễn Văn Hiệu - Trường Đại học Bách khoa, ĐHĐN, Thư ký Hội đồng.

Hội đồng thông qua lý lịch khoa học của NCS Nguyễn Thanh Tuấn

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 đá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.

NCS chụp ảnh lưu niệm cùng Hội đồng và giảng viên hướng dẫ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 ý kiến 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 đế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 cơ sở ngày hôm nay.

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