CÁC KỸ THUẬT CHUYỂN ĐỔI MÔ HÌNH VÀ SINH MÃ TRONG PHÁT TRIỂN ỨNG DỤNG WEB

Khám phá 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 để tối ưu hóa quy trình lập trình.

• Tác giả: Trần Đình Diễn
• Người hướng dẫn: PGS. Huỳnh Quyết Thắng
• Trường học: Đại học Bách Khoa Hà Nội
• Chuyên ngành: Kỹ thuật phần mềm
• Đề tài: Kỹ Thuật Chuyển Đổi Mô Hình và Sinh Mã trong Phát Triển Ứng Dụng Web
• Loại tài liệu: luận án tiến sĩ
• Năm xuất bản: 2022
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CAM ĐOAN
• LỜI CẢM ƠN

Tóm tắt

I. Tổng Quan Kỹ Thuật Chuyển Đổi Mô Hình và Sinh Mã Web

Công nghiệp phần mềm ngày càng đóng vai trò quan trọng trong sự phát triển kinh tế xã hội. Tuy nhiên, phát triển phần mềm truyền thống đối mặt với nhiều thách thức như tính khả chuyển, khả năng tương tác và sự phát triển nhanh chóng của công nghệ. Phát triển phần mềm hướng mô hình (MDSD) nổi lên như một giải pháp, sử dụng các mô hình làm tác nhân chính trong vòng đời phát triển ứng dụng, giảm sự phụ thuộc vào nền tảng công nghệ. Kỹ thuật hướng mô hình (MDE) giúp giải quyết sự phức tạp của các nền tảng công nghệ khác nhau. Quá trình phát triển phần mềm hướng mô hình được xem như một chuỗi các chuyển đổi mô hình, trong đó chuyển đổi mô hình đóng vai trò quan trọng. Các nghiên cứu chứng minh rằng phương pháp sinh mã hướng mô hình tăng tốc độ tổng thể từ 3 đến 10 lần, giảm yếu tố con người và thời gian phát triển ứng dụng web.

1.1. Giới Thiệu Phát Triển Ứng Dụng Web Hướng Mô Hình MDWE

Phát triển ứng dụng web hướng mô hình (MDWE) là một phương pháp tiếp cận hiệu quả để xây dựng các ứng dụng web phức tạp. Nó cho phép các nhà phát triển tập trung vào các khía cạnh quan trọng của ứng dụng, chẳng hạn như yêu cầu nghiệp vụ và kiến trúc, thay vì phải lo lắng về các chi tiết triển khai cụ thể. MDWE sử dụng các mô hình để mô tả các khía cạnh khác nhau của ứng dụng, chẳng hạn như cấu trúc dữ liệu, giao diện người dùng và logic nghiệp vụ. Các mô hình này sau đó được sử dụng để tự động tạo mã nguồn cho ứng dụng. Điều này giúp giảm thời gian và chi phí phát triển, đồng thời cải thiện chất lượng của ứng dụng.

1.2. Vai Trò của Sinh Mã Tự Động trong MDWE

Sinh mã tự động là một thành phần quan trọng của MDWE. Nó cho phép các nhà phát triển tự động tạo mã nguồn từ các mô hình, giúp giảm thời gian và công sức cần thiết để phát triển ứng dụng. Sinh mã tự động cũng giúp cải thiện chất lượng của ứng dụng bằng cách đảm bảo rằng mã nguồn được tạo ra tuân thủ các tiêu chuẩn và quy tắc nhất quán. Các nghiên cứu đã chỉ ra rằng việc sử dụng sinh mã tự động có thể giúp tăng tốc độ phát triển ứng dụng lên đến 10 lần.

II. Thách Thức và Vấn Đề trong Chuyển Đổi Mô Hình Web

Mặc dù phát triển phần mềm hướng mô hình (MDSD) và sinh mã tự động mang lại nhiều lợi ích, nhưng vẫn còn tồn tại một số thách thức. Một trong những thách thức lớn nhất là đảm bảo tính nhất quán giữa các mô hình khác nhau và mã nguồn được tạo ra. Khi các mô hình thay đổi, mã nguồn cũng cần phải được cập nhật để phản ánh những thay đổi đó. Quá trình này có thể tốn thời gian và dễ xảy ra lỗi nếu không được thực hiện cẩn thận. Ngoài ra, việc lựa chọn công cụ và kỹ thuật chuyển đổi mô hình phù hợp cũng là một thách thức. Có rất nhiều công cụ và kỹ thuật khác nhau có sẵn, và việc lựa chọn công cụ và kỹ thuật phù hợp cho một dự án cụ thể có thể là một nhiệm vụ khó khăn.

2.1. Khó Khăn trong Duy Trì Tính Nhất Quán Mô Hình

Việc duy trì tính nhất quán giữa các mô hình khác nhau trong quá trình phát triển ứng dụng web là một thách thức lớn. Khi các mô hình thay đổi, cần phải đảm bảo rằng tất cả các mô hình khác đều được cập nhật để phản ánh những thay đổi đó. Nếu không, có thể dẫn đến các lỗi và sự không nhất quán trong ứng dụng. Để giải quyết vấn đề này, cần phải có một quy trình quản lý thay đổi hiệu quả và các công cụ hỗ trợ tự động hóa quá trình cập nhật mô hình.

2.2. Lựa Chọn Công Cụ Chuyển Đổi Mô Hình Phù Hợp

Việc lựa chọn công cụ chuyển đổi mô hình phù hợp là một yếu tố quan trọng để đảm bảo thành công của một dự án phát triển ứng dụng web hướng mô hình. Có rất nhiều công cụ khác nhau có sẵn, mỗi công cụ có những ưu điểm và nhược điểm riêng. Cần phải xem xét các yêu cầu cụ thể của dự án để lựa chọn công cụ phù hợp nhất. Các yếu tố cần xem xét bao gồm: khả năng hỗ trợ các loại mô hình khác nhau, khả năng tùy chỉnh, hiệu suất và chi phí.

2.3. Hạn Chế trong Sinh Mã Tự Động Hoàn Toàn

Mặc dù sinh mã tự động có thể giúp giảm thời gian và công sức cần thiết để phát triển ứng dụng, nhưng nó không thể thay thế hoàn toàn cho việc lập trình thủ công. Trong một số trường hợp, cần phải viết mã thủ công để giải quyết các vấn đề phức tạp hoặc để tối ưu hóa hiệu suất của ứng dụng. Do đó, cần phải có một sự cân bằng giữa sinh mã tự động và lập trình thủ công để đạt được kết quả tốt nhất.

III. Phương Pháp UWE và Ứng Dụng trong Phát Triển Web

