One very random suggestion. You might get some ideas from poking around libero. I'm not suggesting that you want to use it, I'm merely suggesting that seeing how other people have tackled your problem (enable people to write programs by writing a state machine first) may give you ideas on how to do it or not do it.

All that I really know about that development environment is that it was how the Xitami webserver was developed.