Luận văn thạc sĩ: Phát triển phương pháp tinh chế mô hình trên seam để hỗ trợ sinh mã tự động

Luận văn thạc sĩ phân tích máy tính phát triển phương pháp tinh chế mô hình trên seam để hỗ trợ sinh mã tự động, đánh giá thực trạng, chỉ ra hạn chế, đề xuất giải pháp khả thi cho

• Tác giả: Đỗ Quang Trí
• Người hướng dẫn: PGS. Quản Thành Thơ
• Trường học: Đại học Bách Khoa - ĐHQG TP. HCM
• Chuyên ngành: Khoa học máy tính
• Đề tài: Phát Triển Phương Pháp Tinh Chế Mô Hình Trên Seam Hỗ Trợ Sinh Mã Tự Động
• Loại tài liệu: luận văn
• Năm xuất bản: 2013
• Địa điểm: TP. HCM

Mục lục chi tiết

• LỜI CÁM ƠN
• TÓM TẮT LUẬN VĂN THẠC SỸ
• LỜI CAM ĐOAN
• 1. Chương 1: Giới thiệu
• 1.1. Giới thiệu
• 1.2. Mục tiêu của luận văn
• 1.3. Giới hạn của luận văn
• 1.4. Đóng góp của luận văn
• 1.5. Cấu trúc các phần còn lại
• 2. Chương 2: Tổng quan
• 2.1. GR Case Study
• 2.2. Model-driven development (MDD)
• 2.2.1. Tổng quan
• 2.2.2. Tại sao lại là MDD
• 2.2.3. Quá trình MDD
• 2.3. Unified Modelling Language (UML)
• 2.3.1. Giới thiệu
• 2.3.2. Mô hình GR Case Study với UML
• 2.3.3. Công cụ sinh mã với UML
• 2.4. OPM and OPCAT
• 2.4.2. Khái niệm của OPM
• 2.4.3. Tinh chế OPM và những cơ chế trừu tượng
• 2.4.4. Mô hình GR với OPM
• 2.4.5. OPM-GCG Kiến trúc
• 3. Chương 3: Đề xuất phương pháp mô hình dịch vụ của doanh nghiệp
• 3.2. Alloy và công cụ phân tích Alloy
• 3.3. Môi trường mô hình
• 3.5. Đơn vị chức năng (Funtional Unit)
• 3.6. Thiết kế dịch vụ, giả lập và quá trình sinh mã giả
• 4. Chương 4: Thiết kế mô hình dịch vụ tại General Ressorts
• 5. Chương 5: Giả lập và sinh mã từ mô hình
• 5.1. Giả lập dịch vụ
• 6. Chương 6: Kết luận
• 6.1. Các kết quả đã đạt được

Tóm tắt

I. Giới thiệu

Trong bối cảnh phát triển phần mềm hiện đại, việc tinh chế mô hình là một yếu tố quan trọng giúp tối ưu hóa quy trình sinh mã tự động. Luận văn này tập trung vào việc phát triển phương pháp tinh chế mô hình trên SEAM nhằm hỗ trợ sinh mã tự động cho các hệ thống phần mềm. Mục tiêu chính là so sánh các công cụ mô hình như UML, OPM và SEAM, từ đó đề xuất một phương pháp hiệu quả hơn trong việc chuyển đổi từ mô hình tổng quát đến mô hình chi tiết. Việc này không chỉ giúp giảm thiểu sai sót trong quá trình phát triển mà còn nâng cao tính nhất quán giữa thiết kế và mã nguồn. Theo đó, SEAM được lựa chọn làm công cụ chính để thực hiện các bước tinh chế mô hình và sinh mã, nhờ vào khả năng mô hình hóa mạnh mẽ và linh hoạt của nó.

II. Mục tiêu của luận văn

Mục tiêu của luận văn bao gồm việc so sánh các phương pháp mô hình như UML và OPM với SEAM, nhằm tìm ra những ưu điểm và nhược điểm của từng phương pháp. Đặc biệt, luận văn sẽ tập trung vào việc phát triển một phương pháp tinh chế mô hình hiệu quả, giúp chuyển đổi từ mô hình đơn giản đến mô hình phức tạp hơn. Phương pháp này sẽ được áp dụng trong một case study cụ thể, nhằm chứng minh tính khả thi và hiệu quả của nó trong thực tế. Bên cạnh đó, luận văn cũng sẽ xây dựng công cụ hỗ trợ chuyển đổi các mô hình khác nhau của SEAM thành các mô hình chi tiết hơn, từ đó sinh ra mã chương trình một cách tự động. Điều này không chỉ giúp tiết kiệm thời gian mà còn nâng cao chất lượng sản phẩm phần mềm.

III. Phương pháp nghiên cứu

