(Luận án tiến sĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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ĩ) 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

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 PGS.TS Huỳnh Quyết Thắng PGS.TS Cao Tuấn Dũng Hà Nội - 2021 LỜI CAM ĐOAN Tôi cam đoan đề tài: “Các kỹ thuật chuyển đổi mơ hình sinh mã phát triển ứng dụng web hướng mơ hình” cơng trình nghiên cứu thân tôi, kết nghiên cứu luận án trung thực chưa tác giả khác công bố TM Tập thể giáo viên hướng dẫn Hà Nội, ngày 01 tháng 12 năm 2021 Tác giả PGS.TS Huỳnh Quyết Thắng Trần Đình Diễn i LỜI CẢM ƠN Tơi xin bày tỏ lịng biết ơn sâu sắc tới PGS.TS Huỳnh Quyết Thắng, PGS TS Cao Tuấn Dũng người định hướng hướng dẫn khoa học, tận tình giúp đỡ tơi trưởng thành cơng tác nghiên cứu hoàn thành luận án Trong suốt q trình học tập nghiên cứu trường, tơi nhận hướng dẫn giúp đỡ tận tình tập thể thầy, giáo Viện Cơng nghệ thơng tin 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 biết ơn đóng góp quý báu 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 Thủy sản thầy cô trường tạo điều kiện thời gian, chuyên môn nhiều hỗ trợ khác giúp đỡ thực luận án ii 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 Mục đích nghiên cứu Nhiệm vụ nghiên cứu Đối tượng phạm vi nghiên cứu Phương pháp nghiên cứu Ý nghĩa khoa học thực tiễn đề tài Các kết đạt CHƯƠNG 1: PHÁT TRIỂN PHẦN MỀM HƯỚNG MƠ HÌNH 1.1 Kiến trúc MDA 1.1.1 Chuyển đổi mơ hình MDA 1.1.1.1 Chuyển đổi từ CIM sang PIM 1.1.1.2 Chuyển đổi từ PIM sang PSM 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 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 nhiệm vụ 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 UWE 34 2.2 Chuyển đổi mơ hình UWE 36 iii 2.2.1 Chuyển đổi từ mơ hình u cầu sang mơ hình nội dung 37 2.2.2 Chuyển đổi từ mơ hình u cầu, nội dung sang mơ hình điều hướng 39 2.2.3 Chuyển đổi sang mơ hình xử lý 41 2.2.4 Chuyển đổi từ mơ hình điều hướng, xử lý sang mơ hình trình bày 43 2.3 Phát triển quy tắc chuyển đổi mơ hình tích hợp ràng buộc OCL 46 2.3.1 Giới thiệu phương pháp 48 2.3.2 Tích hợp OCL mơ hình xử lý 49 2.3.3 Tích hợp OCL mơ hình trình bày 53 2.3.4 Kết thảo luận 56 2.4 Phát triển quy tắc chuyển đổi mơ hình với ATL 56 2.4.1 Giải pháp 57 2.4.1.1 Siêu mơ hình u cầu 57 2.4.1.2 Siêu mơ hình: content, navigation, process, presentation 59 2.4.2 Các quy tắc ATL 62 2.4.3 Kết thảo luận 70 2.5 Tiểu kết chương 76 CHƯƠNG 3: SINH MÃ TỰ ĐỘNG CHO ỨNG DỤNG WEB HƯỚNG MƠ HÌNH 77 3.1 Kỹ thuật sinh mã phát triển ứng dụng web hướng mơ hình 77 3.2 Sinh mã dựa thuật toán theo kiến trúc MVC 78 3.2.1 Xây dựng quy tắc sinh mã 79 3.2.2 Xây dựng giải thuật sinh code tự động 86 3.2.3 Thử nghiệm đánh giá 90 3.3 Sinh mã sử dụng ngôn ngữ ATL 96 3.3.1 Chuyển đổi mơ hình PIM sang PSM theo kiến trúc MVC 96 3.3.1.1 Tạo phần Model 96 3.3.1.2 Tạo thành phần Controller 101 3.3.1.3 Tạo thành phần View 103 3.3.2 Cấu trúc mơ hình PSM theo kiến trúc MVC 105 3.3.2.1 Thành phần model 105 3.3.2.3 Thành phần Controler 108 3.3.2.3 Thành phần View 109 3.3.3 Xây dựng quy tắc chuyển đổi từ PSM sang mã nguồn 110 3.3.3.1 Sinh code từ mô hình java 110 3.3.3.2 Sinh code từ mơ hình JSP 111 3.4 Thử nghiệm sinh mã cho ứng dụng web benhthuysan.vn 111 3.4.1 Công cụ sinh mã CODEGER-UWE 111 3.4.2 Phát triển ứng dụng benhthuysan.vn 115 3.4.3 Kết thảo luận 120 3.5 Tiểu kết chương 121 KẾT LUẬN 123 DANH MỤC CÁC CƠNG TRÌNH ĐÃ CƠNG BỐ CỦA LUẬN ÁN 125 TÀI LIỆU THAM KHẢO 126 iv DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT Chữ viết tắt Chú giải ATL ATLAS Transformation Language CM Code Model CWM Common Warehouse Metamodel DSL Domain-Specific Language DTD Document Type Definition EJB Enterprise Java Bean EMF Eclipse Modeling Framework JET Java Emitter Templates JMI Java Metadata Interface JSF Java Server Faces JSP Java Server Pages MDA Model-Driven Architecture MDD Model-Driven Development MDE Model-Driven Engineering MDR Metadata Repository MDSD Model-Driven Software Development MDSE Model-Driven Software Engineering MDWD Model-Driven Web Development MDWE Model-Driven Web Engineering MOF Meta-Object Facility NAD Navigation Access Program OCL Object Constraint Language OGNL Object Graph Navigation Language OMG Object Management Group OO-H Object-Oriented Hypermedia v Chữ viết tắt Chú giải OOWS Object-Oriented Web Solution PIM Platform-Independent Model PSM Platform-Specific Model QVT Query/View/Tranfomation RMI Remote Method Invocation TTCN-3 Testing and Test Control Notation Version UI User Interface UTP UML Testing Profile UWE UML-based Web Engineering ƯML Unified Modeling Language WebML Web Markup Language WebSA Web Software Arichitecture XMI XML Metadata Interchange XML extensible Markup Language vi DANH MỤC CÁC BẢNG Bảng 2.1 Bảng 2.2 Bảng 2.3 Bảng 2.4 Bảng 2.5 Bảng 2.6 Bảng 2.7 Bảng 2.8 Bảng 2.9 Bảng 2.10 Bảng 2.11 Bảng 2.12 Bảng 2.13 Bảng 3.1 Bảng 3.2 Bảng 3.3 Bảng 3.4 Bảng 3.5 Bảng 3.6 Bảng 3.7 Bảng 3.8 Bảng 3.9 Bảng 3.10 Bảng 3.11 Bảng 3.12 Bảng 3.13 Bảng 3.14 Bảng 3.15 Thành phần DisplayAction type Prentation element 55 Các thành phần tương ứng với Pin type giao diện 55 Các khuôn mẫu sử dụng biều đồ hoạt động 62 Quy tắc chuyển đổi từ mơ hình u cầu sang mơ hình nội dung 63 Quy tắc chuyển đổi từ mơ hình u cầu sang mơ hình điều hướng 65 Thành phần DisplayAction type Prentation element 69 Các thành phần tương ứng với Pin type giao diện 70 Kết chuyển đổi mơ hình Content, Process - ví dụ MusicPortal 74 Kết chuyển đổi mơ hình Navigation - ví dụ MusicPortal 74 Kết chuyển đổi mơ hình Presentation - ví dụ MusicPortal 75 Kết chuyển đổi mô hình Content, Process - ví dụ AddressBook 75 Kết chuyển đổi mơ hình Navigation - ví dụ AddressBook 75 Kết chuyển đổi mơ hình Presentation - ví dụ AddressBook 75 Danh sách quy tắc sinh code xây dựng 81 Bảng đánh giá mã nguồn 95 Các quy tắc chuyển đổi từ mơ hình nội dung sang mơ hình java 97 Quy tắc thành phần mơ hình xử lý Java 100 Các quy tắc chuyển đổi mơ hình điều hướng sang mơ hình Java 103 Các quy tắc chuyển đổi mơ hình trình bày sang JSP: 105 Cấu trúc thành phần model 106 Cấu trúc thành phần service 107 Cấu trúc thành phần Controller 108 Cấu trúc mơ hình JSP 109 Các truy vấn sinh mã từ mơ hình java 110 Truy vấn ATL sinh mã mơ hình JSP 111 Bảng so sách kết chuyển đổi mơ hình nội dung xử lý 120 Bảng so sách kết chuyển đổi mô hình điều hướng 120 Bảng so sách kết chuyển đổi mơ hình trình bày 120 vii DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ Hình 1.1 Hình 1.2 Hình 1.3 Hình 1.4 Hình 1.5 Hình 1.6 Hình 1.7 Hình 1.8 Hình 1.9 Hình 1.10 Hình 1.11 Hình 1.12 Hình 1.13 Hình 1.14 Hình 1.15 Hình 1.16 Hình 1.17 Hình 1.18 Hình 1.19 Hình 1.20 Hình 1.21 Hình 1.22 Hình 1.23 Hình 1.24 Tổng quan MDA Tiến trình MDA Sự phân loại mơ hình MDA Chuyển đổi mơ hình MDA Mơ hình chuyển từ CIM sang PIM Đánh dấu mơ hình Quá trình biến đổi Metalmodel 10 Q trình biến đổi mơ hình 10 Ứng dụng mẫu 11 Một cách khác để sử dụng mẫu 11 Mơ hình kết hợp 12 Bổ sung thông tin để chuyển sang PSM 12 Sử dụng thông tin bổ sung kỹ thuật biến đổi cụ thể 12 Tổng quan chuyển đổi mơ hình ATL 14 Phần lõi ATL 19 Lược đồ hoạt động máy ảo ATL 20 Lược đồ ACG 21 Kiến trúc QVT 22 Cấu trúc MDA cho kỹ thuật web 25 Quy trình chung UWE 26 Quy trình phát triển WebSA 27 Tổng quan chuyển đổi mơ hình ActionUWE 30 Tổng quan cách tiếp cận 31 Tổng quan quy trình chuyển đổi mơ hình 31 Siêu mơ hình điều hướng (Navigation Metamodel) 34 Siêu mơ hình xử lý (Process Metamodel) 35 Siêu mô hình trình bày (Presentation Metamodel) 36 Chuyển đổi từ CIM tới PIM UWE 36 Chuyển đổi mô hình từ PIM san PSM UWE 37 Chuyển đổi Requirements to Content 37 Mô tả quy tắc để thêm hoạt động 38 Chuyển đổi RequirementsAndContent2Navigation 39 Chuyển đổi sang mơ hình xử lý 42 Chuyển đổi AvigationAndProcess to Presentation 43 Chuyển đổi mơ hình mã nguồn tích hợp ràng buộc OCL 49 Biểu đồ diễn tiến chuyển đổi bất biến mơ hình xử lý 50 viii ... hợp, phân tích kỹ thuật phát triển phần mềm hướng mơ hình, kỹ thuật phát triển ứng dụng web hướng mơ UWE, WebML, WebSA Phát triển quy tắc chuyển đổi mơ hình Phát triển quy tắc sinh code với ngôn... 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. .. cho phát triển ứng dụng web hướng mơ hình theo phương pháp UWE - Trên sở quy tắc phát triển, xây dựng công cụ sinh mã tự động cho ứng dụng web Thực nghiệm vào phát triển ứng dụng web Chẩn đoán