Luận văn: Biến đổi mô hình MDA trong xây dựng phần mềm Web - Vũ Thành Trung

Luận văn phân tích kỹ thuật biến đổi mô hình theo hướng MDA để xây dựng phần mềm web. Tổng quan quy trình UWE, các mô hình và ứng dụng thực tế.

• Tác giả: Vũ Thành Trung
• Người hướng dẫn: PGS.TS Huỳnh Quyết Thắng
• Trường học: Đại học Bách Khoa Hà Nội
• Chuyên ngành: Công Nghệ Thông Tin và Truyền Thông
• Đề tài: Kỹ thuật biến đổi mô hình cho web
• Loại tài liệu: Luận văn thạc sĩ kỹ thuật
• Địa điểm: Hà Nội

Tóm tắt

I. Giới thiệu về MDA và Kỹ thuật Biến đổi Mô hình

MDA (Model-Driven Architecture) là một phương pháp tiếp cận phát triển phần mềm hiện đại, tập trung vào việc sử dụng mô hình làm trung tâm của quá trình phát triển. Kỹ thuật biến đổi mô hình trong MDA cho phép các lập trình viên chuyển đổi từ các mô hình độc lập nền tảng (PIM) sang mô hình phụ thuộc nền tảng (PSM), từ đó tạo ra mã nguồn tự động. Điều này giúp giảm thời gian phát triển, tăng chất lượng phần mềm và đảm bảo tính nhất quán trong toàn bộ dự án web. Luận văn MDA của học viên Vũ Thành Trung dưới hướng dẫn của PGS.TS Huỳnh Quyết Thắng tập trung vào việc ứng dụng các kỹ thuật này trong xây dựng ứng dụng web hiện đại.

1.1. Khái niệm MDA và vai trò của nó

MDA là kiến trúc hướng mô hình giúp tách biệt logic ứng dụng khỏi công nghệ cụ thể. Kỹ thuật biến đổi mô hình trong MDA cho phép tự động hóa quá trình từ thiết kế đến triển khai. Điều này đặc biệt hữu ích trong phát triển ứng dụng web, nơi mà các yêu cầu thay đổi nhanh chóng và công nghệ liên tục phát triển.

1.2. Lợi ích của phương pháp MDA trong phát triển web

Phương pháp MDA mang lại nhiều lợi ích: giảm chi phí phát triển, tăng năng suất, cải thiện chất lượng code, và dễ bảo trì. Biến đổi mô hình tự động giúp giảm lỗi nhân công và đảm bảo tính nhất quán của toàn bộ hệ thống.

II. Các Cấp độ Mô hình trong MDA

Trong kiến trúc MDA, tồn tại ba cấp độ mô hình chính: CIM (Computation Independent Model), PIM (Platform Independent Model), và PSM (Platform Specific Model). Mỗi cấp độ đóng một vai trò quan trọng trong quá trình phát triển ứng dụng web. CIM mô tả các yêu cầu kinh doanh mà không cần quan tâm đến các chi tiết kỹ thuật. PIM tập trung vào chức năng ứng dụng mà không phụ thuộc vào nền tảng cụ thể. PSM là mô hình chi tiết, phụ thuộc vào công nghệ và nền tảng cụ thể như Java, .NET hay các framework web khác. Quá trình chuyển đổi giữa các cấp độ mô hình là nền tảng của kỹ thuật biến đổi mô hình trong MDA.

2.1. Mô hình Độc lập Tính toán CIM

CIM là mô hình ở mức cao nhất, mô tả các yêu cầu kinh doanh và quy trình. Nó không chứa bất kỳ chi tiết kỹ thuật hoặc công nghệ nào. CIM giúp các nhà phân tích kinh doanh và kỹ sư phần mềm giao tiếp hiệu quả về các yêu cầu của ứng dụng web.

2.2. Mô hình Độc lập Nền tảng PIM và Mô hình Phụ thuộc Nền tảng PSM

