Thao tác
SAV hỗ trợ một tập hợp phong phú các thao tác đánh giá:- Phân giải tham chiếu Accord thành các snapshot CURRENT được suy ra, bất biến
- Đánh giá ba trục, so sánh và giải thích
- Đồ thị thành phần và các phép chiếu dùng một lần
- Xác thực và so sánh Named Version
- Kiểm tra Extension Capsule
- Lập kế hoạch Installation Blueprint
- Đàm phán tương thích giữa các thành phần đã khai báo
Những gì SAV không làm
- SAV không nắm quyền sở hữu ngữ nghĩa của các thành phần mà nó kết hợp.
- SAV không chọn thiết kế thay bạn; nó đánh giá những gì bạn đã khai báo.
- SAV không thay đổi các tệp chuẩn tắc. Đầu ra của nó là bằng chứng và đề xuất.
- SAV không phải là cơ quan append của STAV. Xem Accordare STAV producer để biết cách xử lý ý định trước khi thay đổi.
SAV chỉ đọc, truy vấn, xác thực và đề xuất. Apply chuẩn tắc theo chương trình vẫn bị vô hiệu hóa trên toàn bộ họ SKV engine.
Các bề mặt liên quan
Tổng quan SKV
Khung bao trùm và mô hình Contract Quad.
Accordare producer
Mạch kiểm toán Named Version của SAV có giới hạn.
SEV
Các trường hợp tiến hóa kích hoạt SAV đánh giá các thay đổi thành phần.
Lệnh vector của qxctl
Cú pháp Accordare đã phê chuẩn sẽ có dưới dạng
qxctl accord ... khi được triển khai.