Luận Văn Thạc Sĩ Ngôn Ngữ Chuyển Mô Hình RTL (Restricted Graph Transformations Language)

Ngôn Ngữ Chuyển Mô Hình RTL (Restricted Graph Transformations Language)​

Trình bày cơ sở lý thuyết cho chuyển mô hình: giới thiệu chung về phát triển hướng mô hình và tổng quan về chuyển mô hình. Tìm hiểu ngôn ngữ chuyển mô hình (ngôn ngữ chuyển mô hình giới hạn) RTL tập chung vào nghiên cứu cơ sở hình thức cho RTL gồm: kiến thức cơ sở về văn phạm đồ thị ba; luật chuyển (văn phạm đồ thị ba) TGG ràng buộc (ngôn ngữ ràng buộc đối tượng) OCL; nghiên cứu về cú pháp của RTL và công cụ USE hỗ trợ RTL. Thực nghiệm chuyển mô hình với RTL nghiên cứu ngôn ngữ RTL; xây dựng bài toán chuyển từ biểu đồ hoạt động (ngôn ngữ mô hình hóa thống nhất) UML sang đại số tiến trình (tiến trình giao tiếp tuần tự) CSP bằng việc xây dựng các luật chuyển và áp dụng vào một ví dụ cụ thể.

• Luận văn thạc sĩ Công nghệ thông tin
• Chuyên ngành Công nghệ phần mềm
• Người hướng dẫn khoa học: TS. Đặng Đức Hạnh
• Tác giả: Đinh Ngọc Biên
• Số trang: 68
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội 2012

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1002919
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1