Luận Văn Thạc Sĩ Về Ngôn Ngữ Chuyển Mô Hình RTL Trong Phát Triển Phần Mềm

Người đăng

Ẩn danh

Thể loại

Luận Văn
68
1
0

Phí lưu trữ

30 Point

Mục lục chi tiết

MỤC LỤC TÓM TẮT

BẢNG KÝ HIỆU VÀ CÁC CHỮ VIẾT TẮT

DANH SÁCH HÌNH VẼ

MỞ ĐẦU

1. CHƯƠNG 1: CƠ SỞ LÝ THUYẾT CHO CHUYỂN MÔ HÌNH

1.1. Phát triển hướng mô hình

1.2. Khái niệm về mô hình

1.3. Các chuẩn hướng tiếp cận MDD

1.4. Kiến trúc MDA

1.5. Tổng quan về chuyển mô hình

1.6. Các thuật ngữ trong chuyển mô hình

1.7. Mô hình mối quan hệ ở mức metamodel

1.8. Một số giải pháp sử dụng ngôn ngữ chuyển

2. CHƯƠNG 2: NGÔN NGỮ CHUYỂN MÔ HÌNH RTL

2.1. Cơ sở hình thức cho RTL

2.2. Kiến thức cơ sở về văn phạm đồ thị ba

2.3. Luật chuyển TGGs ràng buộc OCL

2.4. Cú pháp của RTL

2.5. Thực thi chuyển

2.6. USE hỗ trợ RTL

3. CHƯƠNG 3: THỰC NGHIỆM CHUYỂN MÔ HÌNH VỚI RTL

3.1. Bài toán chuyển UML sang CSP

3.2. Metamodel của biểu đồ hoạt động UML

3.3. Metamodel của CSP

3.4. Phương thức chuyển

3.5. Kết quả chuyển UML2CSP

3.6. Xây dựng luật

3.7. Áp dụng luật chuyển cho ví dụ cụ thể

3.8. Tổng kết chương

TÀI LIỆU THAM KHẢO

Luận văn thạc sĩ vnu uet ngôn ngữ chuyển mô hình rtl restricted graph transformations language