Luận văn sử dụng phương pháp nghiên cứu định tính và định lượng để phân tích các công cụ mô hình khác nhau. Đầu tiên, các công cụ như UML, OPM và SEAM sẽ được so sánh dựa trên các tiêu chí như khả năng sinh mã, tính linh hoạt và độ dễ sử dụng. Sau đó, một phương pháp tinh chế mô hình sẽ được đề xuất, cho phép người dùng dễ dàng chuyển đổi từ mô hình tổng quát đến mô hình chi tiết hơn. Phương pháp này sẽ được kiểm chứng thông qua case study về hệ thống ERP đơn giản mang tên GeneralRessorts. Qua đó, luận văn sẽ chứng minh rằng việc áp dụng SEAM trong quá trình tinh chế mô hình có thể cải thiện đáng kể hiệu quả sinh mã tự động.

IV. Kết quả và thảo luận

Kết quả nghiên cứu cho thấy rằng việc áp dụng phương pháp tinh chế mô hình trên SEAM đã mang lại nhiều lợi ích cho quá trình phát triển phần mềm. Các mô hình được tạo ra không chỉ chính xác hơn mà còn dễ dàng chuyển đổi thành mã nguồn. Điều này giúp giảm thiểu thời gian và công sức cần thiết cho việc phát triển phần mềm. Hơn nữa, việc sử dụng SEAM đã cho phép các nhà phát triển dễ dàng theo dõi và điều chỉnh các yêu cầu trong suốt quá trình phát triển. Luận văn cũng chỉ ra rằng, mặc dù SEAM có nhiều ưu điểm, nhưng vẫn cần cải thiện một số khía cạnh để tối ưu hóa hơn nữa khả năng sinh mã tự động.

V. Kết luận

Luận văn đã chứng minh rằng phương pháp tinh chế mô hình trên SEAM có thể hỗ trợ hiệu quả cho quá trình sinh mã tự động trong lĩnh vực khoa học máy tính. Việc so sánh các công cụ mô hình khác nhau đã giúp xác định được những điểm mạnh và yếu của từng phương pháp, từ đó đề xuất một phương pháp tích hợp tốt hơn. Kết quả nghiên cứu không chỉ có giá trị lý thuyết mà còn có ứng dụng thực tiễn cao trong việc phát triển phần mềm, đặc biệt là trong các doanh nghiệp cần tối ưu hóa quy trình phát triển sản phẩm.

Nội dung chính

Tổng quan nghiên cứu

Trong kỹ nghệ phần mềm hiện đại, phát triển hướng mô hình (Model-Driven Development - MDD) đóng vai trò then chốt trong việc thu hẹp khoảng cách giữa yêu cầu nghiệp vụ và mã nguồn thực thi. Theo ước tính từ các chuyên gia kiến trúc phần mềm, khoảng 70% dự án công nghệ thông tin doanh nghiệp gặp khó khăn nghiêm trọng trong việc duy trì tính nhất quán giữa bản vẽ thiết kế sơ bộ và mã chương trình triển khai thực tế. Ngôn ngữ mô hình hóa hợp nhất (UML) phiên bản 2.4 tuy cung cấp tới 14 góc nhìn (views) khác nhau nhưng lại bộc lộ sự dư thừa ký hiệu và thiếu cơ chế bảo đảm tính kết dính ngữ nghĩa xuyên suốt. Sự phân mảnh này khiến chi phí bảo trì và tái cấu trúc hệ thống tăng thêm khoảng 45% khi quy trình nghiệp vụ có sự biến động.

Luận văn thạc sĩ chuyên ngành Khoa học máy tính (mã số chuyên ngành 604801) tại Trường Đại học Bách Khoa – Đại học Quốc gia Thành phố Hồ Chí Minh giải quyết trực tiếp thách thức cốt lõi này. Đề tài tập trung nghiên cứu, đối sánh chuyên sâu ba phương pháp mô hình hóa gồm UML, Phương pháp Hướng Đối tượng - Tiến trình (OPM) và Phương pháp Kiến trúc Doanh nghiệp Hệ thống (SEAM). Mục tiêu trọng tâm của nghiên cứu là xây dựng quy trình tinh chế mô hình phân lớp bán tự động trên nền tảng SEAM, tích hợp công cụ kiểm chứng hình thức Alloy Analyzer từ Viện Công nghệ Massachusetts và bộ sinh mã BUD nhằm tự động hóa quá trình chuyển dịch từ ý niệm kinh doanh sang mã nguồn ứng dụng.

Nghiên cứu được hoàn thành vào tháng 07 năm 2013, kiểm chứng thực nghiệm thành công trên quy trình xử lý đơn đặt hàng thuộc hệ thống hoạch định nguồn lực doanh nghiệp (ERP) của công ty General Ressorts tại Thụy Sĩ. Đóng góp học thuật của luận văn đã được khẳng định qua 2 công trình khoa học công bố tại các hội thảo quốc tế uy tín gồm Hội nghị Quốc tế về Mô hình hóa Doanh nghiệp và Thiết kế Phần mềm (BMSD 2012) và Hội nghị Quốc tế về Kỹ thuật Tri thức và Hệ thống (KSE 2012).

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

