(Phần mềm) Trình trích xuất các đặc điểm thiết yếu của điều khiển bằng cách xác định cơ chế trừu tượng và đặc điểm kết hợp của họ trong khi bỏ qua các chi tiết ở độ cao thấp và các tổ chức phải được kiểm soát.