PIM là mô hình thiết kế độc lập với công nghệ cụ thể, bao gồm các biểu đồ UML chi tiết. PSM được tạo ra bằng cách áp dụng các quy tắc biến đổi mô hình, chứa các chi tiết triển khai cụ thể cho nền tảng đã chọn như JSP hoặc framework web.

III. Kỹ thuật Biến đổi Mô hình và Công cụ QVT

Kỹ thuật biến đổi mô hình là quá trình chuyển đổi tự động từ một mô hình này sang mô hình khác. Công cụ QVT (Query/View/Transformation) là chuẩn OMG được sử dụng để định nghĩa các quy tắc biến đổi. QVT cung cấp ngôn ngữ mạnh mẽ cho phép kỹ sư xác định cách thức chuyển đổi các yếu tố từ PIM sang PSM. Các phép biến đổi mô hình bao gồm: chuyển đổi cấu trúc, chuyển đổi hành vi, và tối ưu hóa mô hình. Luận văn chuyên sâu vào các quy tắc biến đổi, phạm vi áp dụng, và chiến lược thực hiện để đảm bảo tính chính xác và hiệu quả của biến đổi mô hình trong phát triển ứng dụng web.

3.1. Ngôn ngữ QVT và các đặc tính của phép biến đổi

QVT cung cấp cú pháp khai báo để định nghĩa quy tắc chuyển đổi mô hình. Các đặc tính quan trọng bao gồm: tính truy vết, tính khả bảo trì, và tính tổ chức. Phép biến đổi phải đảm bảo rằng mô hình đích được tạo ra chính xác từ mô hình nguồn.

3.2. Quy tắc biến đổi và chiến lược áp dụng

Các quy tắc biến đổi xác định cách các yếu tố từ mô hình nguồn được ánh xạ đến mô hình đích. Chiến lược áp dụng quy tắc bao gồm: tuần tự, song song, hoặc có điều kiện. Điều phối quy tắc và tổ chức chúng giúp quản lý độ phức tạp của biến đổi mô hình trong các dự án web lớn.

IV. Ứng dụng UWE trong Phát triển Web Hướng Mô hình

UWE (UML-based Web Engineering) là kỹ thuật web hướng mô hình, mở rộng UML để cung cấp một phương pháp toàn diện cho phát triển ứng dụng web. UWE kết hợp kỹ thuật biến đổi mô hình với các mô hình cụ thể như: 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. Metamodel của UWE định nghĩa cấu trúc các phần tử web và cách chúng tương tác. Luận văn trình bày chi tiết quá trình áp dụng UWE thông qua ứng dụng thực tế NICE-LINK, demonstrating how model transformations automate the generation of web application components từ các mô hình thiết kế.

4.1. Quy trình UWE và các mô hình trong phát triển web

Quy trình UWE bao gồm các bước: phân tích yêu cầu, tạo mô hình nội dung, điều hướng, xử lý, và trình bày. Mỗi mô hình được tạo ra từ mô hình trước đó thông qua biến đổi mô hình. Các biểu đồ như Use Case, Activity, và Class giúp trực quan hóa các khía cạnh khác nhau của ứng dụng web.

4.2. Các phép biến đổi mô hình trong UWE và metamodel

Các phép biến đổi trong UWE chuyển đổi các mô hình trừu tượng thành các mô hình cụ thể hơn. Metamodel UWE cung cấp định nghĩa hình thức của các phần tử web. Biến đổi từ mô hình sang siêu mô hình cho phép xác thực và tối ưu hóa các thiết kế trước khi triển khai thực tế.

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

Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----. MỤC LỤC LOI CAM DOAN. LOI CAM ON. DANH MUC CAC TU VIET TAT.

DANH MỤC HÌNH VẼ. DANH MỤC CÁC BANG. MO DAU CHUONG 1.KY THUAT PHAT TRIEN UNG DUNG WEB HUONG MO HiINH " 15 1.2 MÔ HÌNH HÓA ỨNG DỤNG WEBI2] 15 1. H2 guz2ng ụ x gi dã ra 1.2 Cac giai doan.