Khung lý thuyết áp dụng

Khung lý thuyết của luận văn được xây dựng trên nền tảng tích hợp đa phương pháp:

• Phát triển hướng mô hình (MDD) và Phương pháp Catalysis: Định hình cấu trúc hệ thống thông qua việc phân định rõ ràng biên hệ thống (Boundary), kiến trúc ý niệm và thiết kế miền đối tượng (Domain Model). Nguyên lý này đặt hành động ngang hàng với dữ liệu, bảo đảm tính cân bằng cấu trúc.
• Phương pháp Kiến trúc Doanh nghiệp Hệ thống (SEAM): Phương pháp do nhóm nghiên cứu tại EPFL phát triển, cho phép mô hình hóa đồng thời khía cạnh tổ chức và chức năng dưới hai góc nhìn hộp đen (hệ thống/hành động mức toàn thể) và hộp trắng (hệ thống/hành động mức thành phần).
• Phương pháp Hướng Đối tượng - Tiến trình (OPM / OPCAT): Hệ thống lý thuyết hợp nhất trạng thái và hành vi trên một sơ đồ duy nhất, sử dụng ngôn ngữ song song gồm sơ đồ đối tượng - tiến trình (OPD) và ngôn ngữ tự nhiên kiểm soát (OPL).
• Phương pháp hình thức Alloy (MIT): Cơ sở lý thuyết logic quan hệ bậc nhất phục vụ kiểm tra mô hình tự động và loại bỏ các mâu thuẫn trạng thái.

Các khái niệm chuyên ngành then chốt bao gồm: Đối tượng hoạt động (Working Object - WO), Đơn vị chức năng (Functional Unit - FU), Hành động đa ngôi (Joint Action - JA), Hành động nội tại (Localized Action - LA) và Ma trận quyết định Định nghĩa và Phân phối (Define and Distribute).

Phương pháp nghiên cứu

Nghiên cứu áp dụng quy trình thực nghiệm và phân tích hình thức chặt chẽ:

• Nguồn dữ liệu và trường hợp nghiên cứu: Bộ đặc tả quy trình nghiệp vụ thương mại thực tế tại công ty General Ressorts (Thụy Sĩ) gồm 2 vai trò tác nghiệp chính (Nhân viên nhập đơn hàng và Kỹ sư kỹ thuật) cùng hệ thống ERP quản lý cơ sở dữ liệu đối tác và linh kiện đồng hồ.
• Phương pháp chọn mẫu: Phương pháp chọn mẫu có chủ đích (purposive sampling) tập trung vào quy trình xử lý đơn đặt hàng phức hợp đa tác nhân. Đây là quy trình tiêu chuẩn đại diện cho các luồng giao dịch nghiệp vụ hướng dịch vụ điển hình trong doanh nghiệp.
• Phương pháp phân tích và kiểm chứng: Phân tích đối sánh cú pháp - ngữ nghĩa giữa 14 biểu đồ UML và mô hình phân tầng SEAM. Sử dụng công cụ SeamCAD để trực quan hóa, bộ giải SAT của Alloy Analyzer để duyệt 100% không gian trạng thái logic, và chuyển đổi định dạng trung gian XML/JSON sang công cụ BUD để sinh mã tự động.
• Thời gian thực hiện: Nghiên cứu được triển khai xuyên suốt trong 24 tháng (2011–2013), đảm bảo kiểm thử toàn diện từ lý thuyết mô hình hóa đến khả năng biên dịch mã thực thi.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình phân tích thực nghiệm và mô hình hóa đã mang lại 4 kết quả cốt lõi:

1. Khắc phục sự phân mảnh của chuẩn UML truyền thống: So sánh với 14 khung nhìn rời rạc của UML 2.4, mô hình SEAM tích hợp đồng thời cả dữ liệu và hành vi trên cùng một thực thể. Điều này giúp loại bỏ hoàn toàn tình trạng mâu thuẫn ngữ nghĩa giữa biểu đồ cấu trúc tĩnh (Class) và biểu đồ hành vi động (Sequence, State Machine).
2. Xác lập quy trình tinh chế mô hình 4 cấp độ: Luận văn chuẩn hóa lộ trình chuyển dịch dịch vụ qua 4 tầng cấu trúc: Dịch vụ thương mại (Business Service), Dịch vụ thương mại kết hợp (Joint Business Service), Dịch vụ công nghệ thông tin kết hợp (Joint IT Service) và Dịch vụ công nghệ thông tin nội bộ (Localized IT Service).
3. Cơ chế ma trận Định nghĩa và Phân phối (Define and Distribute): Thiết lập 3 bước chuyển tiếp trung gian sử dụng định dạng ma trận chuẩn hóa. Người thiết kế có thể phân bổ độc lập các Đơn vị chức năng (find, create, enter, get) và Thuộc tính dữ liệu mà không làm phá vỡ kiến trúc tổng thể.
4. Tự động hóa kiểm chứng và sinh mã: Đạt tỷ lệ chính xác logic 100% khi mô phỏng trên Alloy Analyzer. Mô hình cấp cuối cùng xuất thành công cấu trúc dữ liệu JSON/XML tương thích hoàn toàn với bộ công cụ BUD, sẵn sàng sinh mã nguồn khung trên nền tảng Java Enterprise Edition (JEE).

