Báo Cáo Tìm hiểu hỗ trợ của USE về định nghĩa các metamodel và các ràng buộc OCL để đảm bảo tính đúng đắn (w

Tìm hiểu hỗ trợ của USE về định nghĩa các
metamodel và các ràng buộc OCL để đảm bảo tính đúng
đắn (wellformedness) của các mô hình

MỤC LỤC
A, ĐẶT VẤN ĐỀ 4
B, NỘI DUNG .4
Chương 1: Tổng Quan về Metamodel và OCL .4
1.1Tổng quan về Metamodel: .4
1.1.2 Metamodel và model: 6
1.2, Tổng quan về OCL- Object Constraint Language: .8
1.2.1 OCL là gì: .8
1.2.2 Cú pháp OCL: .9
Chương 2: Hỗ trợ của USE về UML metamodel và OCL . 12
(lấy UMLcore13 trong USE làm ví dụ) 12
2.1 UML metamodel: . 12
2.2 các ràng buộc OCL: 18
2.3 Một số ví dụ về các ràng buộc OCL trong Metamodel: . 21
Tài liệu tham khảo: 25