Operace
SAV podporuje bohatou sadu vyhodnocovacích operací:- Řešení odkazů Accord do neměnných odvozených snímků CURRENT
- Vyhodnocení ve třech osách, porovnání a vysvětlení
- Grafy kompozice a jednorázové projekce
- Validace a diff Named Version
- Kontroly Extension Capsule
- Plánování Installation Blueprint
- Vyjednávání kompatibility mezi deklarovanými komponentami
Co SAV nedělá
- SAV nepřebírá sémantické vlastnictví komponent, které skládá.
- SAV za vás nevybírá návrh; vyhodnocuje to, co jste deklarovali.
- SAV nemění kanonické soubory. Jeho výstupem jsou důkazy a návrhy.
- SAV není autoritou pro připisování STAV. Zpracování záměru před mutací viz producent STAV pro Accordare.
SAV slouží pouze ke čtení, dotazování, validaci a navrhování. Programové kanonické apply zůstává napříč rodinou enginů SKV zakázáno.
Související oblasti
Přehled SKV
Zastřešující framework a model Contract Quad.
Producent Accordare
Ohraničený auditní okruh pro Named Version SAV.
SEV
Případy evoluce, které spouštějí vyhodnocení změn kompozice v SAV.
Vektorové příkazy qxctl
Ratifikovaná gramatika Accordare přibude jako
qxctl accord ..., jakmile bude implementována.