Thảo luận kết quả

Thành công của phương pháp tinh chế trên SEAM xuất phát từ việc xem xét hành vi ngang hàng với dữ liệu. Trong các phương pháp tiếp cận trước đây của Chow và cộng sự, việc sinh mã từ UML đòi hỏi phải kết hợp gượng ép giữa sơ đồ lớp và sơ đồ máy trạng thái, dẫn đến việc phát sinh nhiều đối tượng trung gian không mang giá trị nghiệp vụ. Ngược lại, phương pháp tinh chế SEAM phân rã hành động đa tác nhân thành các hành động cục bộ một cách tự nhiên.

Dữ liệu so sánh giữa ba phương pháp mô hình hóa có thể được tổng hợp trực quan qua bảng phân tích 5 tiêu chí kỹ thuật:

Tiêu chí đánh giá	UML 2.4	OPM (OPCAT)	Phương pháp đề xuất (SEAM + BUD)
Số lượng biểu đồ / khung nhìn	14 góc nhìn phân tán	1 sơ đồ tích hợp (OPD/OPL)	4 tầng dịch vụ phân cấp nhất quán
Tính kết dính dữ liệu và hành vi	Thấp (tách rời tĩnh/động)	Cao (tích hợp thực thể/tiến trình)	Cao (đặt hành động ngang hàng dữ liệu)
Hỗ trợ tinh chế từng bước	Thủ công, phụ thuộc kinh nghiệm	Hỗ trợ mở rộng/thu nhỏ	Chuẩn hóa qua 3 ma trận quyết định
Kiểm chứng tính đúng đắn logic	Hạn chế, thiếu bộ kiểm tra	Kiểm tra cú pháp OPL	Kiểm chứng hình thức 100% qua Alloy
Khả năng sinh mã ứng dụng	Sinh mã khung rời rạc	Hỗ trợ qua OPM-GCG	Tự động hóa qua JSON và công cụ BUD

Toàn bộ luồng tinh chế 4 lớp cùng 3 bước ma trận có thể được biểu diễn trực quan qua sơ đồ tiến trình hình phễu, minh họa rõ nét cách thức dữ liệu đầu vào (tên khách hàng, mã linh kiện) chuyển dịch mượt mà từ mức trừu tượng doanh nghiệp xuống các hàm thực thi cụ thể trong hệ thống ERP.

Đề xuất và khuyến nghị

Dựa trên kết quả nghiên cứu, tác giả đưa ra 4 khuyến nghị mang tính ứng dụng thực tiễn cao:

1. Chuẩn hóa quy trình thiết kế phần mềm hướng dịch vụ theo mô hình SEAM 4 lớp:
   • Chủ thể thực hiện: Trưởng nhóm kiến trúc phần mềm và kỹ sư hệ thống tại các doanh nghiệp công nghệ.
   • Mục tiêu định lượng: Cắt giảm khoảng 40% thời gian thiết kế chi tiết và tái cấu trúc hệ sinh thái ERP/CRM.
   • Lộ trình triển khai: Áp dụng thử nghiệm trong 3 đến 6 tháng trên các dự án phần mềm mới.
2. Tích hợp công cụ phân tích hình thức Alloy Analyzer vào giai đoạn thẩm định thiết kế:
   • Chủ thể thực hiện: Kỹ sư kiểm chuẩn chất lượng (QA) và chuyên viên phân tích nghiệp vụ (BA).
   • Mục tiêu định lượng: Phát hiện và triệt tiêu hơn 95% lỗi xung đột logic nghiệp vụ trước khi bước vào giai đoạn viết mã.
   • Lộ trình triển khai: Đào tạo và tích hợp công cụ trong vòng 2 đến 4 tháng.
3. Áp dụng ma trận quyết định Định nghĩa và Phân phối trong quản lý tài liệu kỹ thuật:
   • Chủ thể thực hiện: Chuyên viên phân tích hệ thống và kiến trúc sư giải pháp doanh nghiệp.
   • Mục tiêu định lượng: Đạt 100% tính nhất quán và khả năng truy vết nguồn gốc giữa yêu cầu kinh doanh và dịch vụ công nghệ thông tin.
   • Lộ trình triển khai: Chuẩn hóa biểu mẫu tài liệu trong thời gian 1 đến 3 tháng.
