Как называется моделирование, при котором процессы функционирования элементов системы записываются в виде некоторых функциональных соотношений или логических условий ?