Akkor ezeket tisztázzuk:
- Actor – ki teszi a változtatást -- Kik a lehetséges aktorok? Melyik rendszeren tevékenykednek? Mit csinálnak?
- Intent – mit akar elérni -- ez a cél állapot? Hogyan írod le?
- State – milyen állapotot hoz létre vagy módosít -- ez a kiinduló állapot akar lenni?
- Obligation – milyen kötelezettségeket generál -- ez itt az állapotátmenet ami a kiinduló állapotból átvisz a célállapotba?
- Consequence – milyen következménye lesz -- ez meg az, hogy a cél állapot elérése közben mi mást cseszünk el? Vagy mennyi áramot használunk menet közben?
- ProofTrace – bizonyítható lánc minden lépésről -- ezt már csak elvi szinten sem tudom elképzelni, hogy egy olyan rendszeren hogy bizonyítasz bármit ami külső inputoktól is függ, de írj rá egy konkrét példát kérlek, érdekel.