Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Tài liệu HOT
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
0
Trang chủ
Công Nghệ Thông Tin
Thủ thuật máy tính
An OCL-Based Framework for Model Transformations
TAILIEUCHUNG - An OCL-Based Framework for Model Transformations
This paper proposes an OCL-based framework for model transformations. The formal foundation of the framework is the integration of Triple Graph Grammars and the Object Constraint Language (OCL). The OCL-based transformation framework offers an on-the-fly verification of model transformations and means for transformation quality assurance. | VNU Journal of Science: Comp. Science & Com. Eng., Vol. 32, No. 1 (2016) 42–57 An OCL-Based Framework for Model Transformations Duc-Hanh Dang1,∗, Martin Gogolla2 1 VNU University of Engineering and Technology, Hanoi, Vietnam 2 University of Bremen, Bremen, Germany Abstract Model transformation is an important building block for model-driven approaches. It puts forward a necessity and a challenge to specify and realize model transformation as well as to ensure the correctness of transformations. This paper proposes an OCL-based framework for model transformations. The formal foundation of the framework is the integration of Triple Graph Grammars and the Object Constraint Language (OCL). The OCL-based transformation framework offers an on-the-fly verification of model transformations and means for transformation quality assurance. Received 06 December 2015, revised 25 December 2015, accepted 31 December 2015 Keywords: Model Transformation, OCL, Validation & Verification, Precondition and Postcondition, Invariant. 1. Introduction are proposed in [8] as a similar approach for bidirectional transformations. In addition to specification and realization of transformations as proposed by these works, several papers discuss how to ensure the correctness of transformations. In [9] the authors introduce a method to derive Object Constraint Language (OCL) invariants from declarative transformations like TGGs and QVT in order to enable their verification and analysis. The work in [10] aims to establish a framework for transformation testing. To the best of our knowledge, so far there has not been any suitable approach yet to support both specification and quality assurance of transformations. Model transformation can be seen as the heart of model-driven approaches [1]. Transformations are useful for different goals such as (1) to relate views of the system to each other; (2) to reflect about a model from other domains for an enhancement of model analysis; and (3) to .
Quang Tuấn
74
16
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
Bài giảng Khoa học học máy tính: Giới thiệu tổng quát về khoa khoa học máy tính
25
72
3
Luận án tiến sĩ Khoa học máy tính: Tìm kiếm ảnh dựa trên đồ thị chữ ký nhị phân
130
149
4
Tóm tắt luận án tiến sĩ Khoa học máy tính: Nghiên cứu một số phương pháp lập lịch trong mạng chuyển mạch chùm quang
27
126
0
Bài kiểm tra khoa học máy tính
63
126
0
Bài giảng Khoa học máy tính - ĐH Nông nghiệp I
91
137
0
Tiểu luận: Các nguyên lý sáng tạo và phần mềm máy tính
24
153
1
Luận án Tiến sĩ Khoa học máy tính: Một số phương pháp xử lý và phân loại tín hiệu điện não cho các ứng dụng giao diện não – máy tính
125
54
3
Bài giảng Các vấn đề cơ sở của khoa học máy tính: Chương 1 - ThS. Tô Oai Hùng
24
183
0
Bài giảng Kiến trúc máy tính: Giới thiệu môn học - Nguyễn Thanh Sơn (2019)
12
143
2
Luận án Tiến sĩ Khoa học máy tính: Cải tiến chất lượng dịch máy thống kê Anh - Việt dựa vào đảo trật tự từ theo cây cú pháp phụ thuộc
146
161
4
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461742
55
Giới thiệu :Lập trình mã nguồn mở
14
22089
54
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10741
524
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
9935
445
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9427
104
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8135
1122
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8135
421
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7820
2213
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6508
247
Vật lý hạt cơ bản (1)
29
5680
81
TỪ KHÓA LIÊN QUAN
Thủ thuật máy tính
Khoa học máy tính
Tạp chí khoa học
Model Transformation
Validation & Verification
Precondition and Postcondition
Bài giảng Khoa học học máy tính
Khoa học học máy tính
Giới thiệu tổng quát về khoa khoa học máy tính
Hệ đào tạo khoa học máy tính
Công nghệ thông tin
Luận án tiến sĩ Khoa học máy tính
Tiến sĩ Khoa học máy tính
Luận án Khoa học máy tính
Đồ thị chữ ký nhị phân
Tóm tắt luận án Khoa học máy tính
Luận án tiến sĩ
Mạng chuyển mạch chùm quang
Phân đoạn chùm
thủ thuật máy tính
kỹ năng máy tính
kỹ thuật máy tính
tài liệu công nghệ thông tin
Bài kiểm tra khoa học máy tính
Bài giảng Khoa học máy tính
Máy tính và phân loại
Hệ thống máy tính
Bộ xử lý trung tâm
Phân loại máy tính
Nguyên lý sáng tạo phần mềm máy tính
Sáng tạo phần mềm máy tính
Phần mềm máy tính
Đề tài phương pháp nghiên cứu khoa học
Tiểu luận phương pháp nghiên cứu khoa học
Phương pháp nghiên cứu khoa học tin học
Nghiên cứu khoa học tin học
Phương pháp xử lý
Phân loại tín hiệu điện não
Ứng dụng giao diện não – máy tính
Cấu trúc giải thuật
Phần cúng máy tính
Ngôn ngữ máy tính
Ngôn ngữ lập trình
Mạng máy tính
Bài giảng Kiến trúc máy tính
Kiến trúc máy tính
Phần cứng máy tính
Cải tiến chất lượng dịch máy
Chất lượng dịch máy
Máy thống kê
Cú pháp phụ thuộc
Chuyên ngành Khoa học máy tính
Đào tạo chuyên ngành Khoa học máy tính
Đào tạo Tiến sĩ Khoa học máy tính
Vấn đề đào tạo Tiến sĩ
Chương trình đào tạo Tiến sĩ
Hướng dẫn đào tạo Tiến sĩ
Kiến trúc chính phủ điện tử
Luận văn Thạc sỹ
Thạc sỹ ngành Khoa học máy tính
Dịch vụ công trực tuyến
Tài liệu khoa học máy tính
Tạp chí Khoa học phổ thông
Làm bạn với máy vi tính
Khoa học kỹ thuật
Luận văn Thạc sĩ Khoa học
Tóm tắt luận văn Thạc sĩ Khoa học
Luận văn Thạc sĩ ngành Khoa học máy tính
An ninh mạng máy tính
Mô hình mạng máy tính không dây
Các loại hình tấn công mạng
Lắp ráp máy tính để bàn
Lắp ráp máy tính điện tử
Phần mềm lắp ráp máy tính ảo
Hướng dẫn lắp ráp máy tính
Linh kiện lắp ráp máy tính
Mô hình máy tính
Máy tính nhúng
Kiến trúc tập lệnh
Đề tài nghiên cứu khoa học
Báo cáo nghiên cứu khoa học
Hệ thống đại số máy tính
Dạy và học đại số tuyến tính
Đại số tuyến tính
phương pháp tính
tài liệu phương pháp tính
giải gần đúng phương trình
Tính toán đám mây
Bài toán lập lịch trên tính toán đám mây
Thuật toán lập lịch
Môi trường tính toán đám mây
Sách giáo khoa lớp 10
Sách giáo khoa Cánh diều lớp 10
Chuyên đề học tập Tin học 10
Chuyên đề học tập Tin học 10: Khoa học máy tính
Robot giáo dục
Kết nối robot giáo dục với máy tính
Lập trình điều khiển robot giáo dục
hướng dẫn ứng dụng máy tính và sản xuất
kỹ thuật ứng dụng máy tính và sản xuất
kinh nghiệm ứng dụng máy tính và sản xuất
cẩm nang ứng dụng máy tính và sản xuấtáo dục
nghiên cứu khoa học
khoa học công nghệ
Luận văn Thạc sĩ
Luận văn Thạc sĩ Khoa học máy tính
Thuật toán suy diễn
Hệ hỗ trợ chẩn đoán lỗi máy tính
Phương pháp nâng cấp máy tính
Nguyên tắc sáng tạo
Sáng tạo chuột máy tính
Chuột máy tính
TÀI LIỆU MỚI ĐĂNG
Động cơ đốt trong và máy kéo công nghiêp tập 1 part 7
23
245
0
29-03-2024
Sáng tạo trong thuật toán và lập trình với ngôn ngữ Pascal và C# Tập 2 - Chương 4
47
233
1
29-03-2024
GIÁO TRÌNH ĐỊNH MỨC XÂY DỰNG CƠ BẢN - PHẦN I ĐỊNH MỨC LAO ĐỘNG VÀ THỜI GIAN SỬ DỤNG MÁY - CHƯƠNG 2
11
284
0
29-03-2024
extremetech Hacking BlackBerry phần 9
31
225
0
29-03-2024
Sẵn sàng cho thảm họa
9
210
0
29-03-2024
Monstrosity, medicine, and misunderstanding
44
181
0
29-03-2024
Anh văn bằng C-124
8
163
0
29-03-2024
Getting StartED with Windows 7 phần 5
42
171
1
29-03-2024
TƯƠNG QUAN GIỮA MÔ HỌC, GIẢI PHẪU VÀ HÌNH ẢNH CỦA CÁC KHỐI U PHẦN PHỤ
3
161
0
29-03-2024
Management and Services Part 1
10
148
0
29-03-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7820
2213
Ebook Chào con ba mẹ đã sẵn sàng
112
3652
1219
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
5141
1175
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8135
1122
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5038
1084
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3408
638
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3621
524
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10741
524
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
3905
502
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4027
470
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.