Nghiên cứu xây dựng phương pháp chuyển đổi mô hình tích hợp ràng buộc trong phát triển ứng dụng web hướng mô hình theo kỹ thuật Uwe

Nghiên cứu xây dựng phương pháp chuyển đổi mô hình tích hợp ràng buộc trong phát triển ứng dụng web hướng mô hình theo kỹ thuật Uwe Nghiên cứu xây dựng phương pháp chuyển đổi mô hình tích hợp ràng buộc trong phát triển ứng dụng web hướng mô hình theo kỹ thuật Uwe luận văn tốt nghiệp thạc sĩ

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƢỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI - Trần Quốc Khánh NGHIÊN CỨU XÂY DỰNG PHƢƠNG PHÁP CHUYỂN ĐỔI MƠ HÌNH TÍCH HỢP RÀNG BUỘC TRONG PHÁT TRIỂN ỨNG DỤNG WEB HƢỚNG MƠ HÌNH THEO KỸ THUẬT UWE Chuyên ngành: Kỹ thuật phần mềm LUẬN VĂN THẠC SĨ KỸ THUẬT NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS Huỳnh Quyết Thắng HÀ NỘI – 2018 LỜI CAM ĐOAN Tôi – Trần Quốc Khánh – cam kết luận văn cơng trình nghiên cứu thân hướng dẫn PGS.TS Huỳnh Quyết Thắng Các kết nêu luận văn trung thực, khơng phải chép tồn văn cơng trình khác Hà Nội, ngày tháng năm 2018 Học viên Trần Quốc Khánh LỜI CAM ĐOAN DANH MỤC CÁC TỪ VIẾT TẮT VÀ THUẬT NGỮ DANH MỤC HÌNH .6 DANH MỤC BẢNG MỞ ĐẦU 10 Mục đích nghiên cứu luận văn 11 Nội dung luận văn 11 Các đóng góp khoa học luận văn 12 Chương 1: Tổng quan kỹ thuật UWE ngôn ngữ ràng buộc OCL .13 1.1 Kiến trúc hướng mơ hình 13 1.1.2 Giới thiệu 13 1.1.2 Các kỹ thuật Web hướng mơ hình 13 1.2 Kỹ thuật UWE .15 1.2.1 Mơ hình u cầu u cầu 18 1.2.2 Mơ hình nội dung 18 1.2.3 Mơ hình điều hướng 19 1.2.4 Mơ hình xử lý 19 1.2.5 Mơ hình trình bày 20 1.2.6 Mô hình MVC thành phần tương ứng UWE 20 1.3 Ngôn ngữ ràng buộc OCL 23 1.3.1 Khái niệm OCL 23 1.3.2 Cú pháp OCL 24 1.4 Vấn đề xây dựng quy tắc chuyển đổi mơ hình ràng buộc OCL nhiệm vụ luận văn 25 1.5 Tiểu kết chương 31 Chương 2: Xây dựng quy tắc chuyển đổi mơ hình UWE 32 2.1 Giới thiệu phương pháp chuyển đổi mơ hình UWE 32 2.1.1 Quy tắc có chuyển đổi mơ hình xử lý 32 2.1.2 Quy tắc có chuyển đổi mơ hình trình bày 32 2.2 Hoàn thiện quy tắc chuyển đổi từ mơ hình u cầu sang mơ hình xử lý .33 2.2.1 Quy tắc chuyển đổi U2P 34 2.2.3 Quy tắc chuyển đổi S2P 36 2.2.3 Quy tắc chuyển đổi U2U 38 2.2.4 Quy tắc chuyển đổi S2S 39 2.3 Hồn thiện quy tắc chuyển đổi mơ hình u cầu sang mơ hình trình bày 41 2.3.1 Quy tắc chuyển đổi D2G 42 2.3.2 Quy tắc chuyển đổi P2E 43 2.4 Tiểu kết chương 44 Chương 3: Tích hợp OCL 46 3.1 Giới thiệu phương pháp 46 3.1.1 Tích hợp OCL 46 3.1.2 Chuyển đổi OCL 47 3.2 Tích hợp chuyển đổi OCL từ mơ hình u cầu sang mơ hình xử lý .47 3.2.1 Chuyển đổi ràng buộc bất biến 48 3.2.2 Chuyển đồi ràng buộc tiền điều kiện- hậu điều kiện 50 3.3 Tích hợp chuyển đổi ràng buộc bất biến từ mơ hình u cầu sang mơ hình trình bày .52 3.4 Tiểu kết chương 53 Chương 4: Xây dựng công cụ MTO-Plugin thử nghiệm 54 4.1 Xây dựng MTO-Plugin .54 4.2 Thử nghiệm đánh giá .57 4.2.1 Chuyển đổi sang mơ hình trình bày 61 4.2.2 Chuyển đổi sang mô hình xử lý 66 4.3 Tiểu kết chương 74 KẾT LUẬN 75 DANH MỤC THAM KHẢO .77 DANH MỤC CÁC TỪ VIẾT TẮT VÀ THUẬT NGỮ Từ viết tắt, thuật ngữ Từ viết đầy đủ MDSD Model Driven Software Development MDWE Model Driven Web Enginnering UWE Uml-based Web Engineering WebSA Web Software Architecture MDA Model Driven Architecture CIM Computation Independent Model PIM Platform Independent Model PSM Platform Specific Model UML Unified Modeling Language MOF Query View Transformation MVC Model View Controller CSS Cascading Style Sheets XML eXtensible Markup Language XSLT eXtensible Stylesheet Language Transformation DTD Document Type Definition OCL Object Constraints Language HTML Hypertext Markup Language OMG Object Management Group CWM Common Warehouse Metamodel MDE Model Driven Engineering ISM Impl Specific Model MDD Model Driven Development ALT Atlas Transformation Language QVT Query/Views/Transformation OOHDM OOHDMA W2000 (HDM) Object Oriented Hypermedia Design Method Object Oriented Hypermedia Design Method Approach Hypertext Design Model DANH MỤC HÌNH Hình 1.1 Cấu trúc MDA cho kỹ thuật Web [2,13] 14 Hình 1.2 UWE metamodel [6] 16 Hình 1.3 UWE profile cho mơ hình yêu cầu [6,16] 18 Hình 1.4 UWE profile cho mơ hình nội dung [6,16] 19 Hình 1.5 UWE profile cho mơ hình điều hướng [6, 16] .20 Hình 1.6 UWE profile cho mơ hình xử lý [6, 16] .21 Hình 1.7 UWE profile cho mơ hình trình bày [6,16] 22 Hình 1.8 Mơ hình MVC Web [12] 22 Hình 1.9 Mối liên hệ mơ hình UWE với mơ hình MVC [3] 23 Hình 1.10 Tổng quan chuyển đổi mơ hình ActionUWE 27 Hình 1.11 Chuyển đổi từ CIM tới PIM từ PIM sang PIM UWE [5] .28 Hình 1.12 Phương pháp chuyển đổi mơ hình .28 Hình 1.13 Các quy tắc chuyển đổi mơ hình u cầu sang mơ hình nội dung [3] 29 Hình 1.14 Các quy tắc chuyển đổi mơ hình u cầu sang mơ hình điều hướng [3] 29 Hình 1.15 Các quy tắc chuyển đổi có sang mơ hình xử lý [3] 30 Hình 1.16 Các quy tắc chuyển đổi có sang mơ hình trình bày [3] 30 Hình 2.1 Biểu đồ diễn tiến chuyển đổi quy tắc U2P 35 Hình 2.2 Biểu đồ diễn tiến chuyển đổi quy tắc U2P 36 Hình 2.3 Biểu đồ diễn tiến chuyển đổi quy tắc S2P 37 Hình 2.4 Biểu đồ diễn tiến chuyển đổi quy tắc S2P 38 Hình 2.5 Biểu đồ diễn tiến chuyển đổi quy tắc U2U 39 Hình 2.6 Biễu đồ diễn tiến quy tắc S2S 40 Hình 2.7 Biểu đồ diễn tiến chuyển đổi quy tắc D2G 43 Hình 2.8 Biểu đồ diễn tiến xử lý cho quy tắc P2E 45 Hình 3.1 Giao diện HTML chuyển đổi từ mơ hình tích hợp OCL .46 Hình 3.2 Chuyển đổi mơ hình chuyển đổi OCL 47 Hình 3.3 Chuyển đổi mơ hình mã nguồn tích hợp ràng buộc OCL .48 Hình 3.4 Biểu đồ diễn tiến chuyển đổi bất biến mô hình xử lý 49 Hình 3.5 Biểu đồ chuyển đổi tiền điều kiện – hậu điều kiện mơ hình xử lý 51 Hình 3.6 Biểu đồ diễn tiến chuyển đổi ràng buộc bất biên mơ hình trình bày 53 Hình 4.1 Kiến trúc MagicDraw MTO-Plugin 55 Hình 4.2 Cài đặt MTO-Plugin .55 Hình 4.3 Cơ chế khởi tạo chạy plugin Magic Draw 56 Hình 4.4 Giao diện cơng cụ MTO-Plugin 57 Hình 4.5 Sơ đồ Usecase AddressBook 57 Hình 4.6 Activity diagram cho Create Contact 59 Hình 4.7 Activity diagram cho Update Contact 60 Hình 4.8 Activity diagram Search Contact 61 Hình 4.9 Activity diagram Delete Contact 61 Hình 4.10 Kết chuyển đổi Quy tắc D2G .62 Hình 4.11 Kết chuyển đổi quy tắc P2E 62 Hình 4.12 Kết chuyển đổi ràng buộc bất biến mơ hình trình bày 63 Hình 4.13 Kết chuyển đổi mơ hình trình bày ban đầu 63 Hình 4.14 Kết chuyển đổi mơ hình trình bày sau bổ sung quy tắc 64 Hình 4.15 Trang Home mơ hình hóa tay 65 Hình 4.16 CreateContact, SearchContact mơ hình hóa tay 66 Hình 4.18 Kết chuyển đổi Quy tắc S2P .67 Hình 4.19 Kết chuyển đổi Quy tắc U2U 68 Hình 4.20 Kết chuyển đổi Quy tắc S2S .68 Hình 4.21 Kết chuyển đổi ràng buộc bất biến tiền điều kiện- hậu điều kiện mơ hình xử lý .69 Hình 4.22 Mơ hình lớp xử lý ban đầu 69 Hình 4.23 Mơ hình lớp xử lý chuyển đổi với quy tắc bổ sung 70 Hình 4.24 Chuyển đổi sang mơ hình luồng xử lý ban đầu 70 Hình 4.25 Mơ hình luồng xử lý sau bổ sung quy tắc 71 Hình 4.26 Mơ hình lớp xử lý mơ hình hóa tay 72 Hình 4.27 Mơ hình luồng xử lý mơ hình hóa tay .73 DANH MỤC BẢNG Bảng So sánh kỹ thuật Web hướng mô hình [2,13] 15 Bảng Các thành phần UWE stereo type [6,16] 17 Bảng Các thành phần tương ứng DisplayAction type Prentation element 42 Bảng Các thành phần tương ứng với Pin type giao diện .44 Bảng Các pin create update contact diagram .58 Bảng Các ràng buộc OCL tích hợp activity diagram .58 LỜI CẢM ƠN Để hồn thành luận văn tốt nghiệp này, em xin chân thành cảm ơn thầy hướng dẫn luận văn tốt nghiệp, PGS.TS Huỳnh Quyết Thắng, Bộ môn Công nghệ phần mềm, Trường đại học Bách Khoa Hà Nội Thầy nhiệt tình hướng dẫn, truyền đạt kiến thức cần thiết định hướng cho em trình thực đề tài Em xin chân thành cảm ơn giúp đỡ quý báu anh Trần Đình Diễn, nghiên cứu sinh Bộ mơn Công nghệ phần mềm, trường đại học Bách Khoa Hà Nội Em xin chân thành cảm ơn thầy cô giáo Bộ môn Công nghệ phần mềm, trường Đại học Bách Khoa Hà Nội Dù cố gắng luận văn chắn khơng tránh khỏi thiếu sót, em mong nhận ý kiến đóng góp thầy cô Em xin chân thành cảm ơn! MỞ ĐẦU Phương pháp phát triển phần mềm hướng mơ hình q trình phát triển tập trung vào mơ hình hóa hệ thống UML chuyển đổi mơ hình ngữ nghĩa mức cao xuống mơ hình cụ thể từ xuống mã nguồn Nó giúp cho việc phát triển ứng dụng nhanh chóng hiệu Ứng dụng Web ứng dụng phổ biến, có đặc trưng riêng Chính để áp dụng phương pháp phát triển phần mềm hướng mơ hình vào xây dựng ứng dụng Web đòi hỏi thành phần bổ sung vào UML Kỹ thuật Web hướng mơ hình UWE phát triển để đáp ứng yêu cầu Không đáp ứng quy định kiến trúc MDA, UWE đưa thành phần đặc thù ứng dụng Web Tuy nhiên phương pháp phát triển ứng dụng Web hướng mơ hình theo kỹ thuật UWE việc mơ hình hóa tất mơ hình UWE tồn số nhược điểm sau: Thứ nhất: Việc mơ hình hóa mơ hình làm cho việc phát triển ứng dụng Web tốn thời gian chi phí; Thứ hai: Với ứng dụng Web thường bao gồm nhiều thành phần thành phần phụ thuộc vào tảng cơng nghệ khác nhau, 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 Bằng việc xây dựng quy tắc chuyển đổi mơ hình, từ mơ hình u cầu chuyển đổi sang mơ hình khác 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 cách tự động Dựa mơ hình chuyển đổi, sinh mã nguồn tự động cho ứng dụng Web Do giúp tiết kiệm thời gian, chi phí đảm bảo tính thống mơ hình UWE 10 Hình 4.14 Kết chuyển đổi mơ hình trình bày sau bổ sung quy tắc So sánh với mơ hình hóa tay: 64 So sánh với mơ hình hóa tay Hình 4.15 4.16, chuyển đổi mơ hình chuyển đổi thành phần mơ hình trình bày Giao diện trang home thành phần nội dung thị tương ứng như: CreateContact, UpdateContact, SearchContact chứa thành phần cần thiết Tuy nhiên so với mơ hình hóa tay chuyển đổi mơ hình số hạn chế: Chưa xử lý, sử dụng chung form giống nhau; Mơ hình hóa tay bổ sung thành phần khác chi tiết hơn, giao diện trang Home Để xử lý hạn chế người phát triển tinh chỉnh mơ hình sau chuyển đổi Bởi mục đích tái sử dụng form, hay bổ sung thành phần tùy biến người phát triển, khơng mơ tả mơ hình u cầu Do người phát triển bổ sung, tinh chỉnh theo mục đích cấu trúc họ từ thành phần cần thiết chuyển đổi cơng cụ MTO-Plugin Hình 4.15 Trang Home mơ hình hóa tay 65 Hình 4.16 CreateContact, SearchContact mơ hình hóa tay 4.2.2 Chuyển đổi sang mơ hình xử lý Kết quy tắc chuyển đổi mô hình: 1) Quy tắc chuyển đổi U2P User action chuyển đổi thành process class thể cho nhiệm vụ lấy liệu nhập vào từ người sử dụng, với thuộc tính tương ứng Pin, phương thức validateData() cần kiểm tra điều kiện ràng buộc cho 66 Hình 4.17 Kết chuyển đổi Quy tắc U2P 2) Quy tắc chuyển đổi S2P Quy tắc S2P chuyển đổi system action với type “confirmed” thành process class để xử lý cho việc xác nhận lại với người sử dụng trước thực xử lý nghiệp vụ với phương thức SaveContact () Hình 4.18 Kết chuyển đổi Quy tắc S2P 3) Quy tắc chuyển đổi U2U Quy tắc U2U chuyển đổi user action activity diagram thành user action mơ hình luồng xử lý Kèm theo system action validate node để kiểm tra tính hợp lệ liệu 67 Hình 4.19 Kết chuyển đổi Quy tắc U2U 4) Quy tắc chuyển đổi S2S Quy tắc S2S chuyển system action mơ hình activity diagram thành system action mơ hình luồng xử lý, kèm theo “confirmation” user action confirm node để xác nhận với người dùng trước thực Hình 4.20 Kết chuyển đổi Quy tắc S2S Chuyển đổi ràng buộc OCL: 1) Chuyển đổi ràng buộc bất biến ràng buộc tiền điều kiện-hậu điều kiện 68 Hình 4.21 Kết chuyển đổi ràng buộc bất biến tiền điều kiện- hậu điều kiện mơ hình xử lý Kết chuyển đổi tổng hợp: Khi áp dụng vào chuyển đổi mơ hình xử lý, process class xử lý cho nhập liệu từ người sử dụng, process class cho việc xác nhận (confirmation), phương thức tương ứng… chuyển đổi tự động so với kết ban đầu Kết chuyển đổi ban đầu: Hình 4.22 Mơ hình lớp xử lý ban đầu Sau áp dụng quy tắc chuyển đổi process class cho trình tạo cách chi tiết đầy đủ Ví dụ q trình xử lý cho chức tạo contact (create contact) Sẽ chia thành lớp xử lý chi tiết như: lớp 69 nhận liệu nhập vào kiểm tra tính hợp lệ (ContactDataInput), lớp xác nhận với người sử dụng (SaveContactConfirmation) thực lưu contact người sử dụng đồng ý Kết mô tả chi tiết hình 4.23 Hình 4.23 Mơ hình lớp xử lý chuyển đổi với quy tắc bổ sung Mơ hình luồng xử lý: Kết ban đầu: mơ hình luồng xử lý khơng chứa nội dung Hình 4.24 Chuyển đổi sang mơ hình luồng xử lý ban đầu Sau bổ sung quy tắc mơ hình luồng xử lý chuyển đổi hoàn thiện Các node tương ứng với trình xử lý user action, decision node, system action chuyển đổi Kết chi tiết mơ tả Hình 4.25 70 Hình 4.25 Mơ hình luồng xử lý sau bổ sung quy tắc So sánh với mơ hình hóa tay So sánh kết chuyển đổi mơ hình xử lý chuyển đổi sử dụng MTO-Plugin mơ hình hóa tay Hình 4.26 4.27, thấy ưu điểm của chuyển đổi công cụ : o Chuyển đổi hầu hết thành phần bản, cần thiết mơ hình xử lý 71 o Chuyển đổi thuộc tính, phương thức cần thiết để sử dụng lớp xử lý Tương tự chuyển đổi mơ hình trình bày, so với mơ hình hóa tay chuyển đổi tự động cịn có hạn chế sau: o Chưa mơ tả mối quan hệ đa dạng lớp xử lý như: lớp A kế thừa lớp B hay lớp A có chứa thành phần lớp B o Điều hướng thị người sử dụng không xác nhận (hủy) chuỗi hành động Ví dụ thị danh sách Contact người chọn cancel bắt đầu tạo Contact SaveConfirmation Hình 4.27 Những hạn chế là thành phần nhà phát triển thiết kế theo mục đích kiến trúc họ Chúng không mô tả mơ hình u cầu Do sau chuyển đổi cơng cụ MTO-Plugin để có thành phần cần thiết, người phát triển chỉnh sửa , bổ sung hoàn thiện theo thiết kế họ Hình 4.26 Mơ hình lớp xử lý mơ hình hóa tay 72 Mơ hình luồng xử lý mơ tả Hình 4.27 Hình 4.27 Mơ hình luồng xử lý mơ hình hóa tay 73 4.3 Tiểu kết chƣơng Chương giới thiệu cách hoạt động MTO-Plugin phần mềm Magic Draw Plugin cho phép chuyển đổi mơ hình từ mơ hình u cầu sang mơ hình xử lý mơ hình trình bày chuyển đổi ràng buộc tương ứng Sau áp dụng vào tốn điển hình so sánh kết so với ban đầu mơ hình hóa tay Qua thể hiệu q trình chuyển đổi mơ hình với việc tích hợp chuyển đổi thành cơng ràng buộc tiền điều kiện- hậu điều kiện, ràng buộc bất biến 74 KẾT LUẬN Xây dựng phương pháp chuyển đổi mơ hình phát triển ứng dụng Web theo kỹ thuật UWE đóng vai trị quan trọng Với phương pháp quy tắc trình bày luận văn, thay người phát triển phải mơ tả cách đầy đủ chi tiết mô hình UWE: mơ hình u cầu, 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, người sử dụng cần mơ tả mơ hình u cầu, mơ hình cịn lại chuyển đổi tự động từ mơ hình u cầu Phương pháp tiếp cận giúp đảm bào tính thống mơ hình, đồng thời tiết kiệm thời gian chi phí cho ứng dụng Web Ngồi ra, để đáp ứng đặc trưng tương tác cao với người sử dụng ứng dụng Web, luận văn đề xuất phương pháp tích hợp chuyển đổi hai loại ràng buộc phổ biến quan trọng ứng dụng Web: ràng buộc bất biến ràng buộc tiền điều kiện-hậu điều kiện, giúp làm giàu thông tin cho mơ hình chuyển đổi, nâng cao hiệu trình sinh mã nguồn Qua thời gian thực hiện, luận văn hoàn thành nội dung sau: - Luận văn ưu điểm phương pháp phát triển ứng dụng Web hướng mơ hình Phương pháp phát triển từ mơ hình u cầu, sau chuyển đổi thành mức mơ hình sang mơ hình Hồn thiện quy tắc chuyển đổi mơ hình, nhằm nâng cao kết chuyển đổi - Phân tích vai trị ràng buộc OCL ứng dụng Web, phương pháp tích hợp chuyển đổi ràng buộc OCL mơ hình - Xây dựng cơng cụ chuyển đổi mơ hình chuyển đổi OCL Áp dụng cơng cụ xây dựng vào tốn điển hình đánh giá kết Các đóng góp khoa học luận văn Thứ nhất: Xây dựng thêm số quy tắc mới, để hoàn thiện quy tắc chuyển đổi mơ hình, nhằm cải thiện kết chuyển đổi Thứ hai: Đưa phương pháp tích hợp ràng buộc OCL vào mơ hình UWE, sau chuyển đổi nhằm đồng mơ hình, làm giàu thơng tin cho mơ hình, cải thiện kết trình sinh mã Thứ ba: Xây dựng công cụ MTO-Plugin để cài đặt thử nghiệm đánh giá Hƣớng phát triển Hiện tại, luận văn đưa phương pháp chuyển đổi từ mơ hình sang mơ hình Do thời gian tới em tiến hành kết hợp với công cụ chuyển đổi mơ hình sang 75 mã nguồn, áp dụng vào toán khác nhau, nhằm đánh giá đầy đủ xác Do thời gian thực khơng nhiều nên chắn luận văn tránh khỏi hạn chế thiếu sót Em mong nhận ý kiến đóng góp thầy bạn đọc để luận văn ngày hoàn thiện Xin chân thành cảm ơn! 76 DANH MỤC THAM KHẢO [1] Paras Patel, Anup Hande and B B Meshram Survey of Existing Web Models Techniques to Design Web Application Int J Computer Technology & Applications, Vol (3),514-521, 2013 [2] A Gustavo, M.-J Escalona, L Michael, and R H Jose An Analysis of Model Driven Web Engineering Methodologies International Journal of Innovative Computing, Information and Control, Volume 9, Number 1, 2013, pp 413–436 [3] K Andreas Model Driven Software Engineering for Web Applications PhD Disertation, LMU München, Faculty of Mathematics, Computer Science and Statistics, 2007 https://edoc.ub.uni-muenchen.de/7936/ [4] Jim Davies, David Milward, Chen-Wei Wang, James Welch Formal model-driven engineering of critical information systems Science of Computer Programming 103 (2015) 88–113 [5] Nora Koch Transformation Techniques in the Model-Driven Development Process of UWE Workshops at ICWE'06, July 11-14, 2006, Palo Alto, California, USA, ACM 1-59593435-9-2/06/0007 [6] C Kroiß and N Koch UWE Metamodel and Profile: User Guide and Reference Technical Report 1101, Ludwig-Maximilians-Universität München, 2011 [7] Marianne Busch Evaluating & Engineering - an Approach for the Development of Secure Web Applications PhD Disertation, LMU München, Faculty of Mathematics, Computer Science and Statistics, 2016 https://edoc.ub.uni-muenchen.de/19750 [8] Nguyen Viet Cuong Model Transformation Approach to Automated Model Driven Development PhD Dissertation, Czech Technical University in Prague, 2015 [9] Ahmad F Subahi, Youseef Alotaibi A New Framework for Classifying Information Systems Modelling Languages Journal of Software, Volume 13, Number 1, January 2018, pp 18-42 [10] Martin Gogolla and Khanh-Hoang Doan Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification In Jordi Cabot, Cristina Gomez, 77 Oscar Pastor, Maria-Ribera Sancho, and Ernest Teniente, editors, Conceptual Modeling Perspectives, pages 155-168 Springer, Berlin, 2017 [11] Khanh-Hoang Doan, MartinGogolla Extending a UML and OCL Tool for MetaModeling: Applications towards Model Quality Assessment In Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Mindez, and Christoph Seidl, editors, Proc Modellierung (MODELLIERUNG'2018), pages 135-150 GI, LNI 280, 2018 [12] Y Tian A Model-Driven Architecture based Evolution Method and Its Application in An Electronic Learning System PhD Dissertation, De Montfort University, England, 2012 https://www.dora.dmu.ac.uk/handle/2086/7974?show=full [13] Trần Đình Diễn, Huỳnh Quyết Thắng Phát triển ứng dụng Web hướng mơ hình dựa kỹ thuật WEB 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-604913-397-8 [14] Nguyen Thi Thuy Linh, Tran Dinh Dien, Bui Quang Thang, Huynh Quyet Thang Integration MDA Techniques in Solving a Class of Web Application with Similar Structure ANU/SEED-Net Regional Conference for Computer and Information Engineering 2015, Hanoi 1-2 October 2015, ISBN 978-604-938-689-3, pp 78-83 [15] https://www.nomagic.com/products/magicdraw [16] UWE Metamodel and Profile 3.0 for MagicDraw http://uwe.pst.ifi.lmu.de/publicationsMetamodelAndProfile.html [17] Marianne Busch, Miguel Ángel García de Dios ActionUWE: Transformation of UWE to ActionGUI Models Technical Report 1203, Version 1.0, Research Unit of Programming and Software Engineering (PST), Institute for Informatics, Ludwig-Maximilians-Universităat Măunchen, Germany 2012 http://uwe.pst.ifi.lmu.de/publications/ActionUWE.pdf [18] Mathias Colpaert, Integrating model-to-model and model-to-text transformations in a model driven framework for UWE, 2013 78 ... Mục đích nghiên cứu luận văn Mục đích luận văn nghiên cứu xây dựng phương pháp chuyển đổi mơ hình tích hợp ràng buộc phát triển ứng dụng Web hướng mơ hình theo kỹ thuật UWE nhằm chuyển đổi tự động... kiểm tra hợp lệ trước xử lý nghiệp vụ Do vậy, em chọn đề tài ? ?Nghiên cứu xây dựng phương pháp chuyển đổi mơ hình tích hợp ràng buộc phát triển ứng dụng Web hướng mô hình theo kỹ thuật UWE? ?? để... phương pháp hướng đối tượng dựa ngôn ngữ mơ hình hóa UML, kỹ thuật phát triển theo kỹ thuật hướng mơ hình sử dụng nhiều kỹ thuật Web hướng mơ hình [1, 2, 13] UWE kỹ thuật phát triển ứng dụng Web hoàn