Đề 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 đắn (wellformedness) của các mô hình
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à...