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

MỤC LỤC 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 Chữ viết tắt Chú giải OMG Object Management Group OO-H OOWS Object-Oriented Hypermedia 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 DANH MỤC CÁC BẢNG DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ MỞ ĐẦU Ngày nay, công nghiệp phần mềm đóng vai trị quan trọng, tác động đến phát triển kinh tế xã hội xem trụ cột tăng trưởng kinh tế nhiều nước Tuy nhiên, việc phát triển phần mềm theo cách truyền thống ngày phải đối mặt với nhiều khó khăn vấn đề phát triển, vấn đề tính khả chuyển, khả tương tác hay với phát triển nhanh chóng tảng cơng nghệ Do đó, nhà phát triển phần mềm phải dành nhiều công sức thời gian để điều chỉnh ứng dụng (thường theo cách thủ công sửa mã nguồn) cho hoạt động tảng cơng nghệ Chính vậy, xu hướng phát triển phần mềm nhằm khắc phục khó khăn nghiên cứu phát triển, phát triển phần mềm hướng mơ hình (MDSD: Model driven software development) Kỹ thuật hướng mơ hình (MDE) kỹ thuật cho phát triển sản phẩm phần mềm Kỹ thuật giải phức tạp tảng công nghệ khác việc sử dụng mơ hình (models) tác nhân tồn vịng đời phát triển ứng dụng, giảm phụ thuộc vào tảng công nghệ [1-3] MDE phát triển dựa ý tưởng xây dựng mơ hình độc lập với tảng hỗ trợ việc chuyển đổi mơ hình thành mã nguồn chương trình Do đó, q trình phát triển phần mềm hướng mơ hình xem chuỗi chuyển đổi mơ hình chuyển đổi mơ hình đóng vai trị quan trọng kỹ thuật hướng mơ hình [4] Phát triển phần mềm hướng mơ hình trở thành phương pháp tiếp cận, chấp nhận rộng rãi để phát triển ứng dụng phức tạp ngày giành nhiều quan tâm cộng đồng nghiên cứu, giới công nghiệp phần mềm [1] Sinh mã tự động tảng thiết yếu phương pháp tiếp cận theo hướng mô hình để phát triển phần mềm Việc sinh mã tự động giúp cho việc phát triển ứng dụng trở nên hiệu hơn, hứa hẹn bước tiến phát triển phần mềm, giúp lập trình viên nâng cao hiệu xuất làm việc ngày sử dụng nhiều tiến trình phát triển phần mềm [5] Các nghiên cứu minh chứng, phương pháp sinh mã hướng mơ hình cho tiến trình phần mềm tăng tốc độ tổng thể từ đến 10 lần [5-7], làm giảm yếu tố người [8, 9], giảm thời gian phát triển ứng dụng web [9-12] Việc sử dụng mơ hình để tạo mã chương trình, tạo sản phẩm phần mềm có khả tương thích sử dụng tảng khác [13], [14] chứng minh việc sử dụng phương pháp cho phép tiết kiệm nhiều chi phí (nhất chi phí bảo trì cho ứng dụng), chúng làm giảm cần thiết phải thay đổi sau đưa ứng dụng vào sử dụng Các ứng dụng Web bao gồm nhiều thành phần khác nhau, cung cấp nhà phát triển khác nhau, nên việc sử dụng kỹ thuật phát triển phần mềm hướng mơ hình cho ứng dụng web đặc biệt hữu ích [1, 15, 16] Trong phương pháp phát triển ứng dụng web hướng mơ hình UWE (UML-based Web Engineering) hướng tiếp cận cho phép phát triển ứng dụng web hướng mơ hình dựa kiến trúc MDA UWE cung cấp quy trình cơng cụ, giúp mơ hình hố xây dựng ứng dụng web, nhóm nghiên cứu trường đại học LMU, Đức thực với mục đích tự động hố quy trình phát triển ứng dụng web giảm thiểu tối đa việc lập trình cài đặt mã nguồn cho ứng dụng UWE cung cấp tập mơ hình tương ứng với khía cạnh ứng dụng web bao gồm: Mơ hình u cầu (requirements models), mơ hình nội dung (content models), mơ hình điều hướng (navigation models), mơ hình xử lý (process models), mơ hình trình bày (presentation models) sử dụng biểu đồ UML 2.0 cho việc mơ hình hố Một ưu điểm quan trọng UWE tất mơ hình phần mở rộng UML UWE sử dụng ký pháp đồ họa hồn tồn dựa UML Nó cho phép sử dụng công cụ dựa UML giảm thiểu thời gian nghiên cứu nhà phát triển Web, người quen thuộc với UML[17] Tuy nhiên, nghiên cứu phát triển ứng dụng web hướng mơ hình theo phương pháp UWE, tồn số vấn đề cần tiếp tục sâu nghiên cứu: Thứ nhất: Việc chuyển đổi từ mơ hình u cầu sang mơ hình: Nội dung, điều hướng, xử lý trình bày phải điều chỉnh thủ công, làm cho việc phát triển ứng dụng Web tốn thời gian chi phí; việc đảm bảo tính thống mơ cần cập nhật đồng mơ hình có thay đổi khó khăn Thứ hai: Các nghiên cứu chủ yếu tập trung cho việc mơ hình hóa, việc sinh code tự động nhiều hạn chế, chủ yếu dừng việc tạo khung để kỹ thuật viên lập trình viết mã Khắc phục hạn chế, tồn nêu trên, việc nghiên cứu xây dựng phương pháp chuyển đổi mơ hình tự động, cải tiến kỹ thuật sinh mã để nâng cao chất lượng mã nguồn, tăng suất, tiết kiệm thời gian chi phí cho ứng dụng web, giúp phát triển ứng dụng web đơn giản, linh hoạt, nhanh chóng hiệu vấn đề cần thiết, góp phần thúc đẩy phát triển lĩnh vực ứng dụng web, lĩnh vực giàu tiềm bước đầu phát triển Việt Nam Chính vậy, NCS chọn đề 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” Hướng tiếp cận đề tài phát triển quy tắc chuyển đổi model to model mode to code theo phương pháp UWE, xây dựng công cụ CODEGER-UWE để hỗ trợ phát triển ứng dựng Web theo kiến trúc MVC Phương pháp dựa việc tạo mô hình u cầu mức mơ hình độc lập tính tốn (Computation Independent Model – CIM), sau xây dựng quy tắc chuyển đổi, để chuyển đổi sang mức mơ hình độc lập tảng (platform-independent model – PIM) mơ hình cụ thể (Platform Specific Model - PSM), từ sinh code tự động cho ứng dụng web theo kiến trúc MVC Các quy tắc chuyển đổi nghiên cứu xây dựng với ngôn ngữ chuyển đổi mơ hình (ATLAS Transformation Language – ATL) Áp dụng phát triển ứng dụng web Chẩn đoán bệnh thủy sản “benhthuysan.vn” Phương pháp tiếp cận giúp đảm bảo tính thống mơ hình sau chuyển đổi, góp phần đảm bảo hiệu chuyển đổi mơ hình sinh code tự động cho phát triển ứng dụng Web hướng mơ hình theo kiến trúc MVC Mục đích nghiên cứu Mục tiêu chung đề tài nghiên cứu kỹ thuật phát triển phần mềm hướng mơ hình cho ứng dụng web, nhằm phát triển quy tắc chuyển đổi model to model model to code, theo phương pháp UWE cụ thể hóa quy tắc chuyển đổi, việc xây dựng công cụ hỗ trợ phát triển ứng dụng Web theo kiến trúc MVC Đề tài có mục tiêu cụ thể sau: - Tiếp cận kỹ thuật MDE, luận án phát triển quy tắc chuyển đổi từ mơ hình mức CIM sang PIM, sang PSM, sang mã nguồ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 bệnh thủy sản (benhthuysan.vn) Nhiệm vụ nghiên cứu Với mục tiêu đặt trên, nhiệm vụ nghiên cứu đề tài bao gồm: - Tổng 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 ngữ ATL cho phát triển ứng dụng web hướng mơ hình theo phương pháp UWE Xây dựng công cụ sinh code tự động cho ứng dụng web theo kiến trúc MVC Thực nghiệm đánh giá: Tiến hành kiểm chứng tính khả thi nghiên cứu đề xuất luận án, việc áp dụng vào phát triển ứng dụng web Chẩn đoán bệnh thủy sản (benhthuysan.vn) Đối tượng phạm vi nghiên cứu Đối tượng nghiên cứu đề tài vấn đề chuyển đổi mơ hình sinh mã tự động cho phát triển ứng dụng web theo phương pháp UWE Trên sở đó, đề tài nghiên cứu kiến thức thuộc lý thuyết liên quan đến chuyển đổi mơ hình sinh code từ mơ hình u cầu, nội dung, điều hướng, xử lý mơ hình trình bày nhằm áp dụng việc phát triển toán thực tế Đề tài nghiên cứu đặc điểm chung phát triển ứng dụng web hướng mơ hình, để xây dựng quy tắc chuyển đổi mơ hình sinh code tự động với ngôn ngữ ATL cho phát triển ứng dụng Web theo kiến trúc MVC Tiếp theo, đề tài phân tích kết áp dụng phát triển ứng dụng web Chẩn đoán bệnh thủy sản “benhthuysan.vn” Phương pháp nghiên cứu Phương pháp lý thuyết Phương pháp luận án sử dụng để nghiên cứu gồm: - Tiến hành thu thập nghiên cứu tài liệu có liên quan đến luận án - Nghiên cứu lý luận, hệ thống hóa lý thuyết có liên quan đến xây dựng sở lý luận đề tài: Thực trạng 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ơ hình: UWE, OOWS, WebML, WebSA - Tổng hợp, phân tích kỹ thuật chuyển đổi mơ hình theo phương pháp UWE, bước hình thành vấn đề lý luận việc phát triển quy tắc chuyển đổi mơ hình, sinh code Phương pháp thực nghiệm Tiến hành kiểm chứng tính khả thi nghiên cứu đề xuất luận án, việc áp dụng vào tốn điển hình nhiều nghiên cứu lĩnh vực sử dụng để thực nghiệm, đặc biệt luận án thực nghiệm toán thực tế lĩnh vực chẩn đốn bệnh thủy sản Sử dụng nhiều cơng cụ khác để kiểm chứng, đánh giá so sánh tính hiệu chúng Ý nghĩa khoa học thực tiễn đề tài Ý nghĩa khoa học Đề tài tổng hợp phân tích kỹ thuật phát triển ứng dụng web hướng mơ hình Kết nghiên cứu làm tài liệu tham khảo cho đơn vị phát triển phần mềm, cần tiến hành phát triển ứng dụng Web hướng mơ hình, cung cấp tài liệu tham khảo vấn đề liên quan Hướng nghiên cứu đề tài có ý nghĩa việc cung cấp giải pháp phát triển ứng dụng web hướng mơ hình, giúp cho việc xây dựng ứng dụng web đạt hiệu cao Ý nghĩa thực tiễn Kết nghiên cứu tài liệu có giá trị tham khảo hoạt động nghiên cứu phát triển ứng dụng web hướng mơ hình Kết nghiên cứu đề xuất quy tắc chuyển đổi mơ hình sinh code cho ứng dụng web, đồng thời cung cấp công cụ hỗ trợ cho phát triển ứng dụng web, giúp cho việc phát triển ứng dụng web hướng mơ hình thuận lợi, doanh nghiệp phát triển ứng dụng web giảm yếu tố người, nâng cao hiệu làm việc Các kết đạt Tất kết luận án đánh giá thơng qua cơng trình, đăng tải kỷ yếu hội thảo tạp chí Những đóng góp nghiên cứu bao gồm: (1) Tổng hợp lý thuyết, từ bổ sung phát triển quy tắc chuyển đổi mơ hình từ CIM to PIM cho phát triển ứng dụng web hướng mơ hình, theo phương pháp UWE Tổng hợp, phân tích kỹ thuật phát triển ứng dụng web hướng mô UWE, WebML, WebSA Nội dung trình bày chương chương luận án, có cơng trình cơng bố liên quan: CT1, CT2, CT3, CT7 (2) Xây dựng phương pháp sinh mã tích hợp phát triển cơng cụ CODEGER-UWE sinh code cho ứng dụng web, theo phương pháp UWE, với ngôn ngữ chuyển đổi mơ hình ATL Nội dung trình bày chương có cơng trình công bố liên quan: CT4, CT5 (3) Áp dụng xây dựng chuẩn đoán bệnh thủy sản tảng benhthuysan.vn Nội dung trình bày chương (mục 3.4) có cơng trình cơng bố liên quan: CT6, CT8 CHƯƠNG 1: PHÁT TRIỂN PHẦN MỀM HƯỚNG MÔ HÌNH Chương 1, tác giả giới thiệu kiến trúc MDA, tổng hợp, phân tích thành phần MDA mơ hình CIM, PIM, PSM Phân tích, so sách số kỹ thuật Web hướng mơ hình điển OOWS, UWE, WebML, WebSA làm sở để lựa chọn, xây dựng mơ hình quy tắc chuyển đổi chương Trong chương 1, tác giả trình bày tình hình nghiên cứu liên quan, phân tích cụ thể điểm mạnh điểm cần cải tiến nghiên cứu dẫn tới lý đề tài luận án 1.1 Kiến trúc MDA MDA (Model Driven Architecture) định nghĩa OMG [18, 19]: “MDA cách tiếp cận đặc tả hệ thống cơng nghệ thơng tin, phân tách đặc tả chức đặc tả thực thi” Một mơ hình MDA, đặc tả hình thức chức cấu trúc, hành vi ứng xử ứng dụng hay hệ thống phần mềm Hình 1.1 Tổng quan MDA [18] Kiến trúc hướng mơ hình (MDA) kỹ thuật cho phát triển sản phẩm phần mềm Kỹ thuật giải phức tạp tảng công nghệ khác nhau, việc sử dụng mơ hình (models) tác nhân tồn vịng đời phát triển ứng dụng, giảm phụ thuộc vào tảng cơng nghệ [20] Khi có tảng đời, ứng dụng chuyển đổi tự động từ mơ hình để tương thích với tảng Do đó, MDA trở thành phương pháp tiếp cận chấp nhận rộng rãi, để phát triển ứng dụng phức tạp ngày dành nhiều quan tâm cộng đồng nghiên cứu, giới công nghiệp phần mềm Các ứng dụng Web, bao gồm nhiều thành phần khác nhau, cung cấp nhà phát triển khác với tảng công nghệ khác nhau, nên việc sử dụng kỹ thuật phát triển hướng mơ hình cho ứng dụng Web đặc biệt hữu ích [1, 15, 16] Các kỹ thuật khắc phục nhiều hạn chế mà trình phát triển phần mềm trước chưa giải được, giảm chi phí thực dự án phần mềm, tăng suất thực dự án cách trực tiếp thông qua giảm khối lượng công việc làm lại [21] MDA cách tiếp cận mơ hình hố trực quan, suốt quy trình tìm hiểu, phân tích, thiết kế, thực thi hệ thống phần mềm MDA phân chia mơ hình đặc tả hệ thống từ mức độ trừu tượng hóa cao, mức chi tiết 10 Như vậy, phương pháp tiếp cận tác giả giúp đảm bảo tính thống mơ hình sau chuyển đổi, góp phần cải thiện chất lượng chuyển đổi mơ hình sang mơ hình, mơ hình sang code, đảm bảo hiệu chuyển đổi mơ hình cho phát triển ứng dụng Web hướng mơ hình Để đánh giá sản phẩm đề tài, tác giả khảo sát thử nghiệm với chuyên gia thủy sản, người nuôi trồng thủy sản sinh viên thủy sản Chuyên gia thủy sản xem xét, đánh giá tính đắn kết cịn người ni trồng thủy sản sinh viên thủy sản xem thử chương trình có giúp ích cho thân họ việc chẩn đốn bệnh hay không Những người thử nghiệm sử dụng hệ thống đánh giá với mức độ là: Rất hài lịng, hài lịng, bình thường, khơng hài lịng khơng hài lịng Kết khảo sát thử nghiệm hệ thống thể hình 3.32 Hình 3.32 Kết đánh giá thử nghiệm benhthuysan.vn 3.5 Tiểu kết chương Trong chương 3, luận án thực nghiên cứu nội dung sinh mã nguồn tự động cho ứng dụng web hướng mơ hình theo phương pháp UWE với kiến trúc MVC Luận án trình bày chi tiết giải thuật liên quan đến phương pháp sinh mã, tích hợp phát triển cơng cụ CODEGER-UWE sinh code cho ứng dụng web theo phương pháp UWE với ngơn ngữ chuyển đổi mơ hình ATL Cụ thể, đóng góp khoa học chủ yếu nghiên cứu gồm: (1) Luận án trình bày 03 quy tắc sinh mã tự động từ mơ hình UWE: Quy tắc CM2M sinh mã thành phần Model từ mô hình nội dung; Quy tắc PRES2V sinh mã thành phần View từ mơ hình trình bày Quy tắc NPROM2C sinh mã thành phần Controller từ mơ hình điều hướng xử lý (2) Xây dựng 23 quy tắc chuyển đổi sang mơ hình java: 12 quy tắc chuyển thành thành phần Model từ mơ hình nội dung; 08 quy tắc tạo thành phần View từ mơ hình trình bày 03 quy tắc tạo thành phần Controller từ mô hình điều hướng; Phát triển 06 truy vấn ATL để sinh 141 mã mơ hình java; 04 truy vấn ATL để sinh mã từ mơ hình JSP Các nội dung công bố CT4, CT5 (3) Từ quy tắc chuyển đổi mơ hình sinh mã nguồn, luận án xây dựng công cụ CODEGER-UWE để hỗ trợ chuyển đổi mơ hình sinh mã tự động phát triển ứng dụng web từ mơ hình UWE theo kiến trúc MVC để hỗ trợ sinh mã nguồn để tạo ứng dụng web benhthuysan.vn Nội dung công bố CT CT KẾT LUẬN Luận án trình bày phương pháp tiếp cận MDE để việc tạo ứng dụng Web từ mơ hình theo phương pháp UWE Luận án xây dựng thành cơng quy tắc chuyển đổi mơ hình từ CIM sang PIM từ PIM sang PSM, chuyển đổi PSM thành mã chương trình để xây dựng ứng dựng Web benhthuysan.vn, với ngôn ngữ chuyển đổi mơ hình ATL Phương pháp tiếp cận giúp đảm bảo tính thống mơ hình sau chuyển 142 đổi, đảm bảo hiệu chuyển đổi mơ hình cho phát triển ứng dụng Web hướng mơ hình Qua nghiên cứu, luận án khẳng định số đóng góp lĩnh vực nghiên cứu là: (1) Tổng hợp lý thuyết từ bổ sung phát triển quy tắc chuyển đổi mô hình từ CIM to PIM to PSM to CODE cho phát triển ứng dụng web hướng mơ hình theo phương pháp UWE Nội dung trình bày chương có cơng trình cơng bố liên quan: CT1, CT2, CT3, CT7 (2) Xây dựng phương pháp sinh mã tích hợp phát triển cơng cụ CODEGER-UWE sinh code cho ứng dụng web, theo phương pháp UWE với ngơn ngữ chuyển đổi mơ hình ATL Nội dung trình bày chương có cơng trình cơng bố liên quan: CT4, CT5 (3) Áp dụng xây dựng Chuẩn đoán bệnh thủy sản tảng benhthuysan.vn Nội dung trình bày chương (mục 3.4) có cơng trình cơng bố liên quan: CT6, CT8 Cụ thể hơn, luận án thực kết sau: - - - - Phân tích tổng quan vấn đề phát triển ứng dụng web hướng mơ hình kỹ thuật chuyển đổi model to model mode to code Đồng thời, bổ sung quy tắc tích hợp OCL vào chuyển đổi sang mơ hình xử lý mơ hình trình bày, nhằm cải tiến, nâng cao hiệu chuyển đổi mơ hình UWE Xây dựng, bổ sung 31 quy tắc chuyển đổi từ mơ hình u cầu sang mơ hình nội dung, điều hướng, xử lý trình bày với ngơn ngữ chuyển đổi mơ hình ATL Phát triển quy tắc chuyển đổi từ mơ hình mức PIM sang mơ hình mức PSM (mơ hình Java mơ hình JSP) sinh mã từ mơ hình mức PSM thu thành file mã nguồn java jsp Cách tiếp cận luận án cung cấp giải pháp hiệu cho vấn đề sinh mã tự động theo phương pháp phát triển ứng dụng Web hướng mơ hình UWE Cụ thể, (1) Xây dựng 23 quy tắc chuyển đổi sang mơ hình java: 12 quy tắc chuyển thành thành phần Model từ mô hình nội dung, 08 quy tắc tạo thành phần View từ mơ hình trình bày 03 quy tắc tạo thành phần Controller từ mơ hình điều hướng; (2) phát triển 06 truy vấn ATL để sinh mã mô hình java; 04 truy vấn ATL để sinh mã từ mơ hình JSP Từ quy tắc, truy vấn ATL luận án xây dựng công cụ CODEGER-UWE để hỗ trợ sinh mã nguồn tạo ứng dụng web benhthuysan.vn Kết cho thấy, xây dựng cơng cụ CODEGER –UWE tích hợp quy tắc xây dựng, cung cấp đầy đủ cách thức thiết kế sinh mơ hình UWE, đảm bảo tính thống 143 hiệu chuyển đổi mơ hình sinh code tự động cho phát triển ứng dụng Web hướng mơ hình Hướng phát triển luận án Định hướng nghiên cứu luận án tiếp tục mở rộng công cụ đề xuất CODEGER –UWE, với khả tích hợp buộc OCL, nhằm tiếp tục nghiên cứu sâu kỹ thuật chuyển đổi mơ hình kỹ thuật sinh code phương pháp UWE, để tạo ứng dụng web chuyên nghiệp Theo số nghiên cứu, kiểm thử thường chiếm khoảng 50% chi phí dự án 35% tổng thời gian phát triển phần mềm [98] Vì vậy, hướng nghiên cứu đề tài tích hợp kiểm thử hướng mơ hình, tạo ca kiểm thử tự động từ mơ hình UWE, để kiểm thử ứng dụng Web, nhằm giảm thiểu chi phí cho dự án đảm bảo chất lượng sản phẩm ứng dụng Web 144 DANH MỤC CÁC CƠNG TRÌNH ĐÃ CƠNG BỐ CỦA LUẬN ÁN Số lượng báo công bố: 06 [1] Trần Đình Diễn, Huỳnh Quyết Thắng (2015), Phát triển ứng dụng Web hướng mơ hình dựa phương pháp UWE, Kỷ yếu Hội nghị Quốc gia lần thứ VIII Nghiên cứu ứng dụng Công nghệ thông tin (FAIR) – Hà Nội, ngày 9-10/7/2015, trang 564-574 ISBN: 978-604-913397-8 [2] Nguyen Thi Thuy Linh, Tran Dinh Dien, Bui Quang Thang, Huynh Quyet Thang (2015), Integration MDA Techniques in Solving A Class of Web Application with Similar Structure, AUN/SEED-Net Regional Conference for Computer and Information Engineering 2015, ngày 01-02/10/2015, trang 78-83 ISBN: 978-604-938-689-3 [3] Dien Tran Dinh, Thang Huynh Quyet, Khanh Tran Quoc (2018), Model Transformation with OCL Integration in UWE In FICTA2018: International Conference on Frontiers of Intelligent Computing: Theory and Applications, November 29-30, 2018 Frontiers in Intelligent Computing: Theory and Applications - Proceedings of the 7th International Conference on FICTA (2018), Volume 1, pp 199-211, ISBN: 978-981-32-9186-7, SCOPUS Indexed [4] Quyet-Thang Huynh, Dinh-Dien Tran, Thi-Mai-Anh Bui, Phi-Le Nguyen (2019), Development of Rules and Algorithms for Model-Driven Code Generator with UWE Approach New Trends in Intelligent Software Methodologies, Tools and Techniques, Volume 318, 2019, pp 531 - 544 (SOMET 2019), ISBN: 978-1-64368-012-5, DOI 10.3233/FAIA190078, WoS, SCOPUS Indexed [5] Trần Đình Diễn, Huỳnh Quyết Thắng, Bùi Thị Mai Anh, Hồng Thành Đạt, Nguyễn Phi Lê (2021), Xây dựng thử nghiệm công cụ CODEGER-UWE phát triển ứng dụng Web hướng mơ hình, Journal of Science and Technology (JST), Vol 1, Issue 1, April 2021, ISSN: 2734 9373 [6] Trần Đình Diễn, Huỳnh Quyết Thắng, Hoàng Thành Đạt (2021), Phát triển thuật toán sinh code cho ứng dụng web chuẩn đoán bệnh thủy sản với ATL, Tạp chí Nghiên cứu Khoa học Công nghệ quân (JMST), số 72, tháng – 2021, ISSN: 1859-1043 Số lượng báo gửi tạp chí: 02 [7] Dinh-Dien Tran, Quyet-Thang Huynh, Hoang-Dat Thanh, Thi-Mai- Anh Bui (2021), Model transformation with ATL from CIM to PIM for the development of model driven web application by the UWE method, 145 International Journal of Software Innovation (IJSI), SSN: 2166-7160, DOI 10.4018/IJSI, SCOPUS Indexed (đang gửi đăng) [8] Trần Đình Diễn, Huỳnh Quyết Thắng, Hồng Thành Đạt (2021), Cơng cụ benhthuysan.vn trợ giúp Chẩn đốn bệnh thủy sản tảng web, Tạp chí Nơng nghiệp Phát triển nông thôn (đang gửi đăng) TÀI LIỆU THAM KHẢO [1] [2] [3] [4] [5] [6] [7] K Andreas, "Model Driven Software Engineering for Web Applications," PhD, Faculty of Mathematics, Computer Science and Statistics, University of Malaga, Spanien, 2007 A F Subahi and Y Alotaibi, "A New Framework for Classifying Information Systems Modelling Languages," Journal of Software, vol 13, pp 18-42, 2018 A P F Mascarenhas, A M S Andrade, and R Suzana, "A Model Driven Transformation Development Process for Model to Model Transformation," presented at the SBES '16: Proceedings of the 30th Brazilian Symposium on Software Engineering, Maringá Brazil, 2016 K Nora, "Transformation Techniques in the Model-Driven Development Process of UWE," in sixth international conference on Web engineering California, USA, 2007, p 10, USA: ICWE Workshops 2006, 2006 S Jörges, Construction and evolution of code generators : a modeldriven and service-oriented approach, 1st ed (Lecture notes in computer science Programming and Software Engineering) New York: Springer, 2013, p 246 pages B Karakostas and Y Zorgios, Engineering service oriented systems : a model driven approach, illustrated ed IGIb Publishing: IGI Global., 2008, p 399 S Jácome, J M Ferreira, and A Corral, "Software Development Tools in Model-Driven Engineering " presented at the 5th International Conference in Software Engineering Research and Innovation, Mexico, 25-27 Oct 2017 2017 146 [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] G Alpaslan and O Kalıpsız, "Model Driven Web Application Development With Agile Practices," International Journal of Software Engineering & Applications, vol 7, p 11, September 2016 2016 N V d Almeida, S L Campos, and V E S Souza, "A Model-Driven Approach for Code Generation for Web-based Information Systems Built with Frameworks," presented at the Proceedings of the 23rd Brazillian Symposium on Multimedia and the Web, Gramado, Brazil, October 17–20, 2017, 2017 L Perez, L Ottens, and S Viswanathan, "Automatic Code Generation using Pre-Trained Language Models," Computation and Language, 2021 A Azzaoui, O Rabhi, and A Mani, "A Model Driven Architecture Approach to Generate Multidimensional Schemas of Data Warehouses," International Journal of Online and Biomedical Engineering (iJOE), vol Vol 15, 2019 B M Hussein and A Salah, "A Framework for Model-Based Code Generation from a Flowchart," International Journal of Computing Academic Research (IJCAR), vol Volume 2, pp 177-191, 2013 J O Ringert, A Roth, B Rumpe, and A Wortmann, "Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems," in 1st International Workshop on Model-Driven Robot Software Engineering (MORSE 2014), York, Great Britain, 2015, vol 1319, pp 66-77 M Colpaert, "Integrating model-to-model and model-to-text transformations in a model driven framework for UWE," Master, Department of Information Technology, Ghent University, Belgium, 2013 A Fatolahi and S S Some, "Assessing a Model-Driven WebApplication Engineering Approach," (in e), Journal of Software Engineering and Applications, vol 07, no 05, pp 360-370, 2014 J A H Londono and J F Duitama, "Model-driven web engineering methods: a literature review," (in e), University of Antioquia, vol Colombia, p 13, 2012 A Gustavo, M.-J Escalona, L Michael, and R H Jose, "An Analysis of Model Driven Web Engineering Methodologies," (in e), ICIC International, vol 9, p 24, 2013 147 [18] T O M G (OMG®) (2020) https://www.omg.org/mda/ [19] L Abdellatif, M Chhiba, A Tabyaoui, and O Mjihil, "Model driven architecture approach for application security integration," Journal of Theoretical and Applied Information Technology, vol 8, p 13, 30th April 2017 [20] Y Tian, "A Model-Driven Architecture based Evolution Method and Its Application in An Electronic Learning System," De Montfort University, England, 2012 [21] Gilles Vanwormhoudt, M Allon, O Caron, and B Carré, "Template Based Model Engineering in UML," presented at the MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and System, Virtual Event, Canada, 2020 [22] K Martin and D Matilda, "Analytical Method of CIM to PIM Transformation in Model Driven Architecture (MDA)," (in e), JIOS, vol 34, p 11, 2010 [23] M Jurgelaitis, V Drungilas, L Ceponiene, and E Vaiciukynas, "Smart Contract Code Generation from Platform Specific Model for Hyperledger Go," in Trends and Applications in Information Systems and Technologies, vol Volume ： 1368Switzerland: Springer, 2021, pp Page: 63-73 [24] D Kholkar, S Sunkle, and V Kulkarni, "Towards Automated Generation of Regulation Rule Bases using MDA," presented at the 5th International Conference on Model-Driven Engineering and Software Development, Portugal, February 19-21, 2017, 2017 [25] F Z Yamani and M E Merouani, "A Model-Driven Architecture Approach for Developing Healthcare ERP: Case study in Morocco," International Journal of Computer Science Issues, vol Volume 17, no Issue 1, 2020 [26] G Dragan, D Vladan, and D Dragan, Model Driven Engineering and Ontology Development New York: Springer, 2005 [27] R Renas, "Model Driven Architecture - Test Methods and Tools," Blekinge Institute of Technology, Blekinge Institute of Technology, Sweden, 2006 [28] M F Amr, N Benmoussa, K Mansouri, and M Qbadou, "Transformation of the CIM Model into A PIM Model According to 148 [29] [30] [31] [32] [33] [34] [35] [36] [37] The MDA Approach for Application Interoperability: Case of the "COVID-19 Patient Management" Business Process," International Journal of Online and Biomedical Engineering (iJOE), vol Vol 17, No 05, 2021, pp Pages 49-68, 2021 Y Rhazali, H Youssef, L Mohammed, C Idriss, and A Rhattoy, "A Model Transformation in Model Driven Architecture from Business Model to Web Model," IAENG International Journal of Computer Science, pp 104-117 2018 M Melouka and H Y Yassine Rhazalib, "An Approach for Transforming CIM to PIM up To PSM in MDA," presented at the International Workshop on the Advancements in Model Driven Engineering (AMDE 2020) April 6-9, 2020, Warsaw, Poland, 2020 J Miller and J Mukerji, MDA Guide Version 1.0.1 https://www.omg.org/news/meetings/workshops/UML_2003_Manual/0 0-2_MDA_Guide_v1.0.1.pdf: OMG (Object Management Group), 2003 J A A Ahmed, U Muhammad, and H Zahid, "Model Transformations in Model Driven Architecture," (in e), UniCSE, 2010 A group and L INRIA, ATL: Atlas Transformation Language - User Manual: ATLAS group, 2005 [Online] Available B S Ravi Khadka, Luis Ferreira Pires, Marten J van Sinderen, Slinger Jansen, "WSCDL to WSBPEL: A Case Study of ATL-based Transformation," presented at the 3rd International Workshop on Model Transformation with ATL, MtATL 2011, Switzerland, 2011 M Huisman and J Rubin, Fundamental Approaches to Software Engineering, M Huisman and J Rubin, eds., Sweden: Springer, Berlin, Heidelberg, 2017 [Online] Available J Troya, A Bergmayr, L Burgueño, and M Wimmer, "Towards systematic mutations for and with ATL model transformations," presented at the 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Graz, Austria 2015 C A Bader Alkhazia, Marouane Kessentinia, Manuel Wimmer, "On the Value of Quality Attributes for Refactoring ATL Model Transformations: A Multi-Objective Approach," Information and Software Technology, vol Volume 120, 2019 149 [38] F A a Frédéric Jouaulta, Jean Bézivina, Ivan Kurtev, "ATL: A model transformation tool," Science of Computer Programming, vol 72, no Issues 1–2, p 9, 2008 [39] F Erata, M Challenger, and G Kardas, "Review of Model-to-Model Transformation Approaches and Technologies," ITEA, 2015 [40] K M A Aziz, "Evaluating Model Transformation Technologies," Student essay, Department of Computer Science and Engineering, University of Gothenburg, Găoteborg, Sweden, 2011 [41] A G.-L Amine Benelallam, Massimo Tisi, Jordi Cabot, "Distributed Model-to-Model Transformation with ATL on MapReduce," presented at the Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, USA, October 25-27, 2015 [42] G M K Selim, J R Cordy, and J Dingel, "How is ATL Really Used? Language Feature Use in the ATL Zoo," presented at the 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Austin, TX, USA 2017 [43] J Troya, M Fleck, M Kessentini, M Wimmer, and B Alkhaze, "Rules and Helpers Dependencies in ATL– Technical Report " 2016 [44] H Bruneliere (2014) ATL/Developer Guide: https://wiki.eclipse.org/ATL/User_Guide Overview_of_the_ATL_Language#Structure_of_an_ATL_module [45] F Jouault and I Kurtev, "On the Architectural Alignment of ATL and QVT," in 21st Annual ACM Symposium on Applied Computing, SAC 2006, Dijon, France, 2006, pp 1188-1195: ACM Press [46] L A Schubert, "An Evaluation of Model Transformation Languages for UML Quality Engineering," (in e), 2010 [47] A F Subahi, "A Business User Model-Driven Engineering Method for Developing Information Systems," Department of Computer Science, University of Sheffie, England, UK, 2015 [48] G Hinkel, "An approach to maintainable model transformations with an internal DSL," (in e), 2013 [49] L Dan, "Enabling Component-BasedModel Transformations with QVT," (in e), 2013 [50] A B Batoure and Kolyang, "Using Model-Driven Engineering for Decision Support Systems Modelling, Implementation and Powering," 150 International Journal of Data Engineering (IJDE), vol Volume 8, no Issue (1) : 2020 2020 [51] L Zhihong, "A Meta-Modelling Language Definition for Specific Domain," Software Technology Research Laboratory, De Montfort University, 2008 [52] A Suchenia, P Łopata, P Wiśniewski, and B Stachura-Terlecka, "Towards UML representation for BPMN and DMN models," presented at the International Conference of Computational Methods in Engineering Science (CMES’18), Krakow, Poland, 2019 [53] MohammedMisbhauddin and M Alshayeb, "Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange," 2013 [54] S Thomas and V Markus, Model-Driven Software Development England: John Wiley & Sons Ltd, 2006, p 436 [55] U M Language, http://www.omg.org/spec/OCL/2.2, 2010 [Online] Available [56] E.V.Sunitha and P Samuel, "Object Constraint Language for Code Generation from Activity Models," Information and Software Technology, vol Volume 103, pp Pages 92-111, 2018 [57] J Poole, "The Common Warehouse Metamodel as a Foundation for Active Object Models in the Data Warehousing Environment," in ECOOP 2000, France, 2000 [58] O M Group, Common Warehouse Metamodel (CWM) Specification, http://www.omg.org/spec/CWM/1.1/ http://www.omg.org/spec/CWM/1.1/, 2003 [Online] Available [59] A Vallecillo, N Koch, and C Cachero, "MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods," in International Conference on Web Engineering (ICWE 2007), Italy, 2007 [60] J M R´ıos and N P Souto, "Comparison of development methodologies in Web applications," Information and Software Technology, vol Volume 119, 2020 151 [61] K Andreas, K Alexander, and K Nora, "Model-Driven Generation of Web Applications in UWE," in 3rd International Workshop on ModelDriven Web Engineering, Italy, 2007, vol 261, pp 23-38 [62] N Koch and S Kozuruba, "Requirements Models as First Class Entities in Model-DrivenWeb Engineering," in Proceedings of the 12th international conference on Current Trends in Web Engineering Germany, 2012 [63] M Santiago, "The webSA approach: applying model driven engineering to web applications," University of Alicante, Spain, 2006 [64] J M H Carbonell, "Model-Driven Development of Rich Internet Applications on the Sematic web," 2013 [65] R Gustavo, P Oscar, S Daniel, and O Luis, Web Engineering: Modelling and Implementing Web Applications New York: Springer, 2008 [66] P Patel, A Hande, and Meshram, "Survey of Existing Web Models Techniques to Design Web Application," (in e), Int.J Computer Technology & Applications (IJCTA), 2013 [67] S Ceri, P Fraternali, and A Bongio, "Web Modeling Language (WebML): a modeling language for designing Web sites," (in e), 2000 [68] P Cáceres, V Castro, J Vara, and E Marcos., "Model transformations for hypertext modeling on web information systems ," in Proceedings of the 2006 ACM symposium on Applied computing., 2006 [69] G S Rivera, J A Gallud, and R Tesoriero, "Code Generation Using Model Driven Architecture: A Systematic Mapping Study," Journal of Computer Languages 2019 [70] N Kahani, M Bagherzadeh, J R Cordy, and J Dingel, "Survey and classification of model transformation tools," in Software & SystemsModelingVerlag GmbH Germany: Springer, 2019 [71] M Busch and N Koch, "MagicUWE – A CASE Tool Plugin for Modeling Web Applications," in 9th International Conference, ICWE 2009, Spain, 2009, vol 5648, pp 505-508: Springer Berlin Heidelberg [72] http://uwe.pst.ifi.lmu.de/toolMagicUWE.html (2016) UWE – UMLbased Web Engineering [73] M Busch and M Á G d Dios, "ActionUWE: Transformation of UWE to ActionGUI Models," Institute for Informatics, Germany2012 152 [74] I Essebaa, C Salima, and M Ramdani, "MoDAr-WA: Tool Support to Automate anMDA Approach for MVCWeb Application," Computers 2019, no , p 23, 2019 [75] M h RAHMOUNI and S MBARKI, "Model-Driven Generation of MVC2 Web Applications: From Models to Code," International Journal of Engineering and Applied Computer Science (IJEACS), vol Volume: 02, no 07, 2017 [76] G Paolone, M Marinelli, R Paesani, and P D Felice, "Automatic Code Generation of MVC Web Applications," computers, vol Vol 9, no Issue 3, p 29, 2020 [77] C Kroiß and N Koch, "UWE Metamodel and Profile User Guide and Reference Version 1.9," in "Programming and Software Engineering Unit (PST)," Ludwig-Maximilians-Universität München, Germany2011 [78] Y H Yassine Rhazalia, Abdelaziz Mouloudia, "Model Transformation with ATL into MDA from CIM to PIM Structured through MVC," Procedia Computer Science, vol 83, pp 1096-1101, 2016 [79] Y Rhazali, A E Hachimi, I Chana, and M Lahmer, Automate Model Transformation From CIM to PIM up to PSM in Model- Driven Architecture, USA: IGI-GLOBAL, 2020, p 22 [Online] Available [80] T Górski, "Model-to-model transformations of architecture descriptions of an integration platform," Journal of Theoretical and Applied Computer Science, 2014 [81] J S Cuadrado, E Guerra, and J d Lara, "AnATLyzer: An Advanced IDE for ATL Model Transformations," presented at the 40th International Conference on Software Engineering: Companion (ICSECompanion), Gothenburg, Sweden 2018 [82] O V Chebanyuk and U KYIV, "Designing of Software Model to Model Transformation Language," International Journal of Computers, vol Volume 3, pp Pages 120-129, 2018 [83] N Kahani, M Bagherzadeh, J R Cordy, J Dingel, and D Varró, "Survey and classification of model transformation tools," Software and Systems Modeling (SoSyM), vol 18, p 37, 2018 Springer [84] V T Bosch, "A Web Engineering Approach for the Development of Business-Process Driven Web Applications," Department of 153 [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] Information Systems and Computation Technical University of Valencia, 2008 N Koch, "Classification of Model Transformation Techniques used in UML-based Web Engineering," (in e), the 2nd Workshop on ModelDriven Web Engineering (MDWE`06), 2006 I No Magic, "https://www.nomagic.com/products/magicdraw " 2020 N Kharmoum, S Retal, S Ziti, and F Omary, "A Novel Automatic Transformation Method from the Business Value Model to the UML Use Case Diagram," presented at the Advanced Intelligent Systems for Sustainable Development (AI2SD’2019), Marrakech, Morocco, 2019 Examples Simple Music Portal https://uwe.pst.ifi.lmu.de/exampleMusicPortal.html J Küster, " Model-Driven Software Engineering Code Generation," in "IBM," IBM Research – Zurich, Switzerland2011 A Bajovs, O Nikiforova, and J Sejans, "Code Generation from UML Model: State of the Art and Practical Implications," Applied Computer Systems, vol 14, no 1, p 10, 08 Jun 2013 2013 M Voelter, "A Catalog of Patterns for Program Generation," presented at the 8th European Conference on Pattern Languages of Programms (EuroPLoP '2003), Germany, 2003 K Czarnecki and S Helsen, "Feature-Based Survey of Model Transformation Approaches," IBM Systems Journal, vol 45, no 3, pp 621 - 645, March 15, 2006 2006 K C a S Helsen, "Classification Classification of Model Transformation Approaches," presented at the OOPSLA’03 Workshop on Generative Techniques in the Context of MDA, USA, 2005 A A H Alzahrani, "4GL Code Generation: A Systematic Review," (IJACSA) International Journal of Advanced Computer Science and Applications, vol Vol 11, no Issue 6, 2020 , p 8, 2020 Q X Kevin Lano and S Kolahdouz-Rahimi, "Agile Specification of Code Generators for Model-Driven Engineering," in The Fifteenth International Conference on Software Engineering Advances, Porto, Portugal, 2020: IARIA S Systems, "Model Transformation - Sparx Systems Enterprise Architect," (Sparx Systems Enterprise Architect supports Model Driven Architecture (MDA) transformations of a single element or a whole 154 Platform Independent Model (PIM) to one or more output Platform Specific Models (PSM) in, for example, Oracle, MySQL or SQLite Sparx Systems - Australia: Sparx Systems, 2020, p.^pp Pages [97] E Syriani, L Luhunu, and H Sahraoui, "Systematic Mapping Study of Template-based Code Generation," Computer Languages, Systems & Structures, pp 43-62, June 19, 2018 2018 [98] M Varshosaz, "Test Models and Algorithms for Model-Based Testing of Software Product Lines," 2017 155 ... 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... 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ơ hình UWE 40 - 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 ngữ ATL cho phát. .. thay đổi phù hợp với MDSD để tạo ứng dụng web gọi Kỹ thuật web hướng mô hình (MDWE) Hình 1.19 mơ tả cấu trúc phát triển ứng dụng web hướng mơ hình [17] 31 Kỹ thuật Web lĩnh vực cụ thể, phát triển