(Software) Il processo di estrazione delle caratteristiche essenziali di controllo definendo meccanismi astratti e loro caratteristiche associate mentre trascurando dettagli a basso livello e l'entità di essere controllato.