Flows: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Alexili New page: == 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 guar... |
imported>Mathieu |
||
| Line 1: | Line 1: | ||
== Flows plugin == | == Flows plugin == | ||
| Line 7: | Line 6: | ||
The plug-in is currently in the development stage and is to be released by the end of October 2009. | The plug-in is currently in the development stage and is to be released by the end of October 2009. | ||
[[Category:Plugin]] | |||
Revision as of 17:19, 24 September 2009
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.