Trong số các phương pháp phát triển ứng dụng web hướng mô hình hiện nay, UWE (UML-based Web Engineering) là một hướng tiếp cận cho phép phát triển ứng dụng web hướng mô hình dựa trên kiến trúc MDA. UWE cung cấp một quy trình và công cụ, giúp mô hình hoá và xây dựng các ứng dụng web, do nhóm nghiên cứu trường đại học LMU, Đức thực hiện với mục đích tự động hoá quy trình phát triển ứng dụng web và 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 một tập các mô hình tương ứng với từng khía cạnh của ứng dụng web bao gồm: Mô hình yêu cầu, mô hình nội dung, mô hình điều hướng, mô hình xử lý, mô hình trình bày và sử dụng biểu đồ UML 2.0 cho việc mô hình hoá. Một trong những ưu điểm quan trọng của UWE là tất cả các mô hình của nó đều là phần mở rộng của UML. UWE sử dụng ký pháp đồ họa hoàn toàn dựa trên UML. Nó cho phép sử dụng các công cụ dựa trên UML và giảm thiểu thời gian nghiên cứu của các nhà phát triển Web, những người đã quen thuộc với UML.

3.1. Kiến Trúc MDA và Vai Trò của UWE

Kiến trúc MDA (Model-Driven Architecture) là một phương pháp phát triển phần mềm dựa trên mô hình, trong đó các mô hình được sử dụng để mô tả các khía cạnh khác nhau của hệ thống. UWE là một phương pháp phát triển ứng dụng web dựa trên MDA, sử dụng UML để mô hình hóa các khía cạnh khác nhau của ứng dụng web. UWE cung cấp một quy trình phát triển ứng dụng web có cấu trúc, từ giai đoạn phân tích yêu cầu đến giai đoạn triển khai và bảo trì.

3.2. Các Mô Hình Chính trong UWE Yêu Cầu Nội Dung Điều Hướng

UWE sử dụng một số mô hình chính để mô tả các khía cạnh khác nhau của ứng dụng web. Các mô hình này bao gồm: mô hình yêu cầu (mô tả các yêu cầu của người dùng đối với ứng dụng), mô hình nội dung (mô tả cấu trúc dữ liệu của ứng dụng), mô hình điều hướng (mô tả cách người dùng có thể điều hướng trong ứng dụng), mô hình xử lý (mô tả logic nghiệp vụ của ứng dụng) và mô hình trình bày (mô tả giao diện người dùng của ứng dụng). Các mô hình này được sử dụng để tự động tạo mã nguồn cho ứng dụng.

3.3. Ưu Điểm của UWE so với Các Phương Pháp Khác

UWE có một số ưu điểm so với các phương pháp phát triển ứng dụng web khác. Thứ nhất, UWE dựa trên UML, một ngôn ngữ mô hình hóa tiêu chuẩn được sử dụng rộng rãi trong ngành công nghiệp phần mềm. Điều này giúp các nhà phát triển dễ dàng học và sử dụng UWE. Thứ hai, UWE cung cấp một quy trình phát triển ứng dụng web có cấu trúc, giúp đảm bảo rằng các ứng dụng web được phát triển theo một cách nhất quán và có thể bảo trì được. Thứ ba, UWE hỗ trợ sinh mã tự động, giúp giảm thời gian và chi phí phát triển ứng dụng web.

IV. Kỹ Thuật Chuyển Đổi Mô Hình Tự Động với Ngôn Ngữ ATL

Để giải quyết các thách thức trong chuyển đổi mô hình, nghiên cứu tập trung vào 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 năng suất, tiết kiệm thời gian và chi phí cho ứng dụng web. Điều này giúp phát triển ứng dụng web đơn giản, linh hoạt, nhanh chóng và hiệu quả hơn. Hướng tiếp cận của đề tài là phát triển bộ quy tắc chuyển đổi model to model và mode to code theo phương pháp UWE, xây dựng công cụ CODEGER-UWE để hỗ trợ phát triển các ứng dụng Web theo kiến trúc MVC. Phương pháp dựa trên việc tạo mô hình yêu cầu ở mức mô hình độc lập tính toán (CIM), sau đó xây dựng các quy tắc chuyển đổi, để chuyển đổi sang mức mô hình độc lập nền tảng (PIM) và mô hình nền cụ thể (PSM), từ đó sinh code tự động cho ứng dụng web theo kiến trúc MVC.

4.1. Giới Thiệu Ngôn Ngữ Chuyển Đổi Mô Hình ATL

ATL (ATLAS Transformation Language) là một ngôn ngữ chuyển đổi mô hình được sử dụng rộng rãi trong cộng đồng phát triển phần mềm hướng mô hình. ATL cho phép các nhà phát triển định nghĩa các quy tắc chuyển đổi giữa các mô hình khác nhau, giúp tự động hóa quá trình chuyển đổi mô hình. ATL có một số ưu điểm so với các ngôn ngữ chuyển đổi mô hình khác, bao gồm: cú pháp đơn giản và dễ học, khả năng mở rộng và khả năng tích hợp với các công cụ phát triển phần mềm khác.

4.2. Xây Dựng Quy Tắc Chuyển Đổi Mô Hình với ATL

Việc xây dựng các quy tắc chuyển đổi mô hình với ATL đòi hỏi một sự hiểu biết sâu sắc về các mô hình nguồn và đích. Các quy tắc chuyển đổi phải được định nghĩa một cách chính xác để đảm bảo rằng các mô hình đích được tạo ra là chính xác và nhất quán với các mô hình nguồn. ATL cung cấp một số tính năng giúp các nhà phát triển xây dựng các quy tắc chuyển đổi hiệu quả, bao gồm: khả năng truy vấn các mô hình nguồn, khả năng tạo các mô hình đích và khả năng thực hiện các phép biến đổi trên các mô hình.

4.3. Ứng Dụng ATL trong Chuyển Đổi CIM sang PIM và PSM

ATL có thể được sử dụng để chuyển đổi các mô hình từ mức CIM sang PIM và PSM. Quá trình này bao gồm việc định nghĩa các quy tắc chuyển đổi giữa các mô hình CIM, PIM và PSM. Các quy tắc chuyển đổi này sẽ tự động tạo các mô hình PIM và PSM từ các mô hình CIM. Điều này giúp giảm thời gian và công sức cần thiết để phát triển ứng dụng web, đồng thời cải thiện chất lượng của ứng dụng.

V. Sinh Mã Tự Động và Kiến Trúc MVC trong Ứng Dụng Web

Sinh mã tự động là nền tảng thiết yếu của các 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 quả hơn, hứa hẹn sẽ là một bước tiến mới trong phát triển phần mềm, giúp lập trình viên nâng cao được hiệu suất làm việc và ngày càng được sử dụng nhiều trong tiến trình phát triển phần mềm. Các ứng dụng Web bao gồm nhiều thành phần khác nhau, có thể được cung cấp bởi những nhà phát triển khác nhau, nên việc sử dụng các kỹ thuật phát triển phần mềm hướng mô hình cho các ứng dụng web đặc biệt hữu ích.

5.1. Tầm Quan Trọng của Sinh Mã Tự Động trong MDWE

Sinh mã tự động đóng vai trò then chốt trong việc hiện thực hóa các lợi ích của MDWE. Bằng cách tự động tạo mã nguồn từ các mô hình, sinh mã tự động giúp giảm đáng kể thời gian và công sức cần thiết để phát triển ứng dụng web. Điều này cho phép các nhà phát triển tập trung vào các khía cạnh quan trọng hơn của ứng dụng, chẳng hạn như yêu cầu nghiệp vụ và trải nghiệm người dùng.

