https://github.com/RCSnyder/open-pincery

I made https://github.com/RCSnyder/tlaplus-process-studio

https://tlaplus-process-studio.com/

For local only high level modelling. Its not a full tie into the actual model checker, but its meant to serve as a first step into system modelling for state machine modelling for beginners

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 to automate/modernize the system once they get all of the context.

Additionally, 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.

Additional 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...

MIT licensed repo: https://github.com/RCSnyder/tlaplus-process-studio

Let me know what you think!

Thanks!

Comments URL: https://news.ycombinator.com/item?id=48613645

Points: 14

# Comments: 2

Is software ever done?

Why remove the dev notes for the future agents?

https://github.com/RCSnyder/lights-out-swe

https://github.com/RCSnyder/tlaplus-process-studio

This is to extract the bare minimum state machine out of users is tla+

https://github.com/RCSnyder/lights-out-swe

And pop that into input/docs/* with any other user requirements

And add your tech stack in preferences.md

And say "build me the thing described in input"

And it goes for it