(Software) Processen med at udtrække de væsentlige karakteristika for kontrolelementet ved at definere abstrakte mekanismer og deres tilknyttede egenskaber samtidig ignorerer lavniveau-detaljer og de enheder, der skal kontrolleres.