5.2. Kiến Trúc MVC và Ứng Dụng trong Sinh Mã Web

Kiến trúc MVC (Model-View-Controller) là một mô hình kiến trúc phần mềm phổ biến được sử dụng để phát triển các ứng dụng web. MVC chia ứng dụng thành ba thành phần chính: Model (mô tả dữ liệu của ứng dụng), View (mô tả giao diện người dùng của ứng dụng) và Controller (xử lý các yêu cầu của người dùng và cập nhật Model và View). MVC giúp cải thiện khả năng bảo trì và mở rộng của ứng dụng web. Sinh mã tự động có thể được sử dụng để tạo mã nguồn cho các thành phần Model, View và Controller của ứng dụng web.

5.3. Công Cụ CODEGER UWE và Khả Năng Sinh Mã MVC

Công cụ CODEGER-UWE được xây dựng để hỗ trợ phát triển các ứng dụng web theo kiến trúc MVC. CODEGER-UWE cung cấp các tính năng để tạo các mô hình CIM, PIM và PSM, cũng như các quy tắc chuyển đổi giữa các mô hình. CODEGER-UWE cũng cung cấp các tính năng để sinh mã tự động cho các thành phần Model, View và Controller của ứng dụng web. Điều này giúp các nhà phát triển dễ dàng xây dựng các ứng dụng web theo kiến trúc MVC.

VI. Kết Quả Nghiên Cứu và Ứng Dụng Thực Tế Bệnh Thủy Sản

Nghiên cứu áp dụng phát triển ứng dụng web Chẩn đoán bệnh thủy sản “benhthuysan”. Phương pháp tiếp cận giúp đảm bảo tính thống nhất giữa các mô hình sau khi chuyển đổi, góp phần đảm bảo hiệu quả chuyển đổi mô hình và sinh code tự động cho phát triển ứng dụng Web hướng mô hình theo kiến trúc MVC. Các quy tắc chuyển đổi của nghiên cứu được xây dựng với ngôn ngữ chuyển đổi mô hình (ATL).

6.1. Ứng Dụng CODEGER UWE vào Phát Triển Ứng Dụng Thực Tế

Để đánh giá tính khả thi và hiệu quả của phương pháp đề xuất, nghiên cứu đã áp dụng CODEGER-UWE vào phát triển ứng dụng web Chẩn đoán bệnh thủy sản “benhthuysan”. Ứng dụng này cho phép người dùng tìm kiếm thông tin về các loại bệnh thủy sản khác nhau, cũng như các phương pháp điều trị bệnh. Ứng dụng được phát triển theo kiến trúc MVC, với các thành phần Model, View và Controller được sinh tự động từ các mô hình UWE.

6.2. Đánh Giá Hiệu Quả Chuyển Đổi Mô Hình và Sinh Mã

Kết quả đánh giá cho thấy rằng phương pháp đề xuất có thể giúp giảm đáng kể thời gian và công sức cần thiết để phát triển ứng dụng web. Việc sinh mã tự động giúp giảm thiểu các lỗi lập trình và đảm bảo rằng ứng dụng được phát triển theo một cách nhất quán. Ngoài ra, phương pháp đề xuất cũng giúp cải thiện khả năng bảo trì và mở rộng của ứng dụng web.

6.3. Hướng Phát Triển và Nghiên Cứu Tiếp Theo

Nghiên cứu này đã chứng minh tính khả thi và hiệu quả của việc sử dụng các kỹ thuật chuyển đổi mô hình và sinh mã tự động trong phát triển ứng dụng web. Tuy nhiên, vẫn còn nhiều hướng phát triển và nghiên cứu tiếp theo. Một trong những hướng phát triển quan trọng là cải thiện khả năng tùy chỉnh của các quy tắc chuyển đổi mô hình và sinh mã. Điều này sẽ cho phép các nhà phát triển tạo ra các ứng dụng web phù hợp hơn với các yêu cầu cụ thể của họ. Ngoài ra, cần phải nghiên cứu các kỹ thuật mới để chuyển đổi các mô hình phức tạp hơn và sinh mã cho các nền tảng khác nhau.

Nội dung chính

Tổng quan luận án

Luận án tiến sĩ kỹ thuật phần mềm của nghiên cứu sinh Trần Đình Diễn với đề tài "Các kỹ thuật chuyển đổi mô hình và sinh mã trong phát triển ứng dụng web hướng mô hình", được thực hiện tại Trường Đại học Bách khoa Hà Nội dưới sự hướng dẫn khoa học của PGS. Huỳnh Quyết Thắng và PGS. Cao Tuấn Dũng (bảo vệ năm 2022, chuyên ngành Kỹ thuật phần mềm, mã số 9480103).

Tính cấp thiết và khoảng trống nghiên cứu

Trong quy trình phát triển phần mềm truyền thống, các nhà phát triển phải đối mặt với sự thay đổi liên tục của các nền tảng công nghệ mới, đòi hỏi nhiều thời gian và công sức để điều chỉnh ứng dụng thủ công qua việc sửa đổi trực tiếp mã nguồn. Phát triển phần mềm hướng mô hình (Model-Driven Software Development - MDSD / Model-Driven Engineering - MDE) và Kiến trúc hướng mô hình (Model-Driven Architecture - MDA) của Tổ chức Quản lý Đối tượng (OMG) đã ra đời nhằm giải quyết sự phức tạp này bằng cách đặt các mô hình làm tác nhân chính xuyên suốt vòng đời phát triển.

Trong các phương pháp phát triển ứng dụng web hướng mô hình, phương pháp UWE (UML-based Web Engineering) do nhóm nghiên cứu tại Đại học LMU (Đức) đề xuất đã cung cấp quy trình và bộ công cụ mô hình hóa dựa trên chuẩn UML 2.0. Tuy nhiên, tác giả chỉ ra hai khoảng trống kỹ thuật lớn trong các nghiên cứu UWE trước đó:

1. Việc chuyển đổi từ mô hình yêu cầu sang các mô hình thiết kế (nội dung, điều hướng, xử lý, trình bày) vẫn còn phải điều chỉnh thủ công, dẫn đến tốn kém thời gian, chi phí và khó đảm bảo tính nhất quán, đồng bộ khi có thay đổi.
2. Các nghiên cứu chủ yếu tập trung vào khâu mô hình hóa; khâu sinh mã tự động còn hạn chế, đa số chỉ dừng lại ở việc tạo khung mã (code skeleton) và đòi hỏi lập trình viên phải viết mã cài đặt chi tiết bằng tay.

Mục tiêu nghiên cứu

• Mục tiêu chung: 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 bộ quy tắc chuyển đổi mô hình sang mô hình (Model-to-Model - M2M) và mô hình sang mã nguồn (Model-to-Code - M2C) theo phương pháp UWE; cụ thể hóa các quy tắc chuyển đổi bằng 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 (Model-View-Controller).
• Mục tiêu cụ thể:
  1. Phát triển bộ quy tắc chuyển đổi từ mô hình mức CIM (Computation Independent Model) sang PIM (Platform-Independent Model), từ PIM sang PSM (Platform-Specific Model) và từ PSM sang mã nguồn theo phương pháp UWE nhằm nâng cao chất lượng mã nguồn, tăng năng suất, tiết kiệm thời gian và chi phí phát triển.
  2. Xây dựng công cụ sinh mã tự động theo kiến trúc MVC dựa trên các quy tắc đã phát triển và thực nghiệm 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ăn bản luận án xác định 5 nhiệm vụ nghiên cứu cụ thể:

