Đề 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ạnhcủ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 đốitượ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à...
Nội dung trích xuất từ tài liệu:
Đề 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ìnhNhóm 2 BỘ GIÁO DỤC VÀ ĐÀO TẠO 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 đắn (wellformedness) của các mô hình Giáo viên: 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ếnNhóm 2Phân công công việc: N ghiêm N gọc Quyết tìm hiểu về Metamodel và hỗ trợ của USE về metamodel. N guyễ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ìnhNhóm 2 MỤC LỤCA, ĐẶT VẤN ĐỀ ........................................................................................................................4B, 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 Một số ví dụ về các ràng buộ c OCL trong Metamodel: ............................................. 21 2.3Tài liệu tham khảo: .................................................................................................................... 25Nhóm 2A, ĐẶT VẤN ĐỀ 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íh iệ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ạnhcủ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 đố itượ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. Sau đ ây ch úng e xin trình bày chủ đề :“Hỗ trợ của USEvề đ ịnh ngh ĩa các metamodel và các ràng buộ c để đảm b ảo tính đúng đắn(wellformedness) củ a các mô hình”. Cụ thể trong bài này chúng em sẽ làm về UMLm etamodel(UMLcore1.3).B, NỘI DUNGChương 1: Tổng Quan về Metamodel và OCL1.1Tổng quan về Metamodel:1.1.1, Mô hình metamodeling 4 tầng: Mô hình metamodeling dựa trên nguyên lý sử dụng các ngôn ngữ mô hình hóa đ ể mô tả mộ t hệ thống ở các cấp độ khác nhau. Nó gồm có 4 tầng:  Tầng metametamodel(M3).  Tầng metamodel (M2).  Tầng model(M1).  Tầng instance(M0).Nhóm 2 Hình 1. Mô hình Modeling Trên đỉnh của kiến trúc metamodeling là meta-metamodel .Nó là một frameworkvà ngôn ngữ tự định nghĩa, trừu tư ợng đ ể đặc tả, xây dựng và qu ản lý các metamodeltrung lập với k ỹ thuật. Nó là nền tảng để xác định b ất k ỳ m ột ngôn ngữ mô hình hóa nàonhư UML hoặc thậm chí là b ản thân chính nó.. Mụ c tiêu chính của cấu trúc bốn tầng vớimột meta-metamodel chung là nhằm hỗ trợ nhiều metamodel và model, nh ằm cho phépkhả năng mở rộng, tích h ợp và quản lý model và metamodel chung. Mọ i metamodel, tiêu chu ẩn hoặc tùy ch ỉnh (do người sử dụng đ ịnh ngh ĩa), đượcxác định bởi metametamodel đều được đ ặt trên tầng M2. Một trong số đó là UML, mộ tn gôn ngữ mô hình đồ họ a cho việc đ ặc tả các h ệ thống ph ần mềm. Với các UML profile,các khái niệm UML cơ b ản (Class, Associa ...