๑๑۩۞۩๑๑...TuThienBao.Com...๑๑۩۞۩๑๑ - Đề 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

https://lh4.googleusercontent.com/-h...nbao.com-2.jpg
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.

Pass: tuthienbao.com(Không copy link để tải)
Download: Đối với link từ google.com các bạn không biết tải thì xem cái này: Click Here
DOWNLOAD