1. Tổng hợp, phân tích các kỹ thuật phát triển phần mềm hướng mô hình và các phương pháp kỹ nghệ web hướng mô hình (UWE, WebML, WebSA, OOWS).
2. Phát triển các quy tắc chuyển đổi mô hình (CIM sang PIM).
3. Phát triển các quy tắc sinh mã với ngôn ngữ chuyển đổi mô hình ATL (ATLAS Transformation Language) theo phương pháp UWE.
4. Xây dựng công cụ sinh mã tự động CODEGER-UWE cho ứng dụng web theo kiến trúc MVC.
5. Thực nghiệm và đánh giá: Kiểm chứng tính khả thi của giải pháp bằng việc áp dụng vào các ca nghiên cứu mẫu và hệ thống chẩn đoán bệnh thủy sản thực tế.

Đối tượng và phạm vi nghiên cứu

• Đối tượng nghiên cứu: Vấn đề chuyển đổi mô hình và sinh mã tự động trong phát triển ứng dụng web theo phương pháp UWE; các mô hình yêu cầu, nội dung, điều hướng, xử lý, trình bày và cơ chế chuyển dịch giữa các mức trừu tượng MDA.
• Phạm vi nghiên cứu:
  • Không gian công nghệ: Ứng dụng web hướng mô hình theo kiến trúc 3 lớp MVC; các mô hình đích ở mức PSM bao gồm mô hình Java (xử lý logic nghiệp vụ và dữ liệu) và mô hình JSP (JavaServer Pages cho giao diện); ngôn ngữ chuyển đổi mô hình ATL và ngôn ngữ ràng buộc OCL (Object Constraint Language).
  • Phạm vi thực nghiệm: Các bài toán chuẩn trong tài liệu UWE (MusicPortal, AddressBook) và hệ thống ứng dụng web chẩn đoán bệnh thủy sản tại Việt Nam.

---

Tổng quan tài liệu và vị trí của luận án

Luận án đã tổng hợp và phân tích hệ thống tài liệu nghiên cứu quốc tế về phát triển phần mềm hướng mô hình (MDSD/MDE/MDA) và các phương pháp kỹ nghệ web hướng mô hình (MDWE).

Các hướng nghiên cứu trước được điểm luận

1. Kiến trúc hướng mô hình MDA và các chuẩn của OMG: Tác giả điểm lại tài liệu chuẩn MDA Guide Version 1.0.1 (OMG, Miller & Mukerji, 2003), chuẩn siêu mô hình MOF (Meta Object Facility), ngôn ngữ UML 2.0 và ngôn ngữ ràng buộc OCL 2.0. Luận án phân tích tiến trình biến đổi mô hình từ CIM $\rightarrow$ PIM $\rightarrow$ PSM $\rightarrow$ Code qua các kỹ thuật ánh xạ siêu mô hình, đánh dấu mô hình (model marking), và áp dụng mẫu (pattern application).
2. Các phương pháp kỹ nghệ web hướng mô hình (MDWE):
   • UWE (UML-based Web Engineering): Nhóm nghiên cứu của Nora Koch, Andreas Kraus (2006, 2007, 2011) tại Đại học LMU Munich; công cụ MagicUWE (Koch et al., 2009); kỹ thuật ActionUWE (Dios, 2012). UWE cung cấp các siêu mô hình mở rộng trực tiếp từ UML Profile cho các khía cạnh yêu cầu, nội dung, điều hướng, xử lý và trình bày.
   • WebSA (Web Software Architecture): Nghiên cứu của Santiago M. (2006) kết hợp MDE với kiến trúc ứng dụng web.
   • WebML (Web Modeling Language): Đề xuất bởi Ceri, Fraternali, Bongio (2000), tập trung vào thiết kế cấu trúc dữ liệu và siêu văn bản dựa trên XML.
   • OOWS (Object-Oriented Web Solution): Phương pháp tiếp cận hướng đối tượng cho phát triển ứng dụng web của Đại học Bách khoa Valencia.
   • MIDAS-HM3: Phương pháp mô hình hóa siêu văn bản trên hệ thống thông tin web.
3. Kỹ thuật chuyển đổi mô hình và sinh mã nguồn:
   • Ngôn ngữ chuyển đổi mô hình: ATL do nhóm ATLAS (INRIA, Jouault, Bézivin, Kurtev, 2005, 2006) phát triển trên nền tảng Eclipse Modeling Framework (EMF); chuẩn QVT (Query/View/Transformation) của OMG.
   • Các công trình về sinh mã từ UML/MDA: Nghiên cứu của Jörges (2013), Rhazali et al. (2020), Ramdani (2019), Felice (2017), và các công cụ thương mại như Sparx Systems Enterprise Architect.

Khoảng trống luận án lựa chọn giải quyết

Mặc dù UWE và các phương pháp MDWE đã đạt được nhiều thành tựu về mặt biểu diễn mô hình, việc tích hợp đầy đủ tính tự động từ khâu đặc tả yêu cầu (CIM) đến mã nguồn hoàn chỉnh (Code) vẫn chưa liền mạch. Đa phần các công cụ chuyển đổi chỉ hỗ trợ từng chặng rời rạc hoặc dừng lại ở sinh mã khung. Luận án tập trung giải quyết trọn vẹn chuỗi chuyển đổi: Xây dựng quy tắc M2M chuyển đổi tự động từ biểu đồ Use Case và Activity (CIM) sang 4 mô hình PIM của UWE kết hợp tích hợp biểu thức OCL, sau đó chuyển đổi từ PIM sang PSM (Java/JSP theo mô hình MVC) và sinh mã thực thi hoàn chỉnh thông qua việc xây dựng công cụ CODEGER-UWE.

---

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết, khái niệm và khung phân tích

Luận án vận dụng các khung lý thuyết và tiêu chuẩn quốc tế:

• Kiến trúc MDA của OMG: Phân cấp 3 mức độ trừu tượng:
  • CIM (Computation Independent Model): Biểu đồ Use Case và Activity Diagram đặc tả yêu cầu nghiệp vụ.
  • PIM (Platform-Independent Model): 4 mô hình độc lập nền tảng của UWE (Content, Navigation, Process, Presentation Model).
  • PSM (Platform-Specific Model): Mô hình cấu trúc Java (Model, Service, Controller) và mô hình JSP (View).
