(Oprogramowanie) Proces wyodrębniania zasadniczych cech kontroli poprzez określenie streszczenie mechanizmów i ich skojarzone właściwości podczas bez względu na niskim poziomie szczegółów i podmioty, które mają być kontrolowane.