ovens tung roe 17 1.3 NGÔN NGỮ MÔ HÌNH HÓA THÓNG NHẬT (UML) 19 1.1 Lịch sử UML 19 1.2 Ưu điểm của UML .4 CAC KY THUAT WEB HUGNG MO HINH 20 1.1 Kỹ thuật Web dựa trén (UWE).3 Một só phương pháp kỹ thuật web khác 25 1.4 So sánh và phân tích các kỹ thuật web hướng mô hình[49],. KET LUAN 31 1 Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----. KY THUAT BIEN DOI MO HINH TRONG XAY DUNG PHAN MEM HUGNG MO HINB. CAC MUC MDA 2.1 Mô hình Độc lập Tính toán (CIM-Computation Independent Mode).2 Mô hình Độc lập Nên tảng (PTM-Platfomm Independent Model) 2.3 Mô hình Phụ thuộc Nên tang (PSM-Platform Specific Model) 2.

TONG QUAT VE CHUYEN DOI MO HÌNH TRONG MDA 2. TRUY VAN, CAC KHUNG NHIN VA CAC PHÉP CHUYỀN ĐỎI (QUERY, VIEWS, TRANSFORMATIONS) 2. PHÂN LOẠI NGÔN NGỮ QVT 2. Các Đặc tính của các Phép chuyên đổi Mô hình 2.

Các Quy tắc Chuyển đổi. Phạm vi áp dụng quy tắc. Mỗi quan hệ giữa các mô hình nguồn và đích. Chiến lược áp dụng quy tắc 2.

Điều phôi Quy tắc 2. Tổ chức Quy tắc 2. Tỉnh khả truy vết. QUY TRINH UWE VA CAC MÔ HÌNH 2.

Tổng quan Quy trình. Các mô hình trong UWE (Phụ lục B. CÁC PHÉP BIÊN ĐỎI MÔ HÌNH TRONG UWE 2. Xây dựng các Mô hình Thiết kế 2.

Tạo một Mô hình được Tích hợp 2. UWE TRONG VIEC THIET KE WEB HUONG MÔ HÌNH (PHỤ LỤC B.2) 2 Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----. UWE Metamodel ~ Mô hình của mô hình UWE. Mô hình sang siêu mô hình trong UWE.

KẾT LUẬN 65 CHƯƠNG 3. ÁP DỤNG XÂY DỰNG UNG DUNG WEB. GIỚI THIỆU VẺ ỨNG DỤNG NICE-LINK 67 3. Các chức năng chung của ứng dụng.

PHAN TICH YEU CAU 68 3.1 Biểu đồ Use Case của ứng dụng Nice-Link (Use Case Diagram) 69 3.2, Biểu đồ hoạt déng (Activity Diagram). Mô hình nội dung (Content) ° T3 3. Mô hình điều hướng (Navigation). se ce TS 3.

Mô hình xử lý (Proeess). Mô hình biểu điện (Presentation). TÀI LIỆU THAM KHẢO.1 CÁC MÔ HÌNH CUA CA HE THONG.1 Biểu đồ Use Case.2 Bidu dé Activity .2 GIAO DIEN UNG DUN 100 A.1 Giao điện trang chữ.4 Trang cả nhân oo Ses eT ey OE TE crsey er OS) Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----. 1S Information System GUI Graphical User Interface WebSA Web Software Architecture ISP Java Server Pages POJO Plain Old Java Objects ATL The Active Template Library HTML HyperText Markup Language Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----.

LỜI CẢM ƠN Với lòng biết ơn sâu sắc nhất, em xin được gửi lời cảm ơn đến các Quý Thây/Cô đã giảng dạy trong chương trình đảo tạo thạc sỹ, viên Công Nghệ Thông Tin và Truyền Thông, Đại học Bách Khoa Hà Nội, đã củng với trí thức vả tâm huyết của minh để truyền đạt vốn kiến thức quý báu cho em trong suốt thời gian học tập tại trường. Đây là vôn kiến thức thực sự hữu ích, không chỉ làm nên tảng cho quá trình nghiên cửu khỏa luận, mả cỏn lả hành trang giúp em vững bước trên con đường hoạt đông trong lĩnh vực Công nghệ thông tin nói riêng và trong cuộc sống nói chung. Em xin chân thành cảm ơn PGS. Huỳnh Quyết Thắng ~ người đã tận tâm.