• Ngôn ngữ ràng buộc đối tượng (OCL): Sử dụng OCL 2.0 để biểu diễn các bất biến (invariant), tiền điều kiện (precondition), hậu điều kiện (postcondition) và các ràng buộc logic nhằm làm giàu ngữ nghĩa cho mô hình xử lý và mô hình trình bày.
• Ngôn ngữ chuyển đổi mô hình ATL: Sử dụng cơ chế ánh xạ khai báo (declarative rules) và các hàm trợ giúp (helpers), truy vấn (queries) thực thi trên máy ảo ATL (ATL Virtual Machine) tương thích với chuẩn Ecore/EMF.
• Mô hình kiến trúc MVC (Model-View-Controller): Định hướng việc sinh mã nguồn tách bạch 3 thành phần: Model (lớp thực thể và truy cập dữ liệu), Controller (điều khiển luồng và điều hướng), View (giao diện người dùng JSP).

Phương pháp nghiên cứu thực tế

Luận án kết hợp phương pháp nghiên cứu lý thuyết hình thức và phương pháp thực nghiệm phát triển công cụ phần mềm:

• Phương pháp lý thuyết: Phân tích siêu mô hình (metamodel analysis), xây dựng các tập luật chuyển đổi cấu trúc đồ thị mô hình sang mô hình (M2M) và từ mô hình sang văn bản mã nguồn (M2T/M2C).
• Phương pháp kỹ thuật - thực nghiệm:
  • Thiết kế và cài đặt công cụ phần mềm CODEGER-UWE tích hợp vào môi trường mô hình hóa MagicDraw CASE tool.
  • Xây dựng các ca kiểm chứng trên 2 bài toán chuẩn: Cổng thông tin âm nhạc (MusicPortal) và Sổ địa chỉ (AddressBook).
  • Áp dụng phát triển hệ thống thực tế: Ứng dụng web Chẩn đoán bệnh thủy sản (benhthuysan.vn).
  • Đánh giá thực nghiệm: Khảo sát mức độ hài lòng của người dùng thực tế với 5 mức thang đo (Rất hài lòng, Hài lòng, Bình thường, Không hài lòng, Rất không hài lòng) trên 3 nhóm đối tượng: Chuyên gia thủy sản, Người nuôi trồng thủy sản và Sinh viên ngành thủy sản.

Nguồn tư liệu và dữ liệu

• Siêu mô hình UWE Profile phiên bản 1.9 của Nhóm PST (Đại học LMU Munich).
• Tập đặc tả Ecore của UML, Java Metamodel và JSP Metamodel.
• Dữ liệu tri thức chẩn đoán bệnh thủy sản thu thập từ các chuyên gia và giáo trình chuyên ngành thủy sản.

---

Nội dung chính theo từng chương

CHƯƠNG 1: PHÁT TRIỂN PHẦN MỀM HƯỚNG MÔ HÌNH

Chương 1 thiết lập nền tảng lý thuyết tổng quan về kỹ nghệ phần mềm hướng mô hình và phân tích hiện trạng các kỹ thuật web hướng mô hình.

+-------------------------------------------------------------------------+
|                        Tiến trình MDA trong Luận án                      |
|                                                                         |
|  [ CIM ]  -->  Biểu đồ Use Case & Biểu đồ Activity                     |
|  [ PIM ]  -->  Mô hình UWE (Content, Navigation, Process, Presentation) |
|  [ PSM ]  -->  Mô hình Java (Model/Controller) & Mô hình JSP (View)     |
|  [ CODE]  -->  Mã nguồn ứng dụng Web hoàn chỉnh (.java, .jsp)           |
+-------------------------------------------------------------------------+

Nội dung trọng tâm của chương gồm:

• Kiến trúc MDA: Phân tích chi tiết khái niệm, vai trò và tiến trình chuyển đổi giữa CIM, PIM, PSM; phân loại chuyển đổi M2M và M2C; các kỹ thuật ánh xạ siêu mô hình, đánh dấu mô hình và kết hợp mẫu thiết kế.
• Ngôn ngữ chuyển đổi mô hình: Trình bày cấu trúc hoạt động của ngôn ngữ ATL (module, rule, helper, query) trên nền EMF, so sánh với ngôn ngữ QVT của OMG.
• Các chuẩn OMG liên quan: Đặc tả MOF, UML Profile và OCL.
• Phân tích so sánh các phương pháp MDWE: Khảo sát các phương pháp WebSA, OOWS, MIDAS-HM3, WebML và UWE; chỉ ra UWE có ưu thế vượt trội do kế thừa hoàn toàn UML Profile tiêu chuẩn, thuận lợi cho việc tích hợp công cụ CASE và mở rộng quy tắc chuyển đổi.
• Nhiệm vụ rút ra cho luận án: Khẳng định sự cần thiết phải tự động hóa chặng CIM $\rightarrow$ PIM và nâng cao năng lực sinh mã hoàn chỉnh từ PIM $\rightarrow$ PSM $\rightarrow$ Code theo kiến trúc MVC.

---

CHƯƠNG 2: KỸ THUẬT CHUYỂN ĐỔI MÔ HÌNH (CIM TO PIM) THEO PHƯƠNG PHÁP UWE CHO PHÁT TRIỂN ỨNG DỤNG WEB

Chương 2 tập trung giải quyết bài toán chuyển đổi mô hình mức CIM sang PIM trong phương pháp UWE bằng ngôn ngữ ATL và tích hợp ràng buộc OCL.

Mô hình nguồn (CIM)	Mô hình đích (PIM - UWE)	Cơ chế chuyển đổi & Ràng buộc bổ sung
Use Case Diagram	Content Model (Mô hình nội dung)	Ánh xạ Use Case và Actor thành các thực thể dữ liệu (Entities/Classes), thuộc tính và quan hệ.
Use Case + Content	Navigation Model (Mô hình điều hướng)	Sinh các lớp điều hướng (Navigation Classes), nút điều hướng (Navigation Nodes), chỉ mục (Index), menu.
Activity Diagram	Process Model (Mô hình xử lý)	Chuyển đổi Action Nodes, Decision Nodes thành Process Classes và Process Operations; tích hợp OCL Pre/Post-conditions.
Navigation + Process	Presentation Model (Mô hình trình bày)	Sinh các phần tử giao diện (Presentation Elements): Button, Form, Text, DisplayAction; tích hợp OCL Invariants.

Nội dung chi tiết:

• Tích hợp ràng buộc OCL: Bổ sung các biểu thức OCL vào mô hình xử lý (biểu diễn điều kiện chuyển hướng, hợp lệ hóa dữ liệu giao tác) và mô hình trình bày (ràng buộc hiển thị, trạng thái các nút giao diện).
• Phát triển siêu mô hình và bộ quy tắc ATL: Xây dựng siêu mô hình cho Use Case, Activity Diagram và 4 siêu mô hình thành phần UWE; định nghĩa hoàn chỉnh 31 quy tắc chuyển đổi ATL từ CIM sang PIM.
• Thực nghiệm kiểm chứng: Áp dụng bộ quy tắc chuyển đổi trên hai ứng dụng mẫu:
  1. MusicPortal: Chuyển đổi thành công biểu đồ Use Case và biểu đồ Activity của quy trình BuyAlbum sang mô hình Content, Navigation, Process và Presentation.
  2. AddressBook: Xác nhận tính ổn định và tính tự động của các quy tắc đối với hệ thống quản lý danh bạ.

---

CHƯƠNG 3: SINH MÃ TỰ ĐỘNG CHO ỨNG DỤNG WEB HƯỚNG MÔ HÌNH

