(Programvare) Prosessen med å trekke ut de grunnleggende egenskapene til kontrollen ved å definere abstrakte mekanismer og deres tilknyttede egenskaper mens disregarding lavt nivå detaljer og enhetene som skal kontrolleres.