Luận Án Tiến Sĩ Về Kỹ Thuật Chuyển Đổi Mô Hình và Sinh Mã Trong Phát Triển Ứng Dụng Web

Tài liệu chuyên sâu Kỹ Thuật Chuyển Đổi Mô Hình và Sinh Mã Trong Phát Triển Ứng Dụng Web, phân tích đa chiều, cung cấp kiến thức nền tảng vững chắc

• Tác giả: Trần Đình Diễn
• Người hướng dẫn: PGS. Huỳnh Quyết Thắng
• Trường học: Trường Đại Học Bách Khoa Hà Nội
• Chuyên ngành: Kỹ thuật phần mềm
• Đề 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
• Loại tài liệu: luận án
• Năm xuất bản: 2021
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CAM ĐOAN
• LỜI CẢM ƠN
• 1. CHƯƠNG 1: PHÁT TRIỂN PHẦN MỀM HƯỚNG MÔ HÌNH
• 1.1. Kiến trúc MDA
• 1.2. Chuyển đổi mô hình trong MDA
• 1.3. Chuyển đổi từ CIM sang PIM
• 1.4. Chuyển đổi từ PIM sang PSM
• 1.5. Chuyển đổi từ PSM sang code
• 1.6. Ngôn ngữ chuyển đổi mô hình
• 1.7. Ngôn ngữ ATL
• 1.8. Ngôn ngữ QVT
• 1.9. Các chuẩn của OMG cho MDA
• 1.10. MOF – Meta Object Facility
• 1.11. UML – Unified modeling Language
• 1.12. Kỹ thuật web hướng mô hình
• 1.13. Web Software Architecture (WebSA)
• 1.14. OOWS - Object-Oriented Web Solution
• 1.15. Hypertext Modeling Method of MIDAS (MIDAS-HM3)
• 1.16. Các nghiên cứu liên quan và nhiệm vụ trong luận án
• 1.17. Tiểu kết chương
• 2. 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
• 2.1. Các mô hình trong UWE
• 2.2. Chuyển đổi mô hình trong UWE
• 2.3. Chuyển đổi từ mô hình yêu cầu sang mô hình nội dung
• 2.4. Chuyển đổi từ mô hình yêu cầu, nội dung sang mô hình điều hướng
• 2.5. Chuyển đổi sang mô hình xử lý
• 2.6. Chuyển đổi từ mô hình điều hướng, xử lý sang mô hình trình bày
• 2.7. Phát triển quy tắc chuyển đổi mô hình tích hợp ràng buộc OCL
• 2.8. Giới thiệu phương pháp. Tích hợp OCL trong mô hình xử lý
• 2.9. Tích hợp OCL trong mô hình trình bày
• 2.10. Kết quả và thảo luận. Phát triển quy tắc chuyển đổi mô hình với ATL
• 2.11. Siêu mô hình yêu cầu
• 2.12. Siêu mô hình: content, navigation, process, presentation
• 2.13. Các quy tắc ATL
• 2.14. Kết quả và thảo luận. Tiểu kết chương
• 3. CHƯƠNG 3: SINH MÃ TỰ ĐỘNG CHO ỨNG DỤNG WEB HƯỚNG MÔ HÌNH
• 3.1. Kỹ thuật sinh mã trong phát triển ứng dụng web hướng mô hình
• 3.2. Sinh mã dựa trên thuật toán theo kiến trúc MVC. Xây dựng quy tắc sinh mã
• 3.3. Xây dựng giải thuật sinh code tự động
• 3.4. Thử nghiệm và đánh giá
• 3.5. Sinh mã sử dụng ngôn ngữ ATL
• 3.6. Chuyển đổi mô hình PIM sang PSM theo kiến trúc MVC
• 3.7. Tạo phần Model
• 3.8. Tạo thành phần Controller
• 3.9. Tạo thành phần View. Cấu trúc mô hình PSM theo kiến trúc MVC
• 3.10. Thành phần model
• 3.11. Thành phần Controler
• 3.12. Thành phần View
• 3.13. Xây dựng quy tắc chuyển đổi từ PSM sang mã nguồn
• 3.14. Sinh code từ mô hình java
• 3.15. Sinh code từ mô hình JSP
• 3.16. Thử nghiệm sinh mã cho ứng dụng web benhthuysan. Công cụ sinh mã CODEGER-UWE
• 3.17. Phát triển ứng dụng benhthuysan. Kết quả và thảo luận. Tiểu kết chương
• DANH MỤC CÁC CÔNG TRÌNH ĐÃ CÔNG BỐ CỦA LUẬN ÁN
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Giới thiệu về Kỹ Thuật Chuyển Đổi Mô Hình và Sinh Mã

