TAILIEUCHUNG - Đề 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à. | 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 B NỘI Chương 1 Tổng Quan về Metamodel và quan về Metamodel .4 Metamodel và model .6 Tổng quan về OCL- Object Constraint Language .8 OCL là gì .8 Cú pháp OCL .9 Chương 2 Hỗ trợ của USE về UML metamodel và lấy UMLcore13 trong USE làm ví dụ .12 UML metamodel .12 các ràng buộc OCL .18 Một số ví dụ về các ràng buộc OCL trong Metamodel .21 Tài liệu tham khảo .

• Công nghệ thông tin
• Cú pháp OCL
• Mô hình metamodeling
• luận văn
• UML metamodel
• Mô hình Backbone
• Mô hình Relationships
• Fully Unsupervised Discovery
• Concept Specific Relationships
• Web Mining
• báo cáo khoa học
• mô hình ngôn ngữ
• xử lý ngôn ngữ tự nhiên
• Exploiting class relationships
• sentiment categorization
• respect to rating scales
• Phương pháp nghiên cứu khoa học
• Nghiên cứu khoa học
• Tiểu luận phương pháp nghiên cứu khoa học
• Độ tin cậy thống kê
• Xử lý thống kê
• Mô hình lý thuyết