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
Giới thiệu
Đăng ký
Đăng nhập
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
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Công Nghệ Thông Tin
Thủ thuật máy tính
An OCL-Based Framework for Model Transformations
tailieunhanh - 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
76
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
127
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
162
4
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461867
55
Giới thiệu :Lập trình mã nguồn mở
14
22643
59
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
10892
529
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10066
446
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
9519
104
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8281
1125
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8238
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7864
2220
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6687
253
Vật lý hạt cơ bản (1)
29
5770
85
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
Báo cáo khoa học: Loss of kinase activity in Mycobacterium tuberculosis multidomain protein Rv1364c
14
235
0
27-04-2024
Trading Strategies Profit Making Techniques For Stock_8
23
175
0
27-04-2024
MySQL Database Usage & Administration PHẦN 7
37
156
0
27-04-2024
Lịch sử Đội TNTP Hồ Chí Minh - CHƯƠNG III VÂNG LỜI BÁC DẠY, LÀM NGHÌN VIỆC TỐT, CHỐNG MỸ, CỨU NƯỚC, THIẾU NIÊN SĂN SÀNG
45
137
0
27-04-2024
The profit magic of stock Timing The Markets_5
22
119
0
27-04-2024
báo cáo hóa học:" Endoscopic decompression for intraforaminal and extraforaminal nerve root compression"
7
107
0
27-04-2024
Christmas Meditations on the Twelve Holy Days
173
104
0
27-04-2024
báo cáo hóa học:" Journal of the International AIDS Society: an important step forward"
2
84
0
27-04-2024
Điều bạn cần làm để giữ chặt tình yêu
5
107
0
27-04-2024
Anh văn TOEFL Vocabulary-008
8
86
0
27-04-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7864
2220
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
5737
1368
Ebook Chào con ba mẹ đã sẵn sàng
112
3767
1231
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5319
1136
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8281
1125
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3499
643
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
10892
529
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3684
525
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4046
515
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4128
480
crossorigin="anonymous">
Đã 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.