(Logiciel) Le processus d'extraction des caractéristiques essentielles du contrôle en définissant les mécanismes abstraits et leurs caractéristiques connexes tout en négligeant les détails de bas niveau et les entités à contrôler.