hướng dân cho em thực hiện luận văn. Nếu không có những lời hướng dẫn, dạy bảo của thây thì em nghĩ luân văn này của em rất khó có thể hoàn thiên được. Một lần nữa, em xin chân thành cảm ơn thây. Cuối cùng em xin gửi lời biết ơn sâu sắc đến gia đình vả bạn bẻ — những người đã luôn bên cạnh giúp đỡ vả tạo điều kiện tốt nhất cho tôi trong suốt quả trình học tập cũng như thực hiện luân văn.

Do thời gian có hạn và kinh nghiệm nghiên cửu khoa học chưa nhiều nên luận văn còn nhiều thiếu sót, rất mong nhận được ÿ kiến gỏp ÿ của Quý Thày/Cô và các bạn học viên. —————- Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----. 1S Information System GUI Graphical User Interface WebSA Web Software Architecture ISP Java Server Pages POJO Plain Old Java Objects ATL The Active Template Library HTML HyperText Markup Language Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----. LỜI CAM ĐOAN Tôi xin cam đoan đây là công trình nghiên cứu của riêng tôi, được thực hiện dưới sự hướng dẫn khoa học của PGS.TS Huỳnh Quyết Thắng.

Nội dung nghiên cứu và kết quả nêu trong luận văn là hoản toàn trung thực, được tôi tông hợp, bỏ sung vả biên soạn theo sự hiểu biết của minh sau khi nghiên cửu. được từ các tải liệu tham khảo như sách, bải báo khoa học, luận văn, và dữ liệu từ các trang Web uy tin. Tác giả luận văn xin cam đoan rằng mọi sự giúp đỡ cho việc thực hiện Luan văn nay da được cảm ơn và các thông tin trích dân trong Luân văn đã được chỉ rõ nguồn gốc Tác giả luận văn xi chịu trách nhiệm về nghiên cứu của mình. Hà Nội, tháng _, năm 2015 Học viên (ký và ghi rõ họ tên) SHS HS].

S$] 5 Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----. LỜI CAM ĐOAN Tôi xin cam đoan đây là công trình nghiên cứu của riêng tôi, được thực hiện dưới sự hướng dẫn khoa học của PGS.TS Huỳnh Quyết Thắng. Nội dung nghiên cứu và kết quả nêu trong luận văn là hoản toàn trung thực, được tôi tông hợp, bỏ sung vả biên soạn theo sự hiểu biết của minh sau khi nghiên cửu. được từ các tải liệu tham khảo như sách, bải báo khoa học, luận văn, và dữ liệu từ các trang Web uy tin.

Tác giả luận văn xin cam đoan rằng mọi sự giúp đỡ cho việc thực hiện Luan văn nay da được cảm ơn và các thông tin trích dân trong Luân văn đã được chỉ rõ nguồn gốc Tác giả luận văn xi chịu trách nhiệm về nghiên cứu của mình. Hà Nội, tháng _, năm 2015 Học viên (ký và ghi rõ họ tên) SHS HS]. S$] 5 Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----.5 Trang search cho người dùng đã LOG-TN 103 A.6 Gửi tin nhắn cho người dùng khác.7 Nhận tin nhắn TH HH HH0 HH HH HH HH. HH HH0 HH HH ước 104 PHU LUCB.1 CAC MO HINH TRONG UWE 105 B1.

M6 hinh cae Yêu cầu 105 B. Cae M6 hinh Thiet ke. Các Mô hình Kiến trúc và Mô hình Cài đặt 110 'B.2 Cách sử dụng UWE để thiết kế ứng dụng web 110 B. Mỗi trường thực thi (Runtime Environment) 13 B.

