(Yazılım) Denetimin temel özellikleri, alt düzey ayrıntıları ve kontrollü olarak varlıkları göz ardı ederek ise soyut mekanizmaları ve bunların ilişkili özelliklerini tanımlayarak çıkarma işlemi.