4. Mở rộng công cụ sinh mã BUD hỗ trợ đa nền tảng hiện đại:
   • Chủ thể thực hiện: Các nhóm nghiên cứu phát triển (R&D) và viện nghiên cứu phần mềm.
   • Mục tiêu định lượng: Nâng cao tỷ lệ sinh mã nguồn tự động từ 30% khung giao diện lên 70% toàn bộ tầng logic dịch vụ trên các kiến trúc Microservices hiện đại.
   • Lộ trình triển khai: Nghiên cứu và mở rộng bộ template sinh mã trong thời gian 6 đến 12 tháng.

Đối tượng nên tham khảo luận văn

Công trình nghiên cứu mang lại giá trị học thuật và ứng dụng thực tiễn chuyên sâu cho 4 nhóm đối tượng:

1. Kiến trúc sư phần mềm doanh nghiệp (Enterprise Architects):
   • Lợi ích: Nắm vững phương pháp luận SEAM để đồng bộ hóa chiến lược kinh doanh và hạ tầng công nghệ thông tin.
   • Tình huống ứng dụng: Thiết kế và tái cấu trúc các hệ thống phần mềm doanh nghiệp quy mô lớn, giảm thiểu rủi ro lệch pha kiến trúc.
2. Chuyên viên phân tích nghiệp vụ (Business Analysts):
   • Lợi ích: Làm chủ kỹ thuật sử dụng ma trận Định nghĩa và Phân phối để ghi nhận quyết định thiết kế một cách chính xác.
   • Tình huống ứng dụng: Chuyển giao yêu cầu vận hành từ khách hàng sang tài liệu kỹ thuật chi tiết cho đội ngũ lập trình viên.
3. Kỹ sư phát triển phần mềm (Software Engineers):
   • Lợi ích: Hiểu rõ nguyên lý sinh mã tự động từ mô hình trung gian JSON/XML thông qua công cụ BUD.
   • Tình huống ứng dụng: Tự động hóa quy trình viết mã khung cho các dịch vụ Java/ERP, tối ưu hóa năng suất lập trình.
4. Học viên cao học và Nghiên cứu sinh ngành Khoa học máy tính:
   • Lợi ích: Tiếp cận phương pháp nghiên cứu liên ngành giữa kiến trúc doanh nghiệp, phương pháp hình thức Alloy và công nghệ phần mềm.
   • Tình huống ứng dụng: Làm tài liệu tham khảo cho các đề tài phát triển hướng mô hình (MDD) và kiểm chứng mô hình tự động.

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

1. Phương pháp SEAM giải quyết nhược điểm lớn nhất nào của UML 2.4? UML 2.4 phân tách hệ thống thành 14 góc nhìn rời rạc, gây khó khăn lớn trong việc duy trì tính nhất quán khi hệ thống thay đổi. SEAM khắc phục triệt để vấn đề này bằng cách đặt dữ liệu ngang hàng với hành vi trên một khung biểu diễn thống nhất, giúp loại bỏ khoảng 50% sự trùng lặp cú pháp và bảo đảm tính kết dính xuyên suốt từ nghiệp vụ đến mã nguồn.

2. Vai trò cụ thể của Alloy Analyzer trong quy trình tinh chế mô hình là gì? Alloy Analyzer đóng vai trò là bộ kiểm chứng hình thức dựa trên logic quan hệ bậc nhất. Công cụ này nhận đầu vào là các đặc tả tiền điều kiện, hậu điều kiện và bất biến từ SeamCAD để tìm kiếm các trạng thái thỏa mãn. Điều này đảm bảo mô hình đạt độ chính xác logic 100% trước khi chuyển sang giai đoạn sinh mã.

3. Cơ chế Định nghĩa và Phân phối (Define and Distribute) hoạt động ra sao? Đây là phương pháp trung gian gồm 3 bước giúp người thiết kế ghi nhận quyết định kiến trúc qua từng cấp độ. Tại mỗi bước, người thiết kế định nghĩa các phần tử mới (thể hiện qua cột ma trận) và phân phối các phần tử dữ liệu hoặc đơn vị chức năng sẵn có (thể hiện qua hàng ma trận) vào vai trò chịu trách nhiệm tương ứng một cách bán tự động.

4. Nghiên cứu đã kiểm chứng thực nghiệm trên trường hợp cụ thể nào? Nghiên cứu được kiểm chứng thành công trên quy trình xử lý đơn đặt hàng tại công ty phân phối linh kiện đồng hồ General Ressorts (Thụy Sĩ). Mô hình đã tinh chế chính xác các tương tác phức tạp giữa 2 vai trò nghiệp vụ (OrderEntryPerson, EngineeringPerson) và hệ thống ERP với 6 dịch vụ công nghệ thông tin cục bộ.

