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