TLA+ Process
Dev Tools
Описание
Инструмент для визуализации бизнес-процессов в виде state machine с интеграцией LLM для генерации TLA+ синтаксиса.
Original (EN)
Disclaimer: This was made with LLMs.I made this tool to help understand large business processes that can be modelled as a single state machine.The core loop of this is to enable to walk stakeholders through discussing each step, adding comments, and reiterating with an LLM of their choice to generate the TLA+ syntax on the left.Users can click through the green state nodes to see how things work visually.You can see some sample state machines in the dropdown in the top left.The power would come from getting folks on the same page of the business process, so engineers can think about how best
Проблема
Сложность согласования бизнес-процессов между стейкхолдерами и инженерами.
Решение
Визуальный редактор state machine с возможностью комментирования и автоматической генерации TLA+ кода через LLM.
Для кого
Команды разработчиков и бизнес-аналитиков.
Идея для адаптации в РБ
1. Интеграция с Парком высоких технологий для автоматизации документооборота и бизнес-процессов резидентов (например, генерация TLA+ моделей для ERIP-платежей или e-doc.by). 2. Адаптация под локальный fintech/B2B: визуализация процессов для белорусских банков (ВТБ-РБ, Беларусбанк) или интеграция с MTS Деньги для моделирования транзакций.
⚠ AI-черновик. Используй как seed для собственных идей — конкретные цифры, ниши и партнёров проверяй сам.