ActionOS
Esecuzione controllata e verificabile
Compila il linguaggio in workflow versionati, valuta rischio e permessi, risolve capability a basso privilegio e verifica le post-condition.
Ruolo nella suite
È il livello Act/Verify: esegue soltanto workflow e capability consentiti e verifica l'esito prima di considerare conclusa l'azione.