(Software) Verfahren zum Extrahieren von die wesentlichen Merkmale der Kontrolle durch die Definition von abstrakten Mechanismen und ihre zugeordneten Eigenschaften während abgesehen von Details auf niedriger Ebene und die Entitäten gesteuert werden.