Kỹ thuật chuyển đổi mô hình và sinh mã trong phát triển ứng dụng web là một lĩnh vực quan trọng trong công nghiệp phần mềm hiện đại. Chuyển đổi mô hình cho phép các nhà phát triển tạo ra các ứng dụng phức tạp một cách hiệu quả hơn bằng cách sử dụng các mô hình trừu tượng. Việc áp dụng kỹ thuật lập trình hướng mô hình giúp giảm thiểu sự phụ thuộc vào nền tảng công nghệ cụ thể, từ đó nâng cao khả năng tương thích và khả năng bảo trì của ứng dụng. Sinh mã tự động là một phần không thể thiếu trong quy trình này, giúp tiết kiệm thời gian và giảm thiểu lỗi do con người gây ra. Theo nghiên cứu, việc áp dụng các phương pháp này có thể tăng tốc độ phát triển ứng dụng từ 3 đến 10 lần, đồng thời giảm thiểu chi phí bảo trì.

1.1. Tầm quan trọng của phát triển ứng dụng web

Trong bối cảnh công nghệ thông tin phát triển nhanh chóng, việc phát triển ứng dụng web trở thành một yếu tố quyết định cho sự thành công của nhiều doanh nghiệp. Công nghệ web không chỉ giúp kết nối người dùng mà còn tạo ra các cơ hội kinh doanh mới. Việc áp dụng framework web và các công nghệ hiện đại trong phát triển ứng dụng web giúp tối ưu hóa hiệu suất và trải nghiệm người dùng. Hơn nữa, việc sử dụng các mô hình trong phát triển ứng dụng web giúp đảm bảo tính nhất quán và khả năng mở rộng của hệ thống.

II. Quy trình phát triển ứng dụng web hướng mô hình

Quy trình phát triển ứng dụng web hướng mô hình bao gồm nhiều bước quan trọng, từ việc xác định yêu cầu đến việc sinh mã cuối cùng. Quy trình phát triển phần mềm thường bắt đầu bằng việc xây dựng mô hình hóa dữ liệu và xác định các yêu cầu của người dùng. Sau đó, các mô hình này được chuyển đổi thành các mô hình cụ thể hơn như PIM (Platform Independent Model) và PSM (Platform Specific Model). Việc chuyển đổi này không chỉ giúp đảm bảo tính nhất quán giữa các mô hình mà còn tạo điều kiện thuận lợi cho việc sinh mã tự động. Các công cụ như ATL (ATLAS Transformation Language) được sử dụng để thực hiện các quy tắc chuyển đổi này, giúp tự động hóa quy trình và giảm thiểu công sức của lập trình viên.

2.1. Các mô hình trong quy trình phát triển

Trong quy trình phát triển ứng dụng web, các mô hình như mô hình yêu cầu, mô hình nội dung, mô hình điều hướng, mô hình xử lý, và mô hình trình bày đóng vai trò quan trọng. Mỗi mô hình này phục vụ một mục đích cụ thể và giúp đảm bảo rằng tất cả các khía cạnh của ứng dụng đều được xem xét. Việc sử dụng các mô hình này không chỉ giúp lập trình viên dễ dàng hơn trong việc hiểu và phát triển ứng dụng mà còn giúp đảm bảo rằng ứng dụng cuối cùng đáp ứng được các yêu cầu của người dùng.

III. Kỹ thuật sinh mã tự động

Kỹ thuật sinh mã tự động là một phần quan trọng trong phát triển ứng dụng web hướng mô hình. Sinh mã giúp tự động hóa quá trình chuyển đổi từ mô hình sang mã nguồn, giảm thiểu sự can thiệp của con người và tăng cường hiệu suất làm việc. Các quy tắc sinh mã được xây dựng dựa trên các mô hình đã được xác định trước đó, cho phép tạo ra mã nguồn một cách nhanh chóng và chính xác. Việc áp dụng các ngôn ngữ như ATL trong quy trình này giúp đảm bảo rằng mã nguồn được sinh ra không chỉ chính xác mà còn dễ bảo trì và mở rộng trong tương lai.

3.1. Ứng dụng của sinh mã tự động

