Формальные описания реальных объектов и процессов