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

<p> Như trong hình 2 thì lớp Account là lớp có kiểu <<interface>> do đó lớp này chỉ chứa các Operation mà không chứa các Attributes o Cú pháp ràng buộc OCL : inv Interface1: self.allFeatures()->forAll(f | f.oclIsKindOf(Operation) ) -- f.oclIsKindOf(Operation) or f.oclIsKindOf(Reception)) Ngoài ra một interface còn không chứa bất kì một ModelElement nào. Ở đây có thể hiểu tất cả các Operations trong interface class đều không chứa nội dung. </interface></p>

TÀI LIỆU LUẬN VĂN CÙNG DANH MỤC

TIN KHUYẾN MÃI

  • Thư viện tài liệu Phong Phú

    Hỗ trợ download nhiều Website

  • Nạp thẻ & Download nhanh

    Hỗ trợ nạp thẻ qua Momo & Zalo Pay

  • Nhận nhiều khuyến mãi

    Khi đăng ký & nạp thẻ ngay Hôm Nay

NẠP THẺ NGAY