Sinh mã tự động không chỉ giúp tiết kiệm thời gian mà còn giảm thiểu lỗi do con người gây ra. Các ứng dụng web phức tạp thường yêu cầu nhiều thành phần khác nhau, và việc sử dụng sinh mã tự động giúp đảm bảo rằng tất cả các thành phần này được tích hợp một cách mạch lạc. Hơn nữa, việc sử dụng các công cụ như CODEGER-UWE cho phép lập trình viên dễ dàng tạo ra mã nguồn cho các ứng dụng web mà không cần phải viết mã thủ công, từ đó nâng cao hiệu quả làm việc và giảm thiểu chi phí phát triển.

Trích đoạn nội dung tài liệu

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 luan an 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. Huỳnh Quyết Thắng 2. Cao Tuấn Dũng Hà Nội - 2021 luan an 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ố. Hà Nội, ngày 01 tháng 12 năm 2021 TM. Tập thể giáo viên hướng dẫn Tác giả PGS. Huỳnh Quyết Thắng Trần Đình Diễn i luan an 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. Huỳnh Quyết Thắng, PGS. 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. ii luan an MỤC LỤC LỜI CAM ĐOAN . 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 . Kiến trúc MDA . Chuyển đổi mô hình trong MDA . Chuyển đổi từ CIM sang PIM . Chuyển đổi từ PIM sang PSM . Chuyển đổi từ PSM sang code . Ngôn ngữ chuyển đổi mô hình . Ngôn ngữ ATL . Ngôn ngữ QVT . Các chuẩn của OMG cho MDA . MOF – Meta Object Facility . UML – Unified modeling Language . Kỹ thuật web hướng mô hình . Web Software Architecture (WebSA) . OOWS - Object-Oriented Web Solution . Hypertext Modeling Method of MIDAS (MIDAS-HM3) . Các nghiên cứu liên quan và nhiệm vụ trong luận án . 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 . Các mô hình trong UWE . Chuyển đổi mô hình trong UWE . 36 iii luan an 2. Chuyển đổi từ mô hình yêu cầu sang mô hình nội dung . Chuyển đổi từ mô hình yêu cầu, nội dung sang mô hình điều hướng . Chuyển đổi sang mô hình xử lý . Chuyển đổi từ mô hình điều hướng, xử lý sang mô hình trình bày . Phát triển quy tắc chuyển đổi mô hình tích hợp ràng buộc OCL . Giới thiệu phương pháp. Tích hợp OCL trong mô hình xử lý . Tích hợp OCL trong mô hình trình bày . Kết quả và thảo luận. Phát triển quy tắc chuyển đổi mô hình với ATL . Siêu mô hình yêu cầu .2 Siêu mô hình: content, navigation, process, presentation . Các quy tắc ATL . Kết quả và thảo luận. Tiểu kết chương . 76 CHƯƠNG 3: SINH MÃ TỰ ĐỘNG CHO ỨNG DỤNG WEB HƯỚNG MÔ HÌNH . Kỹ thuật sinh mã trong phát triển ứng dụng web hướng mô hình . Sinh mã dựa trên thuật toán theo kiến trúc MVC. Xây dựng quy tắc sinh mã . Xây dựng giải thuật sinh code tự động . Thử nghiệm và đánh giá . Sinh mã sử dụng ngôn ngữ ATL . Chuyển đổi mô hình PIM sang PSM theo kiến trúc MVC . Tạo phần Model . Tạo thành phần Controller . Tạo thành phần View. Cấu trúc mô hình PSM theo kiến trúc MVC . Thành phần model . Thành phần Controler . Thành phần View . Xây dựng quy tắc chuyển đổi từ PSM sang mã nguồn . Sinh code từ mô hình java . Sinh code từ mô hình JSP . Thử nghiệm sinh mã cho ứng dụng web benhthuysan. Công cụ sinh mã CODEGER-UWE . Phát triển ứng dụng benhthuysan. Kết quả và thảo luận. Tiểu kết chương . 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 luan an 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 luan an 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 3 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 luan an DANH MỤC CÁC BẢNG Bảng 2. Thành phần DisplayAction type và Prentation element . Các thành phần tương ứng với Pin type và giao diện . Các khuôn mẫu được sử dụng trong biều đồ hoạt động . Quy tắc chuyển đổi từ mô hình yêu cầu sang mô hình nội dung . Quy tắc chuyển đổi từ mô hình yêu cầu sang mô hình điều hướng. Thành phần DisplayAction type và Prentation element . Các thành phần tương ứng với Pin type và giao diện . Kết quả chuyển đổi mô hình Content, Process - ví dụ MusicPortal . Kết quả chuyển đổi mô hình Navigation - ví dụ MusicPortal . Kết quả chuyển đổi mô hình Presentation - ví dụ MusicPortal . Kết quả chuyển đổi mô hình Content, Process - ví dụ AddressBook . Kết quả chuyển đổi mô hình Navigation - ví dụ AddressBook. Kết quả chuyển đổi mô hình Presentation - ví dụ AddressBook . Danh sách các quy tắc sinh code xây dựng . Bảng đánh giá mã nguồn. Các quy tắc chuyển đổi từ mô hình nội dung sang mô hình java . Quy tắc và các thành phần của mô hình xử lý và Java . Các quy tắc chuyển đổi mô hình điều hướng sang mô hình Java . Các quy tắc chuyển đổi mô hình trình bày sang JSP: . Cấu trúc thành phần model . Cấu trúc thành phần service . Cấu trúc thành phần Controller . Cấu trúc mô hình JSP . Các truy vấn sinh mã từ mô hình java . Truy vấn ATL sinh mã mô hình JSP . Bảng so sách kết quả chuyển đổi mô hình nội dung và xử lý . Bảng so sách kết quả chuyển đổi mô hình điều hướng . Bảng so sách kết quả chuyển đổi mô hình trình bày . 120 vii luan an DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ Hình 1. Tổng quan về MDA. Tiến trình MDA . Sự phân loại các mô hình chính trong MDA . Chuyển đổi mô hình trong MDA . Mô hình chuyển từ CIM sang PIM . Đánh dấu mô hình . Quá trình biến đổi Metalmodel . Quá trình biến đổi mô hình . Ứng dụng mẫu . Một cách khác để sử dụng các mẫu . Mô hình kết hợp . Bổ sung thông tin để chuyển sang PSM . Sử dụng thông tin bổ sung trong kỹ thuật biến đổi cụ thể . Tổng quan chuyển đổi mô hình trong ATL . Lược đồ hoạt động máy ảo ATL . Kiến trúc QVT . Cấu trúc MDA cho kỹ thuật web . Quy trình chung của UWE . Quy trình phát triển WebSA . Tổng quan về chuyển đổi mô hình của ActionUWE . Tổng quan về cách tiếp cận trong. Tổng quan về quy trình chuyển đổi mô hình trong . 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 trong UWE . 36 Chuyển đổi mô hình từ PIM san PSM trong UWE . 37 Chuyển đổi Requirements to Content . 37 Mô tả các quy tắc để thêm các 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 và 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 trong mô hình xử lý. 50 viii luan an Biểu đồ chuyển đổi tiền điều kiện – hậu điều kiện mô hình xử lý. 51 Biểu đồ chuyển đổi ràng buộc bất biên mô hình trình bày . 54 Use Case meta-model . 57 Activity Diagram Metamodel . 61 Tổng quan phương pháp đề xuất . 62 Biểu đồ Use Cases của MusicPortal . 70 Biểu đồ Activity cho quy trình BuyAlbum . 71 Mô hình nội dung của MusicPortal. 72 Mô hình điều hướng của MusicPortal . 72 Mô hình xử lý của MusicPortal . 73 Mô hình trình bày của MusicPortal. Chuyển đổi mô hình sang mã nguồn theo MDA. Sinh code trong UWE . Chuyển đổi sang mã nguồn theo mô hình MVC . Các quy tắc cấu thành giải thuật CM2M . Các quy tắc cấu thành giải thuật PRES2V . Các quy tắc cấu thành giải thuật NM2C. Các quy tắc cấu thành giải thuật PROM2C . Kiến trúc MagicDraw và CODEGER –UWE . Giao diện công cụ CODEGER –UWE . Mô hình nội dung. Mô hình điều hướng . Mô hình xử lý . Mô hình trình bày . Mã nguồn sinh ra từ bốn mô hình UWE . Khung ứng dụng Web . Giao diện trang web. Giao diện tạo mới Contact . Sơ đồ chuyển đổi mô hình và sinh code . Kiến trúc CODEGER –UWE. Quy trình sinh mã nguồn từ mô hình nội dung . Quy trình sinh mã nguồn từ mô hình điều hướng . Quy trình chuyển đổi sinh mã nguồn từ mô hình xử lý . Quy trình sinh mã JSP từ mô hình trình bày . Biểu đồ use case, mô hình đầu vào của ứng dụng . 116 ix luan an Hình 3.