Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
UML là ngôn ngữ mô hình hóa thống nhất, biểu diễn các đối tượng bằng các kí hiệu trực quan. Nhưng UML có nhược điểm là nó không thể hiện được hết các khía cạnh của hệ thống. Vì vậy người ta phải dùng thêm OCL để mô tả các ràng buộc cho các đối tượng của mô hình UML. USE là một hệ thống đặc tả hệ thống thông tin. Nó được sử dụng để kiểm tra tính đúng đắn của một mô hình UML bằng các ràng buộc OCL. Để làm được điều đó USE sử dụng các cấu trúc của UML metamodel và. | TRƯỜNG ĐẠI HỌC CÔNG NGHỆ -ĐHQGHN KHOA CNTT BÁO CÁO Môn học các vấn đề hiện đại của CNPM Đề Bài 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 J đắn wellformedness của các mô hình Giáo viên Ể A o Ts Đặng Đức Hạnh o Ts Vũ Diệu Hương Nhóm thực hiện nhóm 2 o Nghiêm Ngọc Quyết o Nguyễn Minh Tiến Nhóm 2 Phân công công việc Nghiêm Ngọc Quyết tìm hiểu về Metamodel và hỗ trợ của USE về metamodel. Nguyễn Minh tiến tìm hiểu các ràng buộc OCL để đảm bảo tính đúng đắn của mô hình Nhóm 2 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 .