Content và Navigation.119 ———————- Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----. LỜI CAM ĐOAN Tôi xin cam đoan đây là công trình nghiên cứu của riêng tôi, được thực hiện dưới sự hướng dẫn khoa học của PGS.TS Huỳnh Quyết Thắng. Nội dung nghiên cứu và kết quả nêu trong luận văn là hoản toàn trung thực, được tôi tông hợp, bỏ sung vả biên soạn theo sự hiểu biết của minh sau khi nghiên cửu. được từ các tải liệu tham khảo như sách, bải báo khoa học, luận văn, và dữ liệu từ các trang Web uy tin.

Tác giả luận văn xin cam đoan rằng mọi sự giúp đỡ cho việc thực hiện Luan văn nay da được cảm ơn và các thông tin trích dân trong Luân văn đã được chỉ rõ nguồn gốc Tác giả luận văn xi chịu trách nhiệm về nghiên cứu của mình. Hà Nội, tháng _, năm 2015 Học viên (ký và ghi rõ họ tên) SHS HS]. S$] 5 Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----. LỜI CAM ĐOAN Tôi xin cam đoan đây là công trình nghiên cứu của riêng tôi, được thực hiện dưới sự hướng dẫn khoa học của PGS.TS Huỳnh Quyết Thắng.

Nội dung nghiên cứu và kết quả nêu trong luận văn là hoản toàn trung thực, được tôi tông hợp, bỏ sung vả biên soạn theo sự hiểu biết của minh sau khi nghiên cửu. được từ các tải liệu tham khảo như sách, bải báo khoa học, luận văn, và dữ liệu từ các trang Web uy tin. Tác giả luận văn xin cam đoan rằng mọi sự giúp đỡ cho việc thực hiện Luan văn nay da được cảm ơn và các thông tin trích dân trong Luân văn đã được chỉ rõ nguồn gốc Tác giả luận văn xi chịu trách nhiệm về nghiên cứu của mình. Hà Nội, tháng _, năm 2015 Học viên (ký và ghi rõ họ tên) SHS HS].

S$] 5 Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----.5 Trang search cho người dùng đã LOG-TN 103 A.6 Gửi tin nhắn cho người dùng khác.7 Nhận tin nhắn TH HH HH0 HH HH HH HH. HH HH0 HH HH ước 104 PHU LUCB.1 CAC MO HINH TRONG UWE 105 B1. M6 hinh cae Yêu cầu 105 B. Cae M6 hinh Thiet ke.

Các Mô hình Kiến trúc và Mô hình Cài đặt 110 'B.2 Cách sử dụng UWE để thiết kế ứng dụng web 110 B. Mỗi trường thực thi (Runtime Environment) 13 B. Content và Navigation.119 ———————- Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----. DANH MUC CAC TU VIET TAT Chữ viết tắt Chú giải UML Unified Modeling Language WebML Web Markup Language WebRE Web requirements MDA Model-Driven Architecture DFD data flow diagram TCP Internet protocol suite UWE UML-based Web Engineering CIM Computation Independent Mode PIM Platform Independent Model PSM Platform Specific Model MDD Model-Driven Development OMG Object Management Group MDWD model-driven Web Development OOES Object Oriented Software Engineering OMT (Object Modeling Technique XMI XML Metadata Interchange OCL Object Constraint Language QT Query/View/Transformation OOHDM Object-Oriented Hypermedia Design Method WSDM Web Site Design Method OO Object-Oriented O00-H Object-Oriented Hypermedia NAD Navigation Access Diagram BPMN Business Process Model and Notation —————- Học viên: Vũ Thành Trung Luận văn thạc sĩ kỹ thuật GVHD: PGS.TS Huỳnh Quyết Thắng =——=—=—=—=———ễ—--—----.

DANH MỤC HÌNH VẼ Hình 1.] Mô hình ửng dụng web[2]. TH TH Hư HH Hư ước 16 Hình 1.2: Phân tích và thiết kế của mô hình ứng dụng web : " Hình 1.3 : Các mô hình xây dựng trong Quy trình Tổng quát của quả trình tiếp cân Kỹ thuật web dựa trên ƯML .1: Các mức trừu tượng cơ bản trong MDA [3].2: Quy trình chuyển đổi MDA tổng quát.