Chương 3 đề xuất giải pháp sinh mã nguồn tự động từ các mô hình PIM của UWE sang các mô hình PSM và xuất ra mã nguồn hoàn chỉnh theo kiến trúc MVC.

                    +--------------------------------+
                    |       PIM (Mô hình UWE)        |
                    +--------------------------------+
   [Content Model]        [Nav & Process Model]     [Presentation Model]
   +--------------+          +---------------+         +--------------+
   |  PSM: Model  |          | PSM: Control  |         |  PSM: View   |
   | (Java Class) |          | (Java Servlet)|         | (JSP Page)   |
   +--------------+          +---------------+         +--------------+
                    +--------------------------------+
                    |  MÃ NGUỒN THỰC THI HOÀN CHỈNH  |
                    |      (Java, JSP, Database)     |
                    +--------------------------------+

Nội dung chi tiết của chương:

• Xây dựng giải thuật sinh mã MVC:
  • Giải thuật CM2M (Content Model to Model): Chuyển đổi mô hình nội dung thành các lớp Java Model (Entity, POJO, Hibernate/JPA Mapping).
  • Giải thuật NM2C / PROM2C (Navigation & Process Model to Controller): Chuyển đổi cấu trúc điều hướng và tiến trình xử lý thành các lớp Java Controller / Java Servlet quản lý luồng dữ liệu.
  • Giải thuật PRES2V (Presentation Model to View): Chuyển đổi các phần tử giao diện trong mô hình trình bày thành các tệp giao diện JSP hoàn chỉnh.
• Đặc tả quy tắc chuyển đổi PIM sang PSM và Truy vấn ATL:
  • Xây dựng 23 quy tắc chuyển đổi sang mô hình Java: 12 quy tắc tạo Model từ Content Model, 08 quy tắc tạo View từ Presentation Model, và 03 quy tắc tạo Controller từ Navigation Model.
  • Phát triển 06 truy vấn ATL để sinh mã từ mô hình Java.
  • Phát triển 04 truy vấn ATL để sinh mã từ mô hình JSP.
• Xây dựng công cụ CODEGER-UWE: Phát triển công cụ dưới dạng plugin tích hợp trên phần mềm MagicDraw, hỗ trợ nạp mô hình UWE, áp dụng bộ chuyển đổi ATL và tự động tạo cấu trúc dự án mã nguồn.
• Thực nghiệm ứng dụng Chẩn đoán bệnh thủy sản (benhthuysan.vn):
  • Áp dụng trọn vẹn quy trình: Từ biểu đồ Use Case và Activity của hệ thống chẩn đoán bệnh thủy sản, công cụ CODEGER-UWE tự động chuyển đổi mô hình và sinh ra mã nguồn web hoàn chỉnh.
  • Kết quả khảo sát thử nghiệm hệ thống thực tế trên 3 nhóm đối tượng cho thấy tỷ lệ đánh giá ở mức Hài lòng và Rất hài lòng chiếm đa số ở cả nhóm chuyên gia, người nuôi trồng và sinh viên thủy sản.

---

Kết quả và những đóng góp mới

Những đóng góp mới về lý luận và khoa học

1. Hoàn thiện chuỗi chuyển đổi CIM sang PIM cho phương pháp UWE: Tổng hợp lý luận và đề xuất bổ sung bộ quy tắc chuyển đổi hình thức từ biểu đồ yêu cầu mức CIM (Use Case, Activity) sang 4 mô hình PIM (Content, Navigation, Process, Presentation) của UWE. Đề xuất phương pháp tích hợp ngôn ngữ ràng buộc OCL vào mô hình xử lý và trình bày nhằm làm giàu ngữ nghĩa, bảo đảm tính nhất quán và toàn vẹn dữ liệu.
2. Xây dựng phương pháp sinh mã tự động theo kiến trúc MVC: Thiết lập 3 giải thuật cốt lõi (CM2M, PRES2V, NPROM2C), 23 quy tắc chuyển đổi PIM sang PSM và 10 truy vấn ATL (6 Java, 4 JSP). Phương pháp này khắc phục hạn chế sinh "mã khung" của các nghiên cứu trước, tạo ra mã nguồn ứng dụng web 3 lớp hoàn chỉnh có khả năng thực thi trực tiếp.

Những đóng góp mới về mặt thực tiễn

1. Phát triển công cụ phần mềm CODEGER-UWE: Tích hợp thành công bộ quy tắc chuyển đổi và sinh mã vào công cụ CASE MagicDraw, cung cấp cho các nhà phát triển một giải pháp tự động hóa quy trình sản xuất phần mềm web hướng mô hình.
2. Ứng dụng thành công trong hệ thống thực tế: Xây dựng và triển khai ứng dụng web Chẩn đoán bệnh thủy sản (benhthuysan.vn), minh chứng tính đúng đắn, khả thi và hiệu quả của phương pháp tiếp cận trong việc giảm thiểu công sức lập trình thủ công và nâng cao tốc độ phát triển dự án.

Danh mục các công trình khoa học đã công bố của tác giả

Các kết quả của luận án đã được công bố trong 06 công trình khoa học (gồm các bài báo tạp chí chuyên ngành trong nước, quốc tế thuộc danh mục Scopus/WoS và kỷ yếu hội thảo quốc gia/quốc tế):

• CT1 (2015): Kỷ yếu Hội nghị Quốc gia lần thứ VIII về Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin (FAIR), Hà Nội.
• CT2 (2015): AUN/SEED-Net Regional Conference for Computer and Information Engineering, trang 78-83.
• CT3 (2018): Proceedings of the 7th International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA 2018), Springer, Scopus.
• CT4 (2019): New Trends in Intelligent Software Methodologies, Tools and Techniques, Volume 318, WoS/Scopus.
• CT5 (2021): Journal of Science and Technology (JST), Vol 1, Issue 1.
• CT6 (2021): Tạp chí Nghiên cứu Khoa học và Công nghệ quân sự (JMST), số 72.

---

Hạn chế và hướng nghiên cứu tiếp

Hạn chế của luận án

• Khung sinh mã hiện tại tập trung chủ yếu vào kiến trúc 3 lớp MVC với công nghệ nền Java/JSP; chưa mở rộng sang các kiến trúc hiện đại khác như Single Page Applications (SPA), Microservices hoặc các framework giao diện phía client (React, Angular, Vue).
• Mức độ bao phủ của các quy tắc ràng buộc OCL phức tạp trong một số trường hợp giao dịch phân tán chưa được tối ưu hóa toàn diện.

Hướng nghiên cứu tiếp

1. Mở rộng năng lực của công cụ CODEGER-UWE: Tiếp tục nghiên cứu sâu hơn về kỹ thuật chuyển đổi mô hình và sinh mã, nâng cao khả năng xử lý các ràng buộc OCL phức tạp và hỗ trợ thêm nhiều nền tảng công nghệ web hiện đại.
2. Tích hợp kiểm thử hướng mô hình (Model-Based Testing - MBT): Luận án dẫn chứng các nghiên cứu (Varshosaz, 2017) cho thấy hoạt động kiểm thử thường chiếm khoảng 50% chi phí dự án và 35% tổng thời gian phát triển phần mềm. Do đó, hướng nghiên cứu tiếp theo là tích hợp khả năng sinh tự động các ca kiểm thử (test cases) trực tiếp từ các mô hình UWE nhằm tối ưu hóa chi phí và đảm bảo chất lượng toàn diện của sản phẩm phần mềm web.

