Đề 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

[TTB]

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à các ràng buộc OCL để có thể kiểm tra tính đúng đắn của một mô hình UML.


MẬT KHẨU NẾU CÓ: tuthienbao.com
DOWNLOAD