(Programvara) Processen att extrahera de väsentliga egenskaperna hos kontroll genom att definiera abstrakt mekanismer och deras associerade egenskaper samtidigt som man bortser från lägsta-nivå-information och enheterna som kontrolleras.