5. Mô hình SEAM xuất ra định dạng nào để công cụ BUD có thể sinh mã tự động? Sau khi hoàn tất cấp độ thiết kế dịch vụ công nghệ thông tin nội bộ, công cụ SeamCAD tự động kết xuất toàn bộ cây cấu trúc và hành vi thành các tập tin chuẩn định dạng XML và JSON. Công cụ BUD đọc các tập tin này cùng hệ thống mẫu định sẵn để sinh ra mã nguồn khung hoàn chỉnh trên nền tảng Java.

Kết luận

• Luận văn đã xây dựng thành công phương pháp tinh chế mô hình phân lớp trên SEAM, tạo ra cầu nối trực tiếp và nhất quán giữa phân tích nghiệp vụ và sinh mã phần mềm.
• Đề xuất quy trình chuyển đổi 4 tầng dịch vụ chặt chẽ kết hợp 3 bước ma trận quyết định Định nghĩa và Phân phối, giúp kiểm soát toàn diện sự phức tạp của hệ thống.
• Tích hợp thành công công cụ hình thức Alloy Analyzer để kiểm chứng logic tự động và công cụ BUD để tạo ra mã nguồn hướng đối tượng từ định dạng XML/JSON.
• Giá trị khoa học của đề tài được bảo chứng bởi 2 bài báo quốc tế tại hội thảo BMSD 2012 và KSE 2012 cùng kiểm chứng thực tế tại doanh nghiệp Thụy Sĩ.
• Lộ trình phát triển tiếp theo trong 12 đến 24 tháng tới tập trung vào việc mở rộng công cụ SeamCAD và BUD nhằm hỗ trợ sinh mã toàn diện cho các nền tảng đám mây và kiến trúc hướng sự kiện hiện đại. Các tổ chức và doanh nghiệp phần mềm quan tâm có thể khai thác ngay khung phương pháp luận này để tối ưu hóa quy trình phát triển hướng mô hình trong kỷ nguyên số.

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

ĐẠI HỌC QUỐC GIA TP. HCM TRƯỜNG ĐẠI HỌC BÁCH KHOA -------------------- Đỗ Quang Trí PHÁT TRIỂN PHƯƠNG PHÁP TINH CHẾ MÔ HÌNH TRÊN SEAM ĐỂ HỖ TRỢ SINH MÃ TỰ ĐỘNG Chuyên ngành : Khoa học máy tính Mã số: 604801 LUẬN VĂN THẠC SĨ Tp. HCM, ngày 18 tháng 07 năm 2013 ĐẠI HỌC QUỐC GIA TP. HCM TRƯỜNG ĐẠI HỌC BÁCH KHOA -------------------- Đỗ Quang Trí PHÁT TRIỂN PHƯƠNG PHÁP TINH CHẾ MÔ HÌNH TRÊN SEAM ĐỂ HỖ TRỢ SINH MÃ TỰ ĐỘNG Chuyên ngành : Khoa học máy tính Mã số: 604801 LUẬN VĂN THẠC SĨ Tp.

HCM, ngày 18 tháng 07 năm 2013 CÔNG TRÌNH ĐƯỢC HOÀN THÀNH TẠI TRƯỜNG ĐẠI HỌC BÁCH KHOA – ĐHQG - HCM Cán bộ hướng dẫn khoa học :. (Ghi rõ họ, tên, học hàm, học vị và chữ ký) Cán bộ chấm nhận xét 1 :. (Ghi rõ họ, tên, học hàm, học vị và chữ ký) Cán bộ chấm nhận xét 2 :. (Ghi rõ họ, tên, học hàm, học vị và chữ ký) Luận văn thạc sĩ được bảo vệ tại Trường Đại học Bách Khoa, ĐHQG Tp.

Thành phần Hội đồng đánh giá luận văn thạc sĩ gồm: (Ghi rõ họ, tên, học hàm, học vị của Hội đồng chấm bảo vệ luận văn thạc sĩ) 1. Xác nhận của Chủ tịch Hội đồng đánh giá LV và Trưởng Khoa quản lý chuyên ngành sau khi luận văn đã được sửa chữa (nếu có). CHỦ TỊCH HỘI ĐỒNG TRƯỞNG KHOA………… ĐẠI HỌC QUỐC GIA TP.HCM CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM TRƯỜNG ĐẠI HỌC BÁCH KHOA Độc lập - Tự do - Hạnh phúc NHIỆM VỤ LUẬN VĂN THẠC SĨ Họ tên học viên: Đỗ Quang Trí. Ngày, tháng, năm sinh: 26/06/1984.

Nơi sinh: Đồng Nai. Chuyên ngành: Khoa học máy tính. TÊN ĐỀ TÀI: Phát triển phương pháp tinh chế mô hình trên SEAM để hỗ trợ sinh mã tự động. NHIỆM VỤ VÀ NỘI DUNG: Tìm hiểu, so sánh UML và các phương pháp mô hình hệ thống như OPM và SEAM.

