{"slug": "show-hn-tla-process-studio", "title": "Show HN: TLA+ Process Studio", "summary": "A developer released TLA+ Process Studio, an open-source tool that uses LLMs to help stakeholders model and discuss business processes as state machines, aiming to improve alignment before coding. The tool generates TLA+ syntax from stakeholder discussions and allows visual navigation of state nodes.", "body_md": "Disclaimer: This was made with LLMs.\n\nI made this tool to help understand large business processes that can be modelled as a single state machine.\n\nThe 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.\n\nUsers can click through the green state nodes to see how things work visually.\n\nYou can see some sample state machines in the dropdown in the top left.\n\nThe power would come from getting folks on the same page of the business process, so engineers can think about how best to automate/modernize the system once they get all of the context.\n\nAdditionally, once you have a single canonical model of the process, you could in theory send into a dark factory to produce the software as quickly as possible, but now we can allocate more time in the entire software lifecycle at the design and alignment before coding now that coding is faster.\n\nAdditional work could be done using this book for guidance, Workflow Modeling: Tools for Process Improvement and Application Development, [https://www.amazon.com/Workflow-Modeling-Improvement-Applica...](https://www.amazon.com/Workflow-Modeling-Improvement-Application-Development/dp/1596931922)\n\nMIT licensed repo: [https://github.com/RCSnyder/tlaplus-process-studio](https://github.com/RCSnyder/tlaplus-process-studio)\n\nLet me know what you think!\n\nThanks!\n\nComments URL: [https://news.ycombinator.com/item?id=48613645](https://news.ycombinator.com/item?id=48613645)\n\nPoints: 4\n\n# Comments: 0", "url": "https://wpnews.pro/news/show-hn-tla-process-studio", "canonical_source": "https://tlaplus-process-studio.com/?example=meeting-lifecycle", "published_at": "2026-06-20 22:38:26+00:00", "updated_at": "2026-06-20 23:09:47.765501+00:00", "lang": "en", "topics": ["developer-tools", "large-language-models", "ai-tools"], "entities": ["TLA+ Process Studio", "LLMs", "TLA+", "GitHub", "MIT"], "alternates": {"html": "https://wpnews.pro/news/show-hn-tla-process-studio", "markdown": "https://wpnews.pro/news/show-hn-tla-process-studio.md", "text": "https://wpnews.pro/news/show-hn-tla-process-studio.txt", "jsonld": "https://wpnews.pro/news/show-hn-tla-process-studio.jsonld"}}