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
- Người chia sẻ :
- Số trang : 26 trang
- Lượt xem : 9
- Lượt tải : 500
- Tất cả luận văn được sưu tầm từ nhiều nguồn, chúng tôi không chịu trách nhiệm bản quyền nếu bạn sử dụng vào mục đích thương mại
Bạn đang xem trước 20 trang tài liệu 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, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD LUẬN VĂN ở trên
Trên đỉnh của kiến trúc metamodeling là meta-metamodel .Nó là một framework và ngôn ngữ tự định nghĩa, trừu tượng để đặc tả, xây dựng và quản lý các metamodel trung 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ào như 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ới một meta-metamodel chung là nhằm hỗ trợ nhiều metamodel và model, nhằm cho phép khả 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), được xác định bởi metametamodel đều được đặt trên tầng M2. Một trong s ố đó là UML, một ngô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, Association, v.v.) có thể được mở rộng với những khái niệm mới (stereotype) và thích nghi với nhu cầu của một sự mô hình hóa cụ thể. Các mô hình của thế giới thực, được biểu diễn bởi các khái niệm được định nghĩa trong metamodel tương ứng tại tầng M2 (ví dụ như metamodel UML) nằm ở tầng M1.
