Flows
From Event-B
Flows plugin
Flows plug-in allows addition of flow expression to machines. Such expressions constrain the order of event execution without having to explicitly constrain guards in a machine itself. The result is often a simpler model that is easier to read and verify.
The plug-in is currently in the development stage and is to be released by the end of October 2009.
