(Программное обеспечение) Процесс извлечения основные характеристики управления путем определения абстрактных механизмов и их связанные характеристики игнорируя низкоуровневые детали и образований необходимо контролировать.