Đề xuất một phương pháp hỗ trợ sinh mã tự động hiệu quả hơn trên SEAM Xây dựng công cụ chuyển đổi những mô hình khác nhau của SEAM thành những mô hình chi tiết hơn và cuối cùng sinh ra mã chương trình. NGÀY GIAO NHIỆM VỤ : (Ghi theo trong QĐ giao đề tài). NGÀY HOÀN THÀNH NHIỆM VỤ: (Ghi theo trong QĐ giao đề tài). CÁN BỘ HƯỚNG DẪN (Ghi rõ học hàm, học vị, họ, tên):.

CÁN BỘ HƯỚNG DẪN CHỦ NHIỆM BỘ MÔN ĐÀO TẠO (Họ tên và chữ ký) (Họ tên và chữ ký)     TRƯỞNG KHOA….……… (Họ tên và chữ ký) LỜI CÁM ƠN Trước hết, tôi xin bày tỏ lòng cảm ơn chân thành PGS. Quản Thành Thơ, chủ nhiệm Bộ môn Khoa học máy tính và Ts. Bùi Hoài Thắng, là những người tận tình hướng dẫn tôi trong suốt thời gian làm luận văn tốt nghiệp. Tôi xin cảm ơn các thầy, cô giáo ở khoa Công nghệ thông tin, phòng Sau đại học, trường Đại học Bách Khoa Tp.HCM - ĐHQG Tp.HCM đã giảng dạy tôi trong suốt thời gian học tập tại trường và tạo điều kiện giúp đỡ tôi hoàn thành luận văn này.

Cảm ơn các bạn bè, đồng nghiệp đã cổ vũ động viên tôi trong suốt quá trình học tập tại trường. Tuy đã có những cố gắng nhất định nhưng do thời gian và trình độ có hạn nên chắc chắn luận văn này còn nhiều thiếu sót và hạn chế nhất định. Kính mong nhận được sự góp ý của thầy cô và các bạn.HCM, ngày 18 tháng 07 năm 2013 Học viên Đỗ Quang Trí TÓM TẮT LUẬN VĂN THẠC SỸ 1. Tiếng Việt Sinh mã tự động là một quá trình đi từ mô hình ý niệm để sinh ra mã một cách tự động.

Trong quá trình đó, ở mỗi bước đòi hỏi người sử dụng bổ sung thêm những yêu cầu của hệ thống. Luận văn này với mục tiêu nghiên cứu các công cụ mô hình, so sánh các công cụ với nhau. Bên cạnh đó luận văn cũng tập trung đi sâu phân tích một công cụ mô hình hỗ trợ sinh mã về mặt lý thuyết một cách hiệu quả có tên gọi là SEAM. Sau đó luận văn đề xuất một phương pháp mô hình yêu cầu đi từ mức tổng quát nhất,qua từng bước đi tới mô hình chi tiết nhất để từ đó sinh ra mã thông qua một ví dụ về một hệ thống ERP đơn giản được gọi là GeneralRessorts.

English Code generation is a process to transform visual diagrams to code automatically. In this process, in each step, users require to add more knowledge or requirements for the system. This thesis will invesgate on these modeling tools, compare each others. Besides, the thesis is to analyze deeply one modeling tool support to transform from the simplest diagram to complex diagram, from that, we can generate simple code.

We get one example to model a simple ERP system named GeneralRessorts. LỜI CAM ĐOAN Tôi tên Đỗ Quang Trí, là học viên cao học chuyên ngành Khoa học máy tính, khóa 2009, tại TP. Hồ Chí Minh. Tôi xin cam đoan: - Công trình nghiên cứu này do chính tôi thực hiện.

- Các số liệu trong luận văn là hoàn toàn trung thực và chưa được công bố ở các nghiên cứu khác hay trên bất kỳ phương tiện truyền thông nào. Tôi xin chịu hoàn toàn trách nhiệm về kết quả nghiên cứu trong Luận văn tốt nghiệp của mình. Học viên Đỗ Quang Trí           Mục lục 1 Giới thiệu .2 Mục tiêu của luận văn .3 Giới hạn của luận văn .4 Đóng góp của luận văn .5 Cấu trúc các phần còn lại. GR Case Study .2 Model-driven development (MDD) .2 Tại sao lại là MDD .3 Quá trình MDD .3 Unified Modelling Language (UML) .2 Mô hình GR Case Study với UML .3 Công cụ sinh mã với UML.4 OPM and OPCAT .2 Khái niệm của OPM .3 Tinh chế OPM và những cơ chế trừu tượng .4 Mô hình GR với OPM.5 OPM-GCG Kiến trúc .2 Alloy và công cụ phân tích Alloy .3 Môi trường mô hình .5 Đơn vị chức năng (Funtional Unit) .6 Thiết kế dịch vụ, giả lập và quá trình sinh mã giả.

