(Software) The process of extracting the essential characteristics of control by defining abstract mechanisms and their associated characteristics while disregarding low-level details and the entities to be controlled.