Исследование возможности динамического построения формальной модели системы.