Есть ли международный стандарт методологии описания бизнес-процессов? Какой?

Международного стандарта нет.

Под методологией, я понимаю, набор рекомендованных шагов, позволяющих повысить вероятность создания модели БП.

К сожалению, 95% бизнес-аналитиков в РФ вообще не использует ни каких методологий. И это печально, но не смертельно для описания не сложных процессов и алгоритмов.

Для создания функциональных моделей (ядро элементарной ячейки = функция (действие)) использую методологию SADT (Структурного анализа и проектирования). Авторы описали данную методологию на примере использования нотации IDEF0. К сожалению, многие не понимают разницы между SADT и IDEF0 и объединяют эти понятия. Но это ошибка. Используя методологию SADT, Вы можете моделировать в любых нотациях: WAC, EPC, BPMN, IDEF3, IDEF0, ...

Больше ничего подходящего (для функциональных моделей) не встречал.

Даже, например, "методология ARIS" это методология бизнес-моделирования. Соответственно, рекомендаций по созданию моделей там нет. Есть рекомендации "на какие модели, когда - бить бизнес".

Конечно есть! Целая куча.

И методологии формализации и нотации и принципы описания. Все, что угодно.

У всех есть свои плюсы и минусы, свое место в жизни и на рынке.

Вопрос слишком "теоретический".

Что именно Вам нужно и для какой цели? Какие задачи Вы собираетесь решать?