Ngôn ngữ chuyển mô hình RTL (restricted graph transformations language)

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ - - ĐINH NGỌC BIÊN NGƠN NGỮ CHUYỂN MƠ HÌNH RTL (Restricted graph transformations language) Ngành: Công nghệ thông tin Chuyên ngành: Công nghệ phần mềm Mã số: 60.48.10 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN GIÁO VIÊN HƯỚNG DẪN: TS ĐẶNG ĐỨC HẠNH HÀ NỘI – 2012 MỤC LỤC TÓM TẮT ii BẢNG KÝ HIỆU VÀ CÁC CHỮ VIẾT TẮT iii DANH SÁCH HÌNH VẼ iv MỞ ĐẦU Chương I Cơ sở lý thuyết cho chuyển mô hình 1.1 Phát triển hướng mơ hình 1.1.1 Khái niệm mơ hình 1.1.2 Các chuẩn hướng tiếp cận MDD 1.1.3 Kiến trúc MDA 1.2 Tổng quan chuyển mơ hình 1.2.1 Các thuật ngữ chuyển mơ hình 1.2.2 Một số giải pháp sử dụng ngôn ngữ chuyển 1.3 Tổng kết chương 10 Chương II Ngơn ngữ chuyển mơ hình RTL 11 2.1 Cơ sở hình thức cho RTL 11 2.1.1 Kiến thức sở văn phạm đồ thị ba 12 2.1.2 Luật chuyển TGGs ràng buộc OCL 14 2.2 Cú pháp RTL 22 2.3 Thực thi chuyển 23 2.4 USE hỗ trợ RTL 24 Chương III Thực nghiệm chuyển mơ hình với RTL 26 3.1 Bài toán chuyển UML sang CSP 26 3.1.1 Metamodel biểu đồ hoạt động UML 26 3.1.2 Metamodel CSP 28 3.2 Phương thức chuyển 29 3.3 Kết chuyển UML2CSP 31 3.3.1 Xây dựng luật: 31 3.3.2 Áp dụng luật chuyển cho ví dụ cụ thể 37 3.4 Tổng kết chương 38 KẾT LUẬN 40 TÀI LIỆU THAM KHẢO 41 PHỤ LỤC 42 A XÂY DỰNG MƠ HÌNH VÀ LUẬT CHUYỂN ĐỔI 42 B MÃ SINH CỦA LUẬT 49 i Chương I Cơ sở lý thuyết cho chuyển mơ hình Chương giới thiệu mơ hình, ưu điểm việc phát triển hướng mơ hình lý thuyết cho chuyển chuyển mơ hình Giới thiệu số ngơn ngữ chuyển mơ hình phần mềm 1.1 Phát triển hướng mơ hình Phát triển hướng mơ hình (MDD) hướng tiếp cận xem xét việc xây dựng chương trình hoạt động chuyển đổi từ mơ hình sang mơ hình khác Ở hướng tiếp cận đối tượng, tất quy đối tượng Còn hướng tiếp cận MDD tất quy mơ hình Một số ưu điểm phát triển hướng mơ hình - MDD nhanh hơn: Trong MDD mơ hình ứng dụng phần mềm xác định mức độ trừu tượng cao so với ngơn ngữ lập trình truyền thống - MDD chi phí-hiệu hơn: MDD có chi phí hiệu Lý MDD thực nhanh đưa thị trường nhanh Lý thứ hai làm với chi phí thấp - MDD làm chất lượng tăng: Một phần mềm ứng dụng quy định cụ thể mơ hình cấp cao thực cấu chuyển đổi thành mã, chất lượng (kỹ thuật) ứng dụng phụ thuộc vào cấu trúc sinh Do đó, chất lượng tăng lên nhiều phát triển người tốt - MDD bị lỗi: Việc kiểm thử phần mềm tốn nhiều thời gian chuyên mơn MDD đảm bảo bạn tập trung vào kiểm tra chức ứng dụng, tức chấp nhận thử nghiệm - MDD xác nhận có ý nghĩa: Ngay chức bị lỗi sử dụng cách tiếp cận MDD, kiểm chứng thực có ý nghĩa thực mơ hình cao cấp - MDD kết phần mềm bị ảnh hưởng với thay đổi - MDD trao quyền cho chuyên gia miền: MDD thi hành tách biệt mối quan tâm kỹ Chuyên gia miền tập trung vào việc mơ hình hóa miền, chuyên viên kỹ thuật tập trung vào xây dựng công cụ cần thiết cho MDD - MDD lập trình tiên tiến cho phép tập trung công cụ cứng: với MDD, nhà phát triển tiên tiến làm cơng việc lặp lặp lại -MDD cầu nối khoảng cách kinh doanh CNTT Liên kết kinh doanh-IT vấn đề nói xây dựng phần mềm MDD mang lại cho kinh doanh CNTT gần - MDD kết phần mềm nhạy cảm với thay đổi yêu cầu kinh doanh Một vấn đề phát triển phần mềm yêu cầu kinh doanh thường xuyên thay đổi nhanh so với hệ thống phần mềm hỗ trợ Tuy nhiên, MDD cung cấp giải pháp làm cho phát triển phần mềm nhanh , dẫn đến dễ dàng để thay đổi ứng dụng - MDD kết phần mềm nhạy cảm với thay đổi công nghệ - MDD thực thực thi kiến trúc: Các công ty thường xác định nguyên tắc kiến trúc Ứng dụng phần mềm phải tuân thủ nguyên tắc này, làm để kiểm tra thi hành tuân thủ tất mã tạo tay? Khi sử dụng MDD ứng dụng phần mềm đảm bảo thực với kiến trúc lựa chọn Bạn thực chuẩn hóa IT bạn ngun tắc kiến trúc thực thi công cụ MDD - MDD nắm bắt kiến thức miền: MDD không tạo phần mềm, thu nhận tri thức miền mơ hình hình thức, cao cấp - MDD cập nhật tài liệu thường xuyên - MDD cho phép tập trung vào vấn đề kinh doanh thay cơng nghệ 1.1.1 Khái niệm mơ hình Để hiểu rõ MDD, sau đưa số khái niệm MDD metamodel, mô hình… - Model: mơ hình cách biểu diễn hệ thống đơn giản giúp hiểu hệ thống Mơ hình thường diễn đạt ngơn ngữ đặc tả miền cụ thể hay ngôn ngữ mô hình hóa chung UML Mơ hình biểu diễn ký hiệu đồ họa - Metamodel: Một metamodel mơ hình X miêu tả cấu trúc mơ hình X theo kiểu hợp lệ Một metamodel so sánh với ngữ pháp thiết kế ngôn ngữ Metamodel đinh nghĩa xác điều kiện tiên cho chuyển mơ hình - Metametamodel: metametamodel mơ hình X metamodel sử dụng để miêu tả metamodel model X Nó so sánh với ngữ pháp ngôn ngữ, mà sử dụng để miêu tả ngữ pháp ngôn ngữ X Nền tảng thiết lập tốt tiêu chuẩn cho việc metametamodel tồn MOF hay Ecore MOF chuẩn OMG cho việc định nghĩa metamodel MOF có hai phiên bản: Complete MOF(CMOF) Essential MOF (EMOF) Một cài đặt EMOF sử dụng phổ biến Ecore, định nghĩa Eclipse Modeling Framework (EMF) 1.1.2 Các chuẩn hướng tiếp cận MDD Hướng tiếp cận MDD phát triển sử dụng rộng rãi ngành công nghiệp phần mềm Hiện có nhiều tổ chức tham gia nghiên cứu để thành lập chuẩn riêng như: MDA (Model Driven Architecture) tổ chức OMG, MIC (Model Intergrated Computing) nhóm ISIS đại học Vanderbilt, SF (Software Factories) cơng ty Microsoft, số chuẩn khác Trong chuẩn đó, MDA OMG cơng bố rộng rãi, phát triển mạnh giới nghiên cứu Hơn ứng dụng để tạo nhiều công cụ hỗ trợ trình xây dựng phần mềm, công cụ phát triển nhanh môi trường Eclipse 1.1.3 Kiến trúc MDA MDA tổ chức OMG đề xuất năm 2000 MDA hướng tiếp cận xem việc xây dựng phần mềm việc chuyển đổi từ mơ hình sang mơ hình khác MDA đề xuất bắt nguồn từ nhu cầu tồn lâu là: làm rõ đặc tả tác vụ hệ thống, phụ thuộc vào tảng, không phụ thuộc tảng, đồng thời chia mức độ phụ thuộc vào tảng MDA cung cấp tập nguyên tắc dẫn việc xây dựng, đặc tả cấu trúc hệ thống biểu diễn mơ hình Các mơ hình sau sinh bán tự động từ mã nguồn có khả thực thi máy chuyển mơ hình MDA dựa cách sử dụng có hệ thống mơ tác tử kỹ nghệ sơ cấp Các mơ hình xem lớp thực thể, thay mã nguồn Mã nguồn sinh từ mơ hình, từ khung phát triển tới sản phẩm hồn thiện triển khai Khi đó, người phát triển tập trung tới vấn đề (tức mơ hình) mà khơng cần quan tâm tới tảng cài đặt cụ thể Ở tảng ngơn ngữ cài đặt Java, PHP… công nghệ JSF, Spring… áp dụng Sự phức tạp tảng lý cho thấy phát triển hướng mô hình hiệu quả, có tính mềm dẻo, khả khả chuyển cao Cũng lí đó, MDA phát triển mạnh mẽ giới nghiên cứu nhiều cơng cụ hỗ trợ q trình xây dựng phần mềm Hướng tiếp cận MDA định hướng công cụ hỗ trợ xây dựng phải đạt được: - Xác định phần độc lập hệ thống tảng - Xác định phần phụ thuộc tảng - Chọn tảng chuyên biệt mà hệ thống phù hợp - Chuyển hệ thống từ đặc tả tảng sang đặc tả tảng khác Trong kiến trúc hướng mơ hình MDA, loại mơ hình sau sử dụng: Mơ hình độc lập tính tốn(CIM), mơ hình độc lập (Platform Independent Model), mơ hình phụ thuộc (Platform Specific Model) Ba mơ hình biểu diễn cách nhìn hệ thống từ khía cạnh khác hệ thống mức độ trừu tượng tương ứng với giai đoạn phân tích, thiết kế triển khai kỹ nghệ phần mềm 1.2 Tổng quan chuyển mơ hình Trong phát triển hướng mơ hình chuỗi mơ hình tạo trì Mơ hình biểu diễn giai đoạn khác tiến trình phát triển Thêm nữa, mơ hình thể khung nhìn khác hệ thống biểu diễn cấp trừu tượng khác hệ thống Chuyển mơ hình khái niệm trọng tâm lĩnh vực phát triển hướng mơ hình Chuyển mơ hình cung cấp chế cho việc tự động tạo cập nhật mơ hình đích dựa thơng tin chứa mơ hình nguồn Khi chuyển mơ hình định nghĩa xác, sử dụng để đảm bảo qn mơ hình khác Hiện tồn nhiều công nghệ chuyển mơ hình, loại có khác miền vấn đề, chẳng hạn đặc thù vấn đề giải cơng nghệ chuyển mơ hình chế, chẳng hạn đặc thù ngôn ngữ chuyển mô hình Có kiểu chuyển: Chuyển Model to Text(M2T) Chuyển Model to Model (M2M) 1.2.1 Các thuật ngữ chuyển mơ hình - Ngơn ngữ chuyển mơ hình: tập từ vựng ngữ pháp định nghĩa ngữ nghĩa tốt cho khả chuyển mơ hình - Luật chuyển mơ hình: Một luật chuyển mơ hình mô tả thực thể nhỏ chuyển mơ hình Nó miêu tả cách phần mơ hình nguồn chuyển tới phần mơ hình đích Một luật chứa mẫu nguồn mẫu đích Đối với phần xuất mẫu nguồn mơ hình nguồn tương ứng mẫu đích tạo mơ hình đích Trong ngữ cảnh chuyển mơ hình dựa đồ thị mẫu nguồn gọi phần bên trái (LHS) mẫu đích gọi phần bên phải (RHS) - Mơ hình nguồn: ngữ cảnh chuyển mơ hình, mơ hình đóng vai trò mơ hình nguồn, đầu vào bước chuyển Mơ hình nguồn tuân thủ metamodel nguồn Có thể có nhiều mơ hình nguồn đầu vào bước chuyển.- Mơ hình đích: ngữ cảnh chuyển mơ hình, mơ hình đóng vai trò mơ hình đích, đầu bước chuyển mơ hình Mơ hình đích phải tn thủ metamodel đích Một phép chuyển mơ hình có thẻ có nhiều mơ hình đích Thuật ngữ mơ hình đích sử dụng cho phép chuyển mơ hình tới mơ hình (M2M) Hình 1.1 Mơ hình mối quan hệ mức meta 1.2.2 Một số giải pháp sử dụng ngôn ngữ chuyển Sau giới thiệu số ngôn ngữ công cụ chuyển quan tâm rộng rãi cộng đồng nghiên cứu công nghiệp Giải pháp sử dụng AGG (Algebraic Graph Transformation) AGG ngơn ngữ chuyển mơ hình theo kiểu đại số AGG bao gồm tập hợp đối tượng Node Edge Các Node liên kết với thông qua Edge AGG bao gồm lớp trung gian hai mơ hình nguồn đích Mỗi lớp trung gian tương ứng đối tượng mơ hình nguồn đối tượng mơ hình đích Mỗi đối tượng có định danh phục vụ cho chuyển đổi tương ứng mơ hình nguồn đích Ngồi ra, đối tượng AGG có thuộc tính, kiểu thuộc tính, bao gồm ràng buộc số lượng đối tượng liên kết với AGG dựa sở chặt chẽ toán học, đồng thời có khả kiểm tra ràng buộc OCL mơ hình nguồn mơ hình đích Vì vậy, thường cho mơ hình đích xác Tuy nhiên, AGG gặp phải hạn chế lớn vấn đề đặc tả, ngơn ngữ biểu diễn mơ hình Vì vậy, khó để áp dụng AGG thực tế Giải pháp sử dụng ATL (ATLAS Transformation Language) ATL ngơn ngữ chuyển mơ hình tới mơ hình ATL hỗ trợ phép chuyển mơ hình theo hướng Một chương trình chuyển ATL bao gồm luật chuyển mô tả cách tạo phần tử mơ hình đích Ngơn ngữ đặc tả metamodel cú pháp cụ thể dạng ký tự ATL tích hợp mơi trường phát triển Eclipse làm việc với mơ hình dựa EMF Mã nguồn ATL biên dịch sau chạy máy chuyển mơ hình Query/View/Transformation (QVT) Query/View/Transformation (QVT) ngôn ngữ chuẩn cho chuyển mơ hình tạo OMG QVT sử dụng ngơn ngữ ràng buộc đối tượng (OCL), MOF chỉnh theo kiến trúc hướng mơ hình MDA QVT theo tên cho phép chuyển mơ hình (transformation), biểu diễn mơ hình (view) truy vấn (query) Truy vấn mơ hình biểu diễn mơ hình xem loại đặc biệt chuyển mô hình QVT tích hợp mơi trường phát triển Eclipse QVT định nghĩa ba ngôn ngữ cho chuyển mơ hình tới mơ hình (M2M) Tất chúng hoạt động tren mơ hình tn thủ MOF 2.0 metamodels - QVT Relational : ngơn ngữ chuyển mơ hình sơ khai Cả cú pháp dạng ký tự dạng đồ họa định nghĩa cho QVT Ngôn ngữ hỗ trợ chuyển mơ hình hai chiều Một phép chuyển đặc tả tập quan hệ metamodel nguồn metamodel đích Phép chuyển sử dụng để kiểm tra tính hợp lệ hai mơ hình - QVT Core : ngơn ngữ chuyển mơ hình khai báo cấp thấp, tảng cho ngôn ngữ QVT Relational - QVT Operatinal : ngôn ngữ chuyển đổi mệnh lệnh (imperative) thiết kế cho việc phép chuyển theo hướng 10 Chương II Ngơn ngữ chuyển mơ hình RTL 2.1 Cơ sở hình thức cho RTL 2.1.1 Kiến thức sở văn phạm đồ thị ba Văn phạm đồ thị ba (TGG) mở rộng chuyển đổi đồ thị để cung cấp khả mô tả chuyển đổi phức tạp công nghệ phần mềm Phương pháp đặc tả cho phép khai báo chuyển hai chiều ngôn ngữ đồ thị khác Cụ thể, TGG cho phép thiết lập tương ứng hai đồ thị thuộc văn phạm nguồn đích cách chèn thêm văn phạm để liên hệ hai văn phạm Trong cách này, luật chuyển đồ thị ba thu gồm thành phần: luật vế phải, luật vế trái, luật kết nối Đồ thị tích hợp thu dẫn xuất luật đồ thị ba gọi đồ thị ba - Định nghĩa (Đồ thị, ánh xạ đồ thị): Đồ thị G =(GV ,GE, sG, tG), GV đỉnh, GE cạnh, hàm sG, sT: GE → GV xác định định nguồn đích cạnh Cho đồ thị G, H có ánh xạ đồ thị f= (fV, fE): G→H gồm có hai ánh xạ fV: GV→GE fE: GE→HE tương ứng định cạnh fVo sG=sH o fE fV o tG = tH o fE - Định nghĩa 2: Bộ (G, typeG) đồ thị G=(V,E,s,t) với đồ thị ánh xạ typeG: G→ TG, TG gọi đồ thị kiểu G thể TG Cho đồ thị G= (G, typeG) H=(H, typeH), f đồ thị ánh xạ G H f: G→ H typeH o f = typeG -Định nghĩa (Đồ thị ba, ánh xạ đồ thị ba): Ba đồ thị SG, CG, TG đồ thị nguồn, đồ thị đích, đồ thị kết nối, với hai đồ thị ánh xạ sG: CG → SG tG : CG → TG tạo thành đồ thị ba G =(SG sG← CG →tG TG) G gọi rỗng nếu, SG, CG TG đồ thị rỗng Đồ thị ánh xạ ba m= (s,c,t): G->H hai đồ thị triple G = (SG sG← CG →tG TG) H = (SH sH← CH →tH TH) gồm có ba đồ thị ánh xạ s : SG → SH, c : CG → CH t : TG → TH s ◦ sG = sH ◦ c t ◦ tG = tH ◦ c - Định nghĩa (Văn phạm đồ thị ba): Luật chuyển ba tr = L →tr R bao gồm đồ thị ba L R ánh xạ ba tr cho 11 • Hỗ trợ ràng buộc metamodel cho phần tương ứng quy tắc TGG Giả sử tất ràng buộc phải thực từ luật TGG Ngồi ra, tích hợp TGGs OCL yêu cầu biến thể TGGs Một nút miền tương ứng kết nối với nhiều nút miền lại Đây biến thể TGGs gốc TGG ánh xạ 1-1 Trong phần mở rộng , luật TGG xóa, ngược lại chúng định nghĩa từ ban đầu luật TGG khơng xóa Hình 2.4: Luật chuyển ba addAssociation tích hợp OCL 14 2.2 Cú pháp RTL Cú pháp RTL dựa hình thức lai mơ hình cho luật chuyển ba tích hợp OCL sau: rule [mode NONDELETING|EXPLICT] checkSource( ){ } checkTarget( ){ } checkCorr( ){ } end Nguồn, đích kết nối luật chuyển ba miêu tả từ khóa ‘checkSource’, ‘checkTarget’, ‘checkCorr’ Các LHS RHS tương ứng phần dấu ngoặc đơn dấu ngoặc nhọn Các từ khóa NONDELETING EXPLICIT hai chế độ cho đặc tả khơng xóa xóa luật Ngơn ngữ RTL cung cấp tính đặc biệt để xác định ánh xạ phần nguồn phần đích luật chuyển ba: (objectS, objectT) as (roleS, roleT) in objectC: ClassC mục S, T, C tương ứng nguồn, đích kết nối Phần mở rộng cho phép tạo metamodel cho phần kết nối 2.3 Thực thi chuyển Xây dựng ngôn ngữ đặc tả chuyển RTL: Ở đề xuất ngôn ngữ RTL để đặc tả chuyển diễn đạt OCL luật chuyển đồ thị ba 15 Từ đặc tả RTL sinh phép toán thực thi OCL với tiền hậu điều kiện phép tốn Hình biểu diễn luật chuyển đồ thị ba phép toán OCL tương ứng sinh Hình 2.8: Đặc tả luật với RTL phép tốn chuyển OCL sinh Chúng tơi đề xuất phương pháp tiếp cận dựa OCL cho mơ tả hoạt động TGGs tích hợp OCL Một luật chuyển ba ánh xạ tới hoạt động OCL Các hoạt động thực hai yếu tố nó: khai báo OCL tiền hậu điều kiện sử dụng hoạt động ràng buộc, chuỗi lệnh đưa hoạt động thực Các lợi ích phương pháp tiếp cận bao gồm: • Hoạt động tiền điều kiện cho phép kiểm tra luật chuyển ba (dẫn xuất) áp dụng Sau áp dụng luật, kiểm tra hậu điều kiện luật cho đặc tả chuyển đổi • Chúng ta có mơ tả hoạt động TGGs kết hợp OCL cách tạo từ khai báo tương ứng RTL Chuyển đổi cho phép giữ dấu vết mơ tả • Cách tiếp cận dựa OCL cho phép đề xuất hoạt động có dẫn xuất từ luật chuyển ba cho đồng hóa mơ hình 16 Chuyển đổi luật chyển ba đến OCL 2.4 USE hỗ trợ RTL Với việc công cụ USE , sơ đồ lớp UML với kết hợp ràng buộc OCL xác nhận tính hợp lệ Cụ thể, USE cho phép kiểm tra tính bất biến lớp, hoạt động tiền hậu điều kiện, thuộc tính mơ hình, thể OCL Trạng thái hệ thống USE biểu diễn biểu đồ đối tượng UML Phát triển hệ thống thực cách sử dụng hoạt động dựa thao tác trạng thái Bằng cách này, tích hợp TGGs OCL hoàn toàn bao phủ USE [2],[3] Biểu diễn mơ hình Các mơ hình máy chủ biểu diễn sơ đồ đối tượng USE Các mơ hình ràng buộc bất biến metamodel Khớp luật TGG Khớp luật thực cách đánh giá truy vấn OCL sơ đồ đối tượng đồ thị nguồn Các truy vấn nắm bắt tiền điều kiện hoạt động tương ứng với luật Áp dụng luật TGG Một áp dụng luật thực gọi hoạt động gọi Áp dụng luật lệnh USE thực luật, từ tạo đối tượng liên kết cho phía bên tay phải Trình tự áp dụng luật trình bày sơ đồ trình tự 17 Chương III Thực nghiệm chuyển mơ hình với RTL 3.1 Bài toán chuyển UML sang CSP Ngày nay, hệ thống chuyển đổi mơ hình có nhiều trở nên phổ biến, nhiều công cụ đề xuất Cơng cụ USE [2] tích hợp OCL phát triển để hỗ trợ chuyển đổi USE hỗ trợ đầy đủ OCL chứng minh khả để thực chuyển đổi cách tốt Phần mở rộng USE đưa giải pháp cho việc nghiên cứu chuyển đổi từ sơ đồ hoạt động UML sang CSP Ở nghiên cứu chuyển đổi mơ hình có metamodel khác Trong trường hợp metamodel biểu đồ hoạt động UML tiến trình CSP Trong giải pháp này, luật tương ứng với hoạt động chuyển đổi áp dụng biểu đồ đối tượng Mỗi chuyển đổi kiểm tra tiền hậu điều kiến OCL 3.1.1 Metamodel biểu đồ hoạt động UML Trong hình 3.1, biểu diễn metamodel biểu đồ hoạt động USE Biểu đồ hoạt động gồm hai thành phần ActivityEdge ActivityNode Các thành phần kế thừa từ ActivityNode InitialNode, FinalNode, DecisonNode, ForkNode, MergeNode, Action JoinNode USE sử dụng phương pháp đặc tả dạng text để biểu diễn metamodel Trong đó, biểu thức OCL đưa vào để kiểm tra tính đắn mơ hình Hình 3.1 Metamodel biểu đồ hoạt động UML 18 Hình 3.2: Ví dụ biểu đồ hoạt động Hình 3.2 đưa ví dụ biểu đồ hoạt động Đây mơ hình đầu vào cho case study chuyển mơ hình từ UML sang CSP Hình 3.3 biểu diễn biểu đồ dạng metamodel Với USE, việc tạo biểu đồ ln kiểm tra tính hợp lệ, quán thông qua biểu thức OCL đặc tả metamodel Ngồi ra, USE hỗ trợ kiểm tra trực tiếp đối tượng có với biểu thức OCL thông qua cửa sổ biểu thức OCL 19 Hình 3.3: Biểu đồ hoạt động biểu diễn USE 20 3.1.2 Metamodel CSP Hình 3.4: Metamodel CSP 3.2 Phương thức chuyển Trong phần mơ tả luật chuyển đổi giửa hai mơ hình UML Activity CSP Các thành phần hai mô hình mapping tương ứng với nhau: 1.Một ActivityEdge tương ứng với ProcessIdentifier; Action tương ứng với Event A Action B InitialNode tương ứng với ProcessAssignment A A=… FinalNode tương ứng với process SKIP 21 A DecisionNode tương ứng với toán tử Condition (guard tương ứng với expression) A B[x] D[else] C[y] MergerNode A B C FokeNode tương ứng với toán tử Concurrency A B C D JoinNode A B D C 22 3.3 Kết chuyển UML2CSP Tập hợp luật chuyển cho case study UML2CSP: Chuyển đổi từ biểu đồ hoạt động sang CSP Hình 3.5: Luật trafoInitialNode Hình 3.6 Luật trafoActionNode 23 Hình 3.7 Luật trafoFinalNode Hình 3.8 Luật trafoDecisionNode 24 Hình 3.9 Luật trafoForkNode Hình 3.10 Luật trafoMergeNode 25 Hình 3.11 Luật trafoJoinNode 26 KẾT LUẬN Đầu tiên, luận văn trình bày cách tổng quan phát triển hướng mơ hình (MDD), nêu rõ vai trò quan trọng chuyển mơ hình phát triển hệ thống phần mềm (Chương I) Thứ hai, nghiên cứu ngơn ngữ chuyển mơ hình RTL với việc sử dụng văn phạm đồ thị ba (TGG) tích hợp ngôn ngữ ràng buộc đối tượng OCL, chế xây dựng luật chuyển đồ thị dựa cú pháp ngôn ngữ RTL (chương II) Thứ ba, sở nghiên cứu ngơn ngữ RTL, từ xây dựng luật chuyển UML sang CSP áp dụng vào số mơ hình chuyển đổi cụ thể biểu đồ lớp, biểu đồ đối tượng UML dựa công cụ USE (UML based Specification Environment) Trong luận văn này, thành phần metamodel có biểu thức OCL kèm theo để kiểm tra tính toàn vẹn, nhiên thời gian hạn chế nên ràng buộc dừng lại mức mô hình, vấn đề kiểm tra tính hợp lệ mơ hình chưa kiểm chứng cụ thể Vì hướng phát triển kiểm chứng tính hợp lệ phương pháp chuyển đổi dựa vào văn phạm đồ thị ba (TGG) tích hợp OCL với cơng cụ USE để kiểm tra tính tồn vẹn, tăng chất lượng phần mềm 27 Thank you for evaluating AnyBizSoft PDF Splitter A watermark is added at the end of each output PDF file To remove the watermark, you need to purchase the software from http://www.anypdftools.com/buy/buy-pdf-splitter.html ... Transformation Language) ATL ngôn ngữ chuyển mơ hình tới mơ hình ATL hỗ trợ phép chuyển mơ hình theo hướng Một chương trình chuyển ATL bao gồm luật chuyển mô tả cách tạo phần tử mơ hình đích Ngơn ngữ đặc... chuyển: Chuyển Model to Text(M2T) Chuyển Model to Model (M2M) 1.2.1 Các thuật ngữ chuyển mơ hình - Ngơn ngữ chuyển mơ hình: tập từ vựng ngữ pháp định nghĩa ngữ nghĩa tốt cho khả chuyển mơ hình -... quan chuyển mơ hình 1.2.1 Các thuật ngữ chuyển mơ hình 1.2.2 Một số giải pháp sử dụng ngôn ngữ chuyển 1.3 Tổng kết chương 10 Chương II Ngơn ngữ chuyển mơ hình RTL