BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI
Trần Đình Diễn
CÁC KỸ THUẬT CHUYỂN ĐỔI MÔ HÌNH VÀ SINH MÃ
TRONG PHÁT TRIỂN ỨNG DỤNG WEB HƯỚNG MÔ HÌNH
LUẬN ÁN TIẾN SĨ KỸ THUẬT PHẦN MỀM
Hà Nội - 2021
BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI
Trần Đình Diễn
CÁC KỸ THUẬT CHUYỂN ĐỔI MÔ HÌNH VÀ SINH MÃ
TRONG PHÁT TRIỂN ỨNG DỤNG WEB HƯỚNG MÔ HÌNH
Ngành: Kỹ thuật phần mềm
Mã số: 9480103
LUẬN ÁN TIẾN SĨ KỸ THUẬT PHẦN MỀM
NGƯỜI HƯỚNG DẪN KHOA HỌC
1. PGS.TS. Huỳnh Quyết Thắng
2. PGS.TS. Cao Tuấn Dũng
Hà Nội - 2021
i
LỜI CAM ĐOAN
Tôi cam đoan đề tài: “Các kỹ thuật chuyển đổi mô hình và sinh mã trong phát
triển ứng dụng web hướng mô hình” là công trình nghiên cứu của bản thân tôi, các kết
quả nghiên cứu trong luận án là trung thực và chưa từng được tác giả khác công bố.
TM. Tập thể giáo viên hướng dẫn
PGS.TS. Huỳnh Quyết Thắng
Hà Nội, ngày 01 tháng 12 năm 2021
Tác giả
Trần Đình Diễn
ii
LỜI CẢM ƠN
Tôi xin bày tỏ lòng biết ơn sâu sắc nhất tới PGS.TS. Huỳnh Quyết Thắng, PGS.
TS. Cao Tuấn Dũng là người định hướng và hướng dẫn khoa học, đã tận tình giúp đỡ
tôi trưởng thành trong công tác nghiên cứu và hoàn thành luận án.
Trong suốt quá trình học tập và nghiên cứu tại trường, tôi đã nhận được sự hướng
dẫn và giúp đỡ tận tình của tập thể các thầy, cô giáo tại Viện Công nghệ thông tin và
Truyền thông, Phòng đào tạo Trường Đại học Bách khoa Hà Nội. Tôi xin ghi nhận
và biết ơn sự đóng góp quý báu của các thầy, cô.
Tôi xin trân trọng cảm ơn Ban giám hiệu Trường Cao đẳng Kinh tế, Kỹ thuật và
Thủy sản cùng các thầy cô tại trường đã tạo điều kiện về thời gian, chuyên môn và
nhiều hỗ trợ khác giúp đỡ tôi thực hiện luận án.
iii
MỤC LỤC
LỜI CAM ĐOAN ...................................................................................................................... i
LỜI CẢM ƠN ........................................................................................................................... ii
DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT .......................................................... v
DANH MỤC CÁC BẢNG .................................................................................................... vii
DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ ............................................................................. viii
MỞ ĐẦU .............................................................................................................................. 1
Mục đích nghiên cứu .............................................................................................. 3
Nhiệm vụ nghiên cứu ............................................................................................. 3
Đối tượng và phạm vi nghiên cứu .......................................................................... 3
Phương pháp nghiên cứu ........................................................................................ 4
Ý nghĩa khoa học và thực tiễn của đề tài ................................................................ 4
Các kết quả mới đạt được ....................................................................................... 5
CHƯƠNG 1: PHÁT TRIỂN PHẦN MỀM HƯỚNG MÔ HÌNH ...................................... 6
1.1. Kiến trúc MDA ................................................................................................ 6
1.1.1. Chuyển đổi mô hình trong MDA .............................................................. 8
1.1.1.1. Chuyển đổi từ CIM sang PIM ........................................................... 9
1.1.1.2. Chuyển đổi từ PIM sang PSM ........................................................... 9
1.1.1.3. Chuyển đổi từ PSM sang code ........................................................ 13
1.1.2. Ngôn ngữ chuyển đổi mô hình ................................................................ 13
1.1.2.1. Ngôn ngữ ATL ................................................................................ 13
1.1.2.2. Ngôn ngữ QVT ................................................................................ 21
1.2. Các chuẩn của OMG cho MDA .................................................................... 23
1.2.1. MOF – Meta Object Facility ................................................................ 23
1.2.2. UML – Unified modeling Language ..................................................... 23
1.2.3. OCL (Object Constraint Language) ..................................................... 23
1.2.4. UML Profile .......................................................................................... 24
1.2.5. CWM (Common Warehouse Metamodel) ............................................. 24
1.3. Kỹ thuật web hướng mô hình ........................................................................ 25
1.3.1. UWE (UML-Based Web Engineering) ................................................... 26
1.3.2. Web Software Architecture (WebSA) ..................................................... 26
1.3.3. WebML (Web Modeling Language) ....................................................... 27
1.3.4. OOWS - Object-Oriented Web Solution ................................................. 28
1.3.5. Hypertext Modeling Method of MIDAS (MIDAS-HM3) ........................ 28
1.4. Các nghiên cứu liên quan và nhiệm vụ trong luận án ................................... 29
1.5. Tiểu kết chương ............................................................................................. 33
CHƯƠNG 2: KỸ THUẬT CHUYỂN ĐỔI MÔ HÌNH (CIM TO PIM) THEO
PHƯƠNG PHÁP UWE CHO PHÁT TRIỂN ỨNG DỤNG WEB .................................. 34
2.1. Các mô hình trong UWE ............................................................................... 34
2.2. Chuyển đổi mô hình trong UWE ................................................................... 36