---

Giá trị tham khảo

Luận án là tài liệu tham khảo có giá trị cao cho nhiều nhóm đối tượng trong lĩnh vực công nghệ thông tin và kỹ thuật phần mềm:

• Đối với nghiên cứu sinh, học viên cao học và nhà nghiên cứu:
  • Cung cấp cơ sở lý thuyết có hệ thống về MDE, MDA, UWE, ATL và OCL.
  • Phần đáng tham khảo nhất là kỹ thuật ánh xạ siêu mô hình (Metamodel Transformation) và phương pháp tích hợp biểu thức OCL để làm giàu ngữ nghĩa mô hình trong Chương 2.
• Đối với giảng viên và sinh viên chuyên ngành Kỹ thuật phần mềm:
  • Có thể sử dụng làm tài liệu giảng dạy chuyên đề về Phát triển phần mềm hướng mô hình, thiết kế kiến trúc phần mềm nâng cao, và kỹ thuật tự động hóa sinh mã nguồn.
• Đối với các kỹ sư phần mềm, kiến trúc sư hệ thống và doanh nghiệp công nghệ:
  • Tham khảo kiến trúc công cụ CODEGER-UWE và các giải thuật chuyển đổi M2M/M2C (Chương 3) để ứng dụng vào việc xây dựng các công cụ sinh mã nội bộ (in-house code generators), giúp chuẩn hóa quy trình thiết kế, giảm chi phí lập trình thủ công và rút ngắn thời gian đưa sản phẩm ra thị trường.

---

Câu hỏi thường gặp

1. Phương pháp UWE trong luận án sử dụng những loại mô hình PIM nào để đặc tả một ứng dụng Web?

Theo phương pháp UWE, hệ thống ứng dụng web được phân tách thành 4 mô hình PIM độc lập nền tảng:

• Mô hình nội dung (Content Model): Đặc tả các lớp thực thể, thuộc tính và quan hệ dữ liệu của ứng dụng.
• Mô hình điều hướng (Navigation Model): Đặc tả không gian siêu văn bản, các liên kết, menu, chỉ mục và luồng di chuyển giữa các trang web.
• Mô hình xử lý (Process Model): Đặc tả logic của các tác vụ nghiệp vụ và giao tác người dùng.
• Mô hình trình bày (Presentation Model): Đặc tả cấu trúc bố cục giao diện đồ họa người dùng (nút bấm, biểu mẫu, văn bản hiển thị).

2. Ngôn ngữ OCL đóng vai trò gì trong kỹ thuật chuyển đổi mô hình của tác giả?

OCL (Object Constraint Language) được tích hợp vào mô hình xử lý và mô hình trình bày để đặc tả các ràng buộc logic mà biểu đồ UML thông thường không thể hiện tường minh được:

• Trong mô hình xử lý: OCL biểu diễn các điều kiện tiền đề (pre-conditions), điều kiện kết thúc (post-conditions) và các điều kiện rẽ nhánh nghiệp vụ.
• Trong mô hình trình bày: OCL biểu diễn các bất biến (invariants) nhằm kiểm soát trạng thái hiển thị của các thành phần giao diện (ví dụ: ẩn/hiện nút bấm, kiểm tra tính hợp lệ của dữ liệu nhập trước khi submit form).

3. Bộ quy tắc sinh mã trong luận án được tổ chức như thế nào để tạo ra ứng dụng theo kiến trúc MVC?

Bộ quy tắc sinh mã gồm:

• 3 giải thuật chính: CM2M (chuyển đổi Content Model sang thành phần Model), PRES2V (chuyển đổi Presentation Model sang thành phần View/JSP), và NM2C / PROM2C (chuyển đổi Navigation và Process Model sang thành phần Controller/Servlet).
• Hệ thống 23 quy tắc chuyển đổi mô hình PIM sang PSM Java (12 quy tắc Model, 8 quy tắc View, 3 quy tắc Controller).
• 10 truy vấn ATL (6 truy vấn cho Java và 4 truy vấn cho JSP) để trích xuất cấu trúc PSM thành các tệp mã nguồn hoàn chỉnh.

4. Công cụ CODEGER-UWE được xây dựng trên nền tảng nào và giải quyết vấn đề gì?

CODEGER-UWE là công cụ được tác giả phát triển dưới dạng plugin tích hợp trên môi trường CASE tool MagicDraw. Công cụ này tích hợp sẵn bộ chuyển đổi ATL và các giải thuật sinh mã MVC, cho phép người phát triển sau khi vẽ các biểu đồ Use Case và Activity có thể tự động sinh ra các mô hình UWE và tạo ra cây mã nguồn dự án (Java, JSP, cấu hình web) mà không cần lập trình khung mã thủ công.

5. Hệ thống thực tế "benhthuysan.vn" được thử nghiệm và đánh giá như thế nào?

Ứng dụng web Chẩn đoán bệnh thủy sản (benhthuysan.vn) được phát triển hoàn chỉnh từ mô hình UWE thông qua công cụ CODEGER-UWE. Sau khi cài đặt, hệ thống được đưa vào thử nghiệm thực tế và khảo sát trên 3 nhóm đối tượng: Chuyên gia thủy sản, Người nuôi trồng thủy sản và Sinh viên thủy sản. Kết quả đánh giá trên thang 5 mức độ ghi nhận phản hồi tích cực, chứng minh ứng dụng hoạt động ổn định và hỗ trợ hiệu quả công tác chẩn đoán bệnh thủy sản.

---

Kết luận

Luận án của TS. Trần Đình Diễn đã giải quyết trọn vẹn bài toán tự động hóa trong phát triển ứng dụng web hướng mô hình theo phương pháp UWE. Bằng việc đề xuất 31 quy tắc chuyển đổi CIM sang PIM tích hợp OCL, 23 quy tắc PIM sang PSM và 10 truy vấn ATL sinh mã MVC, nghiên cứu đã khắc phục khoảng trống phải chỉnh sửa mô hình thủ công và sinh mã khung của các công trình trước đây. Việc hiện thực hóa thành công công cụ CODEGER-UWE và áp dụng hiệu quả vào hệ thống chẩn đoán bệnh thủy sản thực tế khẳng định giá trị khoa học và tính ứng dụng thực tiễn cao của luận án trong kỹ nghệ phần mềm.

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

