Как нарисовать граф описывающий кейсы некоторого функционала?

Question

[Егор Петров]

Вкратце. Есть некоторый объект бизнес-логики, с которым можно совершать некоторые действия и который зависит от состояния других объектов бизнес-логики. Есть вещи которые конкретно хочет заказчик, есть помимо этого вещи очевидные и явные, которые могут происходить, а всё остальное уже не настолько явно и не реализуется по причине того что такие кейсы просто не пришли в голову.
В итоге потом при приёмке, или уже при эксплуатации эти кейсы вылазят, кейсы при которых должно что-то произойти, но не происходит, потому что не заложено.
Решением здесь я вижу использование какого-нибудь софта, в которой вносится список сущностей, их связи между собой, список возможных действий с ними и их состояния, события и т.п.
А потом строится граф, и выдаётся список кейсов которые нужно предусмотреть и реализовать. Вот что есть на рынке, или бесплатное (лучше конечно бесплатное, не придётся бюджет выбивать), что позволяет решать такие задачи?