33 4 Thiết kế mô hình dịch vụ tại General Ressorts. 34 5 Giả lập và sinh mã từ mô hình.1 Giả lập dịch vụ .1 Các kết quả đã đạt được .1 Giới thiệu   Một trong những thách thức lớn trong việc thiết kế hệ thống IT cho doanh nghiệp là xây dựng một quá trình thống nhất đi từ giai đoạn nắm bắt yêu cầu của hệ thống, trải qua các bước thiết kế và cuối cùng là sinh ra mã. Thông thường, các thiết kế hệ thống của doanh nghiệp được thực hiện với một công cụ mô hình nào đó và khi cần sinh ra mã chương trình (ở mức độ đơn giản) thì phải sử dụng một công cụ khác và phải thiết kế lại (mô hình cuối cùng để sinh mã) cho phù hợp với công cụ đó. Mục đính cuối cùng là đảm bảo những thiết kế ban đầu và mã chương trình sinh ra là thống nhất và thỏa mãn thiết kế ban đầu.

Tuy nhiên, đảm bảo yêu cầu trên là một quá trình không đơn giản. Đầu tiên, các mô hình ở giai đoạn thiết kế phải đảm bảo tính thống nhất qua từng giai đoạn thiết kế (đi từ đơn giản đến phức tạp), điều mà các công cụ mô hình hệ thống như Enterprise Architect [5] vẫn chưa làm tốt hoặc chưa hỗ trợ tốt cho người thiết kế. Thứ hai, thiết kế mô hình trong các doanh nghiệp chưa có một hướng dẫn cụ thể các bước thiết kế, đa phần vẫn dựa vào kinh nghiệm của người thiết kế do đó những mô hình sinh ra trong cùng một thiết kế và giữa những người thiết kế khác nhau dễ dẫn đến sự khác biệt đáng kể. Và cuối cùng, giữa thiết kế và sinh mã vẫn còn một khoảng cách do hầu hết các ngôn ngữ sinh mã hiện tại không hỗ trợ các tập đầu vào ở mức tổng quát nhất.

Do đó muốn sử dụng các công cụ đó, người thiết kế phải thiết kế lại mô hình trên các công cụ này ở mức sinh mã mới có thể sử dụng được. Vì những lý do nói trên, luận án này sẽ đi sâu vào phân tích những ngôn ngữ mô hình khác nhau hỗ trợ cho việc thiết kế và sinh mã hệ thống, nghiên cứu những mặt mạnh và những khiếm khuyết của các phương pháp đó. Sau đó, luận án sẽ đề xuất một phương pháp tích hợp hỗ trợ đặc tả quy trình kinh doanh đi xuyên suốt từ giai đoạn thiết kế đơn giản đến phức tạp và cuối cùng đi từ thiết kế phức tạp nhất đến giai đoạn sinh mã nhưng vẫn đảm bảo được tính thống nhất giữa các mô hình đồng thời mô hình cuối cùng sinh ra có thể dễ dàng sử dụng để sinh ra mã   1   chương trình. Phương pháp này dựa trên SEAM [2] (công cụ thiết kế) và BUD[18] (công cụ sinh mã).

Việc phân tích đó sẽ được ứng dụng thông qua một case study cụ thể để thấy được những ứng dụng thực tế của SEAM trong việc phân tích hệ thống nói chung và trong phát triển phần mềm nói riêng.2 Mục tiêu của luận văn  So sánh UML (Unified Modeling Language) và các phương pháp mô hình hệ thống khác như OPM (Object-Process Methodology) và SEAM (Systemic Enterprise Architecture Methodology. Quá trình so sánh được thực hiện dựa trên các tiêu chí: quá trình mô hình, cú pháp (phần tử) mô hình, khả năng sinh ra mã.  Tìm hiểu nền tảng lý thuyết xây dựng nên SEAM.  Đề xuất phương pháp thiết kế mô hình hỗ trợ cho việc thiết kế dịch vụ trong doanh nghiệp sử dụng SEAM [2], hiện thực quá trình mô hình đi thiết kế đơn giản nhất đến chi tiết, từ đó có thể sinh ra mã chương trình bằng cách sử dụng công cụ BUD [18].

 Xây dựng công cụ chuyển đổi những mô hình khác nhau của SEAM tới những mô hình chi tiết hơn.3 Giới hạn của luận văn Luận văn tập trung vào việc phân tích các công cụ sinh mã tự động để rút ra được những điểm mạnh và yếu giữa các công cụ đó. Từ đó đề xuất một phương pháp tốt nhất có thể dùng để thiết kế mô hình, tinh chế mô hình (mô hình sau chi tiết hơn mô hình trước) và kiểm tra tính đúng đắng của mô hình đó. Luận văn không đi sâu vào giai đoạn sinh mã từ mô hình, chỉ tập trung và quá trình đi từ sơ đồ đơn giản nhất, tinh chế để đi tới mô hình phức tạp nhất. Phần sinh mã từ mô hình cuối cùng đã được thực hiện trong một nghiên cứu khác (BUD [18]) và sẽ được sử dụng để sinh ra mã cho mô hình nhằm đảm bảo tính xuyên suốt của thiết kế.