Анализ Строится На Базе Абстрактных Моделей