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