Mô hình hóa chuyên biệt miền cho ứng dụng web

1 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CƠNG NGHỆ PHẠM VĂN THANH MƠ HÌNH HĨA CHUN BIỆT MIỀN CHO ỨNG DỤNG WEB LUẬN VĂN THẠC SĨ Hà Nội - 2015 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CƠNG NGHỆ PHẠM VĂN THANH MƠ HÌNH HĨA CHUN BIỆT MIỀN CHO ỨNG DỤNG WEB Ngành: Cơng nghệ thông tin Chuyên ngành: Kỹ thuật phần mềm Mã số: 60480103 LUẬN VĂN THẠC SĨ NGƯỜI HƯỚNG DẪN KHOA HỌC: TS Đặng Đức Hạnh Hà Nội - 2015 LỜI CẢM ƠN Trước hết, xin gửi lời biết ơn sâu sắc đến Tiến sĩ Đặng Đức Hạnh, môn Công nghệ phần mềm, khoa Công nghệ Thông tin, Trường Đại học Công nghệ, Đại học Quốc Gia Hà Nội dành nhiều thời gian tâm huyết hướng dẫn, giúp đỡ tơi hồn thành luận văn tốt nghiệp cao học Nhân đây, xin chân thành cảm ơn Ban Giám hiệu Trường Đại học Công nghệ, Đại học Quốc Gia Hà Nội quý thầy cô Khoa Công nghệ Thông tin, Trường Đại học Công nghệ, Đại học Quốc Gia Hà Nội tạo điều kiện cho tơi học tập hồn thành tốt khóa học Đồng thời, xin cảm ơn tới Ban Giám đốc, đồng nghiệp Trung tâm Dịch vụ việc làm Thanh niên Trung ương Đồn, nơi tơi công tác tạo điều kiện cho thời gian để tơi tham gia đầy đủ khóa học Mặc dù có nhiều cố gắng để hồn thiện luận văn tránh khỏi thiếu sót, mong nhận đóng góp quý báu quý thầy cô, đồng nghiệp bạn Tôi xin chân thành cảm ơn / Hà Nội, ngày tháng 10 năm 2015 HỌC VIÊN Phạm Văn Thanh LỜI CAM ĐOAN Tôi xin cam đoan luận văn “Mô hình hóa chun biệt miền cho ứng dụng Web” tơi viết hướng dẫn Tiến sĩ Đặng Đức Hạnh Nội dung luận văn có tham khảo số tài liệu không chép từ tài liệu công bố Hà Nội, ngày tháng 10 năm 2015 HỌC VIÊN Phạm Văn Thanh MỤC LỤC LỜI CẢM ƠN LỜI CAM ĐOAN MỤC LỤC DANH MỤC KÝ HIỆU, TỪ VIẾT TẮT DANH MỤC HÌNH VẼ MỞ ĐẦU CHƯƠNG 1: TỔNG QUAN VỀ MƠ HÌNH HĨA CHUN BIỆT MIỀN 1.1 Khái niệm mơ hình mơ hình hóa 1.1.1 Khái niệm mơ hình 1.1.2 Khái niệm mô hình hóa 1.2.3 Mơ hình hố trực quan 1.1.4 Mơ hình hóa mục đích chung 1.2 Mơ hình hóa chun biệt miền 1.2.1 Cấu trúc mơ hình hóa chun biệt miền 1.2.2 Mơ hình kiến trúc mơ hình hóa chuyên biệt miền 1.3 Ngôn ngữ mơ hình hóa chun biệt miền 1.4 Đặc điểm ý nghĩa mô hình hóa chun biệt miền 1.4.1 Đặc điểm mơ hình hóa chun biệt miền 1.4.2 Ý nghĩa của mơ hình hóa chuyên biệt miền người sử dụng 1.4.3 Lợi ích mơ hình hóa chun biệt miền 1.4.4 So sánh DSM với ngơn ngữ mơ hình mục đích chung khác CHƯƠNG 2: NGƠN NGỮ MƠ HÌNH HĨA CHUN BIỆT MIỀN CHO ỨNG DỤNG WEB 2.1 Tổng quan phương pháp xây dựng DSML 2.1.1 Giai đoạn 1: Khảo sát miền 2.1.2 Giai đoạn 2: Định nghĩa metamodel ràng buộc 2.1.3 Giai đoạn 3: Xác định ký pháp cho ngôn ngữ 2.1.4 Giai đoạn 4: Thao tác mơ hình 2.2 Kỹ thuật công cụ hỗ trợ xây dựng DSML 2.2.1 Biểu diễn mơ hình với Metamodel 2.2.2 Ràng buộc miền ngôn ngữ OCL 2.2.3 Một số công cụ hỗ trợ xây dựng DSML 2.3 Vận dụng vào miền ứng dụng Web 2.3.1 Khảo sát miền ứng dụng Web 2.3.2 Định nghĩa Metamodel ràng buộc 2.3.3 Xác định ký pháp ngôn ngữ mô hình hóa chun biệt miền cho ứng dụng Web CHƯƠNG 3: CÀI ĐẶT VÀ THỰC NGHIỆM TRÊN ECLIPSE 3.1 Biểu diễn cú pháp trừu tượng DSL cho miền ứng dụng Web 3.1.1 Mơ hình Ecore 3.1.2 Mơ hình genmodel 3.2 Biểu diễn cú pháp cụ thể 3.2.1 Graphical Definition Model (GDM) WML.gmfgrahp 3.2.2 Tooling Definition Model (TDM) 3.2.3 Mapping Definition Model (MDM) 3.3 Kỹ thuật sinh mã 3.3.1 Các cách để xây dựng máy sinh mã 3.3.2 Qui trình tạo máy sinh mã 3.3.3 Mã nguồn mơ hình EMF.model 3.3.4 Các thành phần EMF.edit EMF.editor 3.3.5 Code Generation (CG) 3.4 Kết DSL cho miền ứng dụng Web KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN Kết đạt được: Hướng phát triển: TÀI LIỆU THAM KHẢO 66 DANH MỤC KÝ HIỆU, TỪ VIẾT TẮT Từ viết Thuật n tắt ATL ATLAS Transforma DSL Domain specific lan DSM Domain Specific m DSML Domain specific mo language EMF Eclipse Modeling F GMF Graphical Modeling M2M Model to Model Tr M2T Model to Text Tran MDD Model driven devel OCL Object Constraint L QTV Query/View/Transf UML Unified Modeling L WebML Web Modeling Lan MDA Model Driven Arch DANH MỤC HÌNH VẼ Hình 1.1: Nhìn vấn đề tơ người bình thường Hình 1.2: Nhìn vấn đề tơ chun gia phân tích Hình 1.3: Mơ hình UML cho cửa sổ Windows Hình 1.4: Cấu trúc mơ hình hóa chun biệt miền Hình 1.5: Mơ hình kiến trúc mơ hình hóa chun biệt miền Hình 1.6: Ngơn ngữ mơ hình hóa chun biệt miền trị chơi Snake Hình 1.7: Chi phí để phát triển ứng dụng Hình 1.8: Giảm chi phí sử dụng DSM Hình 2.1: Mơ hình metamodeling ví dụ 25 Hình 2.2: MetaEdit+ Workbrench MetaEdit+ Modeler Hình 2.3: Các thành phần GOPPRR Hình 2.4: Generator Editor Hình 2.5: Generator Debugger Hình 2.6: Diagram Editor Hình 2.7: Maxtric Editor Hình 2.8: Table Editor Hình 2.9: Browsers Hình 2.10: Eclipse plugin Hình 2.11: Visual Studio extension tích hợp MetaEdit+ Visual Studio Hình 2.12: Dự án mơ hình hóa Eclipse Hình 2.13: DSL Toolkit Artifacts - Abstract Hình 2.14: Luồng công việc phát triển DSL Toolkit Hình 2.15: Các thành phần xây dựng dự án EMF Hình 2.16: MetaModel đại diện cho tập tối thiểu thuật ngữ với ecore Hình 2.17: Các thành phần xây dựng dự án EMF Hình 2.18: Cửa sổ tiện ích GMF Dashboard Hình 2.19: Các giai đoạn trình phát triển DSL cho ứng dụng Web Hình 2.20: Lược đồ liệu sở liệu ứng dụng web Hình 2.21: Ví dụ sơ đồ cấu trúc Hình 2.22: Ví dụ mơ hình thành phần WebML Hình 2.23: Mơ hình liệu ứng dụng Web âm nhạc Hình 2.24: Các trang Website Hình 2.25: Kiểu liên kết ngữ cảnh Hình 2.26: Kiểu liên kết khơng ngữ cảnh Hình 2.27: Class có tên Address thuộc tính Hình 2.28: Các lớp biểu đồ biểu diễn metamodel cho miền ứng dụng Web Hình 2.29: Các ký pháp trừu tượng (abstract syntax) Hình 2.30: Các ký pháp cụ thể (concrete syntax) Hình 3.1 Mơ hình WebML.ecore dự án EMF Hình 3.2 Mơ hình WebML.ecore diagram dự án EMF Hình 3.3 Mơ hình WebML.genmodel dự án EMF Hình 3.4 Mơ hình WML.gmfgraph Hình 3.5 Xây dựng node Class mơ hình WML Hình 3.6 Xây dựng Polyline cho node ClassAttribute Hình 3.7 Xây dựng Figure cho ClassAttribute Hình 3.8 Xây dựng connection Class Attributes Hình 3.9 Nhãn Name cho node Class Hình 3.10 Mơ hình WML gmftool xây dựng Hình 3.11 Các node, link mapping WML gmfmap Hình 3.12 Ánh xạ node HypertextLayer Hình 3.13 Ánh xạ Link HypertextLayer.pages.Page Hình 3.14 Ánh xạ Link HypertextLayer.pages.Page Hình 3.15 Mã nguồn tự động sinh từ mơ hình WML.genmodel Hình 3.16 WML edit WML.editor sinh từ genmodel Hình 3.17: Generate diagram code dự án GMF Hình 3.18: Cửa sổ Extensions Plugin xml dự án GMF Hình 3.19: DSML cho miền ứng dụng Web 10 MỞ ĐẦU Ngày nay, làm để giảm thời gian thiết kế, giảm chi phí phát triển ứng dụng phần mềm đại lại phải tăng tính linh hoạt, hiệu phần mềm để cạnh tranh đáp ứng nhu cầu sử dụng phần mềm tất lĩnh vực khác đời sống xã hội Xuất phát từ mong muốn đó, năm qua giải pháp phát triển thư viện lớp xây dựng hoàn chỉnh phục vụ cho phát triển phần mềm chưa thể để đáp ứng đầy đủ nhu cầu ngành công nghiệp phần mềm Việc phát triển phần mềm dạng thủ cơng, dựa vào sức người chủ yếu Vì vậy, việc nghiên cứu đưa giải pháp cho phép phát triển phần mềm cách tự động đề xuất phát triển Và giải pháp phát triển phần mềm hướng mơ hình xem giải pháp phù hợp phát triển ứng dụng phần mềm đại ngày Phát triển hướng mơ hình đặt mơ hình hóa làm vấn đề trọng tâm phát triển phần mềm, từ mơ hình dịch chuyển sang mã chương trình triển khai nhờ sinh mã nguồn (code generator) Và phát triển hướng mơ hình đặc biệt phù hợp với phát triển sản phẩm phần mềm hệ Một hướng tiếp cận phát triển hướng mơ hình mơ hình hóa chun biệt miền, việc xây dựng ngơn ngữ mơ hình hóa chuyên biệt miền thường triển khai dạng dự án nhỏ khởi đầu dự án lớn Và kết dự án mơ hình hóa chun biệt miền ngơn ngữ mơ hình hóa thuộc miền cho phép mơ hình hóa vấn đề dự án, kết thu dịch chuyển mơ hình dự án sang mã (code) triển khai, điều làm giảm bớt thời gian chi phí phát triển phần mềm Với ưu điểm mơ hình hóa chun biệt miền lợi ích mang lại phải phát triển ngôn ngữ cho phép mơ hình hóa chun biệt miền, tơi lựa chọn đề tài “Mơ hình hóa chun biệt miền cho ứng dụng Web” làm đề tài luận văn Mục tiêu đề tài tìm hiểu phương pháp phát triển phần mềm hướng mơ hình với cách tiếp cận mơ hình hóa chun biệt miền Trong phạm vi nghiên cứu đề tài tơi tìm hiểu phương pháp xây dựng ngơn ngữ mơ hình hóa chuyên biệt miền cho ứng dụng Web cài đặt thử nghiệm với cơng cụ Eclipse 52 Hình 3.2: Mơ hình WebML ecorediag dự án EMF Dự án EMF cung cấp công cụ Ecore diagram cho phép người dùng sử dụng ký hiệu trực quan để kéo thả thay phải định nghĩa khái niệm trừu tượng mơ hình ecore 3.1.2 Mơ hình genmodel Từ mơ hình Ecore dự án EMF cho phép tạo mơ hình genmodel Mơ hình genmodel sinh từ mơ hình ecore bổ sung thêm thơng tin cho EMF model, EMF.edit, EMF.editor, EMF.test; mơ hình genmodel hình đây: Hình 3.3: Mơ hình WebML genmodel dự án EMF 53 3.2 Biểu diễn cú pháp cụ thể Cú pháp trừu tượng cho DSML dự án EMF xây dựng, ta xây dựng cú pháp cụ thể cho DSML dự án GMF Elipse Bảng 3.1 Các ký hiệu xây dựng dự án GMF DSL cho miền ứng dụng Web 54 Các mơ hình xây dựng dự án GMF DSL cho ứng dụng Web gồm: 3.2.1 Graphical Definition Model (GDM) WML.gmfgrahp Các Figure, Node, Connection, Compartment, Diagram Label cho khái niệm thuộc miền định nghĩa cụ thể sau: + Figure: Định nghĩa hình đại diện cho node connection Hình 3.4: Mơ hình WML.gmfgraph + Node: Trong mơ hình, node dùng để định nghĩa khái niệm Mỗi node tương ứng với hình mơ hình Hình 3.5: Xây dựng node Class mơ hình WML 55 + Polyline: Định nghĩa hình dáng đường cuối liên kết connection Ví dụ hình hưới định nghĩa cho liên kết Role Permission Hình 3.6: Xây dựng Polyline cho node ClassAttribute + Figure Descriptor: Các hình đại diện cho khái niệm miền liên kết khái niệm mơ hình miền Như hình định nghĩa hình (ký hiệu) cho khái niệm ClassAttributes hình liên kết Class Attributes Hình 3.7: Xây dựng Figure cho ClassAttribute 56 + Connection: Định nghĩa liên kết (association) tồn khái niệm miền Hình 3.8: Xây dựng connection Class Attributes + Diagram Label: Tên hiển thị hình node connection Hình 3.9: Nhãn Name cho node Class 57 3.2.2 Tooling Definition Model (TDM) Mơ hình TDM sử dụng để xác định palette, tạo tools, tạo actions… cho phần tử đồ họa Trong dự án GMF_WML có xây dựng Palette cho khái niệm (node) liên kết (link) Kết Tooling Definition Model dự án GMF_WML hình đây: Hình 3.10: Mơ hình WML.gmftool xây dựng 3.2.3 Mapping Definition Model (MDM) Mơ hình MDM cho phép liên kết ba mơ hình với là: Domain (WML Ecore), Graphical definition (WML gmfgraph) tooling definition (WML gmftool) Đây mơ hình quan trọng để phát triển dự án GMF mơ hình đầu vào để chuyển sang mơ hình cuối Generation Model Mơ hình MDM ánh xạ khái niệm miền mức trừu tượng mơ hình WML ecore thành khái niệm miền mức cụ thể WML gmfgraph gắn với tool Palette mơ hình WML gmftool Trong Mapping Definition Model dự án GMF WML cần ánh xạ Node Link Node, hình mơ hình WML gmftool xây dựng 58 Hình 3.11: Các node, link mapping WML.gmfmap + Các node cần ánh xạ dự án GMF_WML: HypertextLayer, ContentLayer, Page, DynamicPage, StaticPage, Link, Class,… Ví dụ ánh xạ node hình đây: Hình 3.12: Ánh xạ node HypertextLayer Hình ánh xạ node HypertextLayer xác định node chứa bên node Page 59 Hình 3.13: Ánh xạ node HypertextLayer Page + Các Link cần ánh xạ dự án GMF_WML: Webmodel.content ContentLayer, Webmodel hypertext HyperTextLayer, HyperText.homepage Page, HyperText.pages.Page , ví dụ hình đây: Hình 3.14: Ánh xạ Link HypertextLayer.pages.Page 60 3.3 Kỹ thuật sinh mã Xây dựng máy sinh mã hai nhiệm vụ tạo giải pháp DSM Máy sinh mã DSM xây dựng để thực nhiệm vụ miền vấn đề cụ thể Mã sinh khơng cần phải sửa đổi, bổ sung đáp ứng hết yêu cầu nhà phát triển Mặc dù tác dụng máy sinh mã to lớn để tạo khơng phải điều dễ dàng Trong phần này, tìm hiểu bước để tạo máy sinh mã DSM 3.3.1 Các cách để xây dựng máy sinh mã Chúng ta tìm hiểu cách khác để làm nên kết cấu máy sinh mã Mỗi cách sử dụng riêng kết hợp với cách khác Chúng ta cần chia nhỏ máy sinh mã thành máy sinh mã Mỗi máy sinh mã giải vấn đề cụ thể Chúng ta xây dựng máy sinh mã theo thứ tự: Autobuild: Máysinh mã autobuild mức cao Nó qui định file sinh máy sinh mã quy định kịch hoạt động máy sinh mã Máy sinh mã ngơn ngữ mơ hình: Giải pháp DSM đầy đủ thường phải sử dụng nhiều ngơn ngữ mơ hình Vì ngơn ngữ mơ hình cần phải tạo máy sinh mã tương ứng Máy sinh mã cho loại file: Mỗi mơ hình sinh nhiều file với loại file mơ hình nên định nghĩa cho máy sinh mã tương ứng Máy sinh mã song song sinh nhiều ngơn ngữ lập trình: Nhu cầu tạo ứng dụng dựa nhiều tảng khác nhau, nhiều ngơn ngữ khác lớn Vì máy sinh mã cần phải hỗ trợ nhiều ngôn ngữ lập trình khác 3.3.2 Qui trình tạo máy sinh mã Tạo kiểm tra máy sinh mã: Phần quan trọng việc tạo máy sinh mã biết bắt đầu Phải biết đầu vào máy sinh mã kết đầu máy sinh mã Chúng ta giữ cho máy sinh mã đơn giản tốt, đẩy phức tạp xuống khuôn khổ miền Đồng thời, ta phải chờ sau xây dựng xong mơ hình chun biệt miền bắt đầu xây dựng máy sinh mã Chúng ta xây dựng ví dụ mơ hình chun biệt miền sử dụng 61 để kiểm tra máy sinh mã Một máy sinh mã chạy với mơ hình ví dụ ta nên thay đổi phần mơ hình xem thay đổi xảy đầu máy sinh mã Bắt đầu từ thay đổi đơn giản tên khái niệm phức tạp cách cho thêm đối tượng mơ hình, từ có thay đổi phù hợp với máy sinh mã Cứ ta có máy sinh mã hồn chỉnh Và muốn thay đổi nâng cấp máy sinh mã, ta làm tương tự bước Chia sẻ trì máy sinh mã: Máy sinh mã liên kết với ngơn ngữ mơ hình mặt liên kết với khuôn khổ miền, môi trường mục tiêu mặt cịn lại Vì vây để q trình mơ đun hóa diễn thuận lợi cần giữ vững mối liên kết Ở giai đoạn bắt đầu viết máy sinh mã liên kết với ngơn ngữ mơ hình thường mạnh nên có cập nhật cho mơ hình ngơn ngữ thường có cập nhật cho máy sinh mã kèm Nếu trường hợp mơ hình ngơn ngữ cập nhật mà máy sinh mã không cập nhật máy sinh mã mơ hình ngơn ngữ phải kèm với Mối liên kết máy sinh mã với khuôn khổ miền đáng ý Những thay đổi khuôn khổ miền dẫn đến thay đổi máy sinh mã Để đồng tất thay đổi thành phần, phải đồng thay đổi vào phiên để tránh nhầm lẫn, sai phiên Kiểm soát phiên máy sinh mã: Chúng ta nên đánh dấu số phiên máy sinh mã để dễ dàng kiểm sốt chúng 3.3.3 Mã nguồn mơ hình EMF.model Mã nguồn mơ hình dự án EMF sinh từ mơ hình genmodel nhờ Genrator dự án EMF, gồm package wml, wml impl, wml.until - wml: gồm tệp java khai báo giao diện (inteface) tương ứng với khái niệm metamodel khai báo kiểu tập hợp (enum) Factory, Package - wml.impl: Gồm tệp java lớp triển khai interface khai báo dự án WebML - wml.util: gồm hai tệp tương ứng với hai lớp WmlAdapterFactory.java WmlSwitch java 62 Hình 3.15: Mã nguồn tự động sinh từ mơ hình WML.genmodel 3.3.4 Các thành phần EMF.edit EMF.editor Nhờ Generator dự án EMF cho phép sinh mã nguồn tự động thành phần EMF.editor EMF.edit Hình 3.16: WML.edit WML.editor sinh từ genmodel 3.3.5 Code Generation (CG) Sau xây dựng mơ hình Mapping Definition Model bước ta tạo mơ hình Generator từ mơ hình Mapping Definition Model sau tạo generate diagram từ mơ hình Generator 63 Hình 3.17: Generate diagram code dự án GMF Kết bước tạo tệp Plugin xml tool DSL cho ứng dụng Web thu từ kết dự án GMF Hình 3.18: Cửa sổ Extensions Plugin xml dự án GMF 64 3.4 Kết DSL cho miền ứng dụng Web Kết dự án GMF WML xây dựng DSL cho miền ứng dụng Web Application Plug-in với Eclipse Hình 3.19: DSL cho miền ứng dụng Web Tóm lại, chương chúng tơi trình bày kết cài đặt cho dự án xây dựng DSML Eclipse cho miền ứng dụng Web gồm có kết dự án EMF, GMF 65 KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN Kết đạt được: Với mục tiêu ban đầu đề tài đặt tìm hiểu DSML, tìm hiểu miền ứng dụng Web để xây dựng metamodel với ngôn ngữ OCL để cài đặt tool use Sau thời gian nghiên cứu đạt kết sau: - Tìm hiểu khái niệm, cơng cụ phương pháp xây dựng ngơn ngữ mơ hình hóa chun biệt miền - Tìm hiểu miền ứn dụng Web, sở lý thuyết nghiên cứu chúng tơi tìm hiểu công cụ Eclipse xây dựng DSML cho miền ứng dụng Web metamodel ngơn ngữ ràng buộc mơ hình OCL Hướng phát triển: - Nghiên cứu tiếp chuyển mơ hình, dự án GMT Eclipse để xây dựng sinh code, sinh documentation - Nghiên cứu tích hợp ngơn ngữ chun biệt miền xây dựng với ngôn ngữ chuyên biệt miền khác 66 TÀI LIỆU THAM KHẢO [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] MetaCase, http://www.metacase.com WebML, http://www.webml.org Robert A Maksimchuk, Michael W Engle, Bobbi J.Young, Ph.D.Jim Conallen, Kelli A Houston Grady Booch, “Object-Oriented Analysis and Design with Applications”, the United States on recycled paper at Courier in Westford, Massachusetts, April, 2007 Sanna Sivonen, "Domain-specific modelling language and code generator for developing repositorybased", VTT Publications, Oulu, research project 2008 Richard C Gronback, “Eclipse Modeling Project A Domain-Specific Language”,United States of America, 2009 Rick Kuhn, "Role Based Access Control" American National Standards, Apr 2003 David Dean, Anna Gerber, Gunnar Wagenknecht, Philippe Vanderheyden Bill Moore, “Eclipse Development using the Graphical Editing Framework and the Eclipse Modeling Framework”, ibm com/redbooks, 2004 Petter Graff Vladimir Bacvanski, “Mastering Eclipse Modeling Framework”, 2005, Elipse Reena Cherukuri Dr Saeed Rajput, Role Based Access Control Models, Slide Elisa Chiarani (UNITN), Edith Felix (THA),Benjamin Fontan (THA), Charles Haley (OU), Fabio Massacci (UNITN), Zoltán Micskei (BME), Bashar Nuseibeh (OU), Federica Paci (UNITN), Thein Tun (OU) Yijun Yu (OU), Dániel Varró (BME) Gábor Bergmann (BME),"Methology For Evolutionary", 1.33, 2010 Beatriz Marín, Oscar Pastor Giovanni Giachetti, "Integration Of Domain Specific Modeling Languages and UML", ©Technomathematics Research Foundation, 2009 Steven Kelly and Juha-Pekka Tolvanen, “Domain-Specific Modeling: Enabling Full Code Generation”, AWiley-Interscience, 2008 Marco Brambilla, Jordi Cabot, and Manuel Wimmer, “Model - Driven Software Engineering in Practic”, Morgan & Claypool Publishers, 2012 and Martin Gogolla(2), “Object Constraint Language (OCL): a Definitive Guide”, (1)INRIA / Ecole des Mines de Nantes (France), (2) University of Bremen (Germany) [15] Group Object Management, "Object Constraint Language", OMG, formal/06-05-01, 2006 [14] Jordi Cabot( 1) ... Vận dụng vào miền ứng dụng Web 2.3.1 Khảo sát miền ứng dụng Web Ngôn ngữ chuyên biệt miền cho ứng dụng Web (Domian Specific Language for Web) hỗ trợ cho việc thiết kế thực ứng dụng liệu web chuyên. .. quan mơ hình hóa chun biệt miền: Giới thiệu tổng quan sở lý thuyết cho mơ hình hóa chun biệt miền Chương Ngơn ngữ mơ hình hóa chun biệt miền cho ứng dụng Web: Trình bày miền ứng dụng Web, xây... ngữ mơ hình hóa chun biệt miền cho ứng dụng Web Bảng khái niệm ngôn ngữ mơ hình hóa chun biệt miền cho ứng dụng Web mô tả bảng [13]: Bảng 2.1 Danh sách khái niệm tạo ứng dụng Web Khái niệm Web Model