Есть ли языки/нотации для записи бизнес-логики?

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

И вот задача приводит вас в метод на 6к (бывает больше) строк не лучшего кода в который нужно внести изменения. И вы бы могли его порефакторить если бы не одно НО - ни вы никто не знает сколько там логики и как оно должно работать. Потому что чел который придумал эту логику уже уволился/занят/забыл или туда уже столько раз вносили изменения что никто уже не в курсе всего.

Был реальный случай когда тестировщик нашел баг, аналитик подтвердил что это баг. Я начал копать и откопал целую подсистему про которую никто не вспомнил. В итоге это оказался не баг.

Хочется эту логику документировать, хотя бы для отдельных кусков системы.

WhoMe, да мне это хорошо знакомо. Почти на всех проектах. Ты приходишь с пустой головой.
По бизнесу ничего непонятно. И я обычно завожу для себя страничку в wiki или в confluence
(внутри-корпоративный ресурс всегда есть) и просто начинаю писать туда заметки как оно
работает.

Еще лучше - писать прямо в репозитарий проекта. Но это надо обсудить с коллегами. Обычно
не все разработчики любят такое дело. Проблема - в коде-ревью и в том что документация
остает от кода. Код - всегда несет правду. А документация просто намерения и то устаревшие.

Вообще если вы не работаете в аэрокосмосе - то вам придется смириться с мыслью что
такой покрывающей документации не будет нигде. Просто на ее разработку тоже никому
не дали время. И это - нормально. Это просто ваш локальный договорняк в бизнесом.
Бизнес - устраивает работающий код а не бумажки. Собственно код (фичи) является главным продуктом релиза.
И именно за него платят деньги. И это очень похоже на написание модульных тестов по коду.
Все понимают что тесты нужны но времени на них нету. И поэтому при разработке софта
- просто накидывайте +20% времени на тесты и документирование.

Кстати в некоторых случаях тщательно написанные тесты могут быть половиной документации.
Посмотрите в такие фреймворки как
- JBehave https://jbehave.org/

Они позволяют описывать сценарии тестирования на английском очень близко к сентенциям типа
Скидка "Платина" Доступна ЕСЛИ.