MỞ ĐẦU Ngày nay, công nghiệp phần mềm đóng vai trò quan trọng, tác động đến sự phát triển kinh tế xã hội và được xem là một trong những trụ cột chính của 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 càng phải đối mặt với nhiều khó khăn như vấn đề phát triển, vấn đề tính khả chuyển, khả năng tương tác hay với sự phát triển nhanh chóng của các nền tảng công nghệ mới. Do đó, những nhà phát triển phần mềm phải dành nhiều công sức và thời gian để điều chỉnh ứng dụng (thường theo cách thủ công là sửa mã nguồn) sao cho có thể hoạt động được trên các nền tảng công nghệ mới. Chính vì vậy, một xu hướng phát triển phần mềm mới nhằm khắc phục những khó khăn trên đã được nghiên cứu và phát triển, đó là 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) là kỹ thuật mới cho sự phát triển sản phẩm phần mềm. Kỹ thuật này giải quyết được sự phức tạp của nền tảng công nghệ khác nhau bằng việc sử dụng các mô hình (models) như là tác nhân chính trong toàn bộ vòng đời phát triển ứng dụng, giảm sự phụ thuộc vào nền tảng công nghệ [1-3]. MDE phát triển dựa trên ý tưởng xây dựng các mô hình độc lập với nền tảng và hỗ trợ việc chuyển đổi mô hình thành mã nguồn của chương trình. Do đó, quá trình phát triển phần mềm hướng mô hình được xem như là một chuỗi các chuyển đổi mô hình và chuyển đổi mô hình đóng một vai trò quan trọng trong kỹ thuật hướng mô hình [4].

Phát triển phần mềm hướng mô hình đang trở thành một phương pháp tiếp cận, được chấp nhận rộng rãi để phát triển các ứng dụng phức tạp và ngày càng giành được nhiều sự quan tâm của cộng đồng nghiên cứu, cũng như giới công nghiệp phần mềm [1]. Sinh mã tự động là nền tảng thiết yếu của các 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 quả hơn, hứa hẹn sẽ là một bước tiến mới trong phát triển phần mềm, giúp lập trình viên nâng cao được hiệu xuất làm việc và ngày càng được sử dụng nhiều trong 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ừ 3 đến 10 lần [5-7], làm giảm yếu tố con người [8, 9], giảm thời gian phát triển ứng dụng web [9-12].

Việc sử dụng các mô hình để tạo mã chương trình, có thể tạo ra các sản phẩm phần mềm có khả năng tương thích và sử dụng trên các nền tảng khác nhau [13], trong [14] đã chứng minh việc sử dụng phương pháp này cho phép tiết kiệm rất nhiều chi phí (nhất là chi phí bảo trì cho ứng dụng), vì chúng làm giảm sự cần thiết phải thay đổi sau khi đư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, có thể được cung cấp bởi những nhà phát triển khác nhau, nên việc sử dụng các kỹ thuật phát triển phần mềm hướng mô hình cho các ứng dụng web đặc biệt hữu ích [1, 15, 16]. 1 luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep Trong những phương pháp phát triển ứng dụng web hướng mô hình hiện nay. UWE (UML-based Web Engineering) là một hướng tiếp cận cho phép phát triển ứng dụng web hướng mô hình dựa trên kiến trúc MDA.

UWE cung cấp một quy trình và công cụ, giúp mô hình hoá và xây dựng các ứng dụng web, do nhóm nghiên cứu trường đại học LMU, Đức thực hiện với mục đích tự động hoá quy trình phát triển ứng dụng web và 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 một tập các mô hình tương ứng với từng khía cạnh của ứng dụng web bao gồm: Mô hình yê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) và sử dụng biểu đồ UML 2.0 cho việc mô hình hoá. Một trong những ưu điểm quan trọng của UWE là tất cả các mô hình của nó đều là phần mở rộng của UML. UWE sử dụng ký pháp đồ họa hoàn toàn dựa trên UML.

Nó cho phép sử dụng các công cụ dựa trên UML và giảm thiểu thời gian nghiên cứu của các nhà phát triển Web, những người đã quen thuộc với UML[17]. Tuy nhiên, các nghiên cứu phát triển ứng dụng web hướng mô hình theo phương pháp UWE, còn tồn tại một số vấn đề cần tiếp tục đi sâu nghiên cứu: Thứ nhất: Việc chuyển đổi từ mô hình yêu cầu sang các mô hình: Nội dung, điều hướng, xử lý và trình bày vẫn phải được đ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 và chi phí; việc đảm bảo tính thống nhất giữa các mô hình cũng như cần cập nhật đồng bộ giữa các mô hình khi có thay đổi là rất khó khăn. Thứ hai: Các nghiên cứu chủ yếu mới chỉ tập trung cho việc mô hình hóa, việc sinh code tự động còn nhiều hạn chế, chủ yếu mới chỉ dừng ở việc tạo ra khung để kỹ thuật viên lập trình viết mã. Khắc phục những hạn chế, tồn tại 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 năng suất, tiết kiệm thời gian và 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 và hiệu quả hơn là vấn đề cần thiết, góp phần thúc đẩy sự phát triển của lĩnh vực ứng dụng web, một lĩnh vực giàu tiềm năng nhưng mới chỉ là bước đầu phát triển tại Việt Nam.

Chính vì vậy, NCS chọn đề tài: “Các kỹ thuật chuyển đổi mô hình và sinh mã trong phát triển ứng dụng web hướng mô hình”. Hướng tiếp cận của đề tài là phát triển bộ quy tắc chuyển đổi model to model và mode to code theo phương pháp UWE, xây dựng công cụ CODEGER-UWE để hỗ trợ phát triển các ứng dựng Web theo kiến trúc MVC. Phương pháp dựa trên việc tạo mô hình yêu cầu ở mức mô hình độc lập tính toán (Computation Independent Model – CIM), sau đó xây dựng các quy tắc chuyển đổi, để chuyển đổi sang mức mô hình độc lập nền tảng (platform-independent model – PIM) và mô hình nền cụ thể (Platform Specific Model - PSM), từ đó sinh code tự động cho ứng dụng web theo 2 luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep do an to nghiep docx 123docz luan van hay luan van tot nghiep kiến trúc MVC. Các quy tắc chuyển đổi của nghiên cứu được 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. Phương pháp tiếp cận giúp đảm bảo tính thống nhất giữa các mô hình sau khi chuyển đổi, góp phần đảm bảo hiệu quả chuyển đổi mô hình và 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 của đề tài là nghiên cứu kỹ thuật phát triển phần mềm hướng mô hình cho các ứng dụng web, nhằm phát triển bộ quy tắc chuyển đổi model to model và model to code, theo phương pháp UWE và cụ thể hóa các quy tắc chuyển đổi, bằng 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ó các mục tiêu cụ thể sau: - Tiếp cận kỹ thuật MDE, luận án phát triển bộ quy tắc chuyển đổi từ mô hình mức CIM sang PIM và sang PSM, sang mã nguồn theo phương pháp UWE, nhằm nâng cao chất lượng mã nguồn, tăng năng suất, tiết kiệm thời gian, chi phí, nâng cao hiệu quả cho việc phát triển ứng dụng web.

- Trên cơ sở các quy tắc đã phát triển, xây dựng công cụ sinh mã tự động cho ứng dụng web theo kiến trúc MVC. 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. Nhiệm vụ nghiên cứu Với mục tiêu đặt ra ở trên, nhiệm vụ nghiên cứu của đề tài bao gồm: - Tổng hợp, phân tích các 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 như UWE, WebML, WebSA. - Phát triển các quy tắc chuyển đổi mô hình.