(Software) Het proces van extractie van de essentiële kenmerken van controle door het definiëren van abstracte mechanismen en hun bijbehorende kenmerken voorbijgaan low-level details en de entiteiten worden gecontroleerd.