Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Từ Biến Đổi Đồ Thị đến OCL Sử Dụng USE
Lecture Notes in Computer Science - Trang 585-586 - 2008
Tóm tắt
Với công cụ USE, các sơ đồ lớp UML kết hợp với các ràng buộc OCL bổ sung có thể được xác thực và các thuộc tính có thể được kiểm tra một cách chính thức. Các ràng buộc có thể là bất biến lớp và điều kiện tiền và hậu thao tác. USE xây dựng các trạng thái hệ thống bằng các sơ đồ đối tượng và diễn đạt...