Идея визуального программирования «для секретарш» вызывает сомнения. Блок-схема любого алгоритма «из жизни» — почти всегда громоздкая и неуправляемая конструкция. Любой структурный язык программирования или псевдокод справляется с задачей записи логики гораздо эффективнее и лаконичнее.

Применение теории графов или другой математики для формальной «оптимизации» схемы приведет, скорее всего, к нелогичной пространственной и хронологической близости элементов. Да и вручную подобные паутинообразные схемы редко можно привести в читабельный вид.

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

Линейная последовательность промежуточных состояний может быть естественно представлена в виде списка:

Такой список однозначно читается сверху вниз и не требует дополнительной визуализации переходов. Поскольку рабочие процессы состоят, как правило, из нескольких цепочек последовательных состояний, такая запись существенно сэкономит «чернила».

Разветвления переходов отображаются явно:

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

Разделение «нисходящих» и «восходящих» переходов облегчит чтение схемы. Разумеется, все «восходящие» переходы отображаются всегда явно стрелками.

В процессе могут быть исключительные состояния, в которые он сбрасывается из любого другого состояния при наступлении определенных условий. В исходном примере это состояние Rejection. Чтобы сэкономить на паутине, свяжем состояния цветом:

Так можно записать процесс, показанный на исходной картинке:

Обратите внимание на пометку END у конечных состояний.

Втяжками обозначены подчиненные альтернативные состояния, в которые процесс переходит только из «родительских» состояний.

Если бы в нашем процессе существовали «обратные» переходы, схема выглядела бы так:

Это только черновик, предлагаю советчикам подумать над форматом. Например, если сверху стоит состояние- исключение, первоначальное состояние становится плохо видно. Кроме того, при отсутствии стрелок появляются неоднозначности: например, существует ли переход из состояния Bank decline request в состояние Bank approve request?