Под процессной логикой мы понимаем описание всех маршрутов от единственного начального состояния экземпляра процесса до каждого из возможных конечных состояний