CamilleX: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son No edit summary |
imported>Son |
||
| Line 10: | Line 10: | ||
=== Current version === | === Current version === | ||
The XEvent-B version 0.0. | The XEvent-B version 0.0.7 is available as a separate plug-in from the main Rodin update site (under the ''Modelling Extensions'' category). | ||
=== Principles === | === Principles === | ||
The XEvent-B editors (i.e., XContext and XMachine editors) operate on the separate XContext and XMachine text file and they are compiled to the Rodin files. | The XEvent-B editors (i.e., XContext and XMachine editors) operate on the separate XContext and XMachine text file and they are compiled to the Rodin files. | ||
Revision as of 11:02, 22 August 2017
Return to Rodin Plug-ins
The eXtended Event-B (XEvent-B) plugin provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines. Extension to Event-B including the machine inclusion mechanism is also supported.
Please have a look also at the XEvent-B User Guide.
Current version
The XEvent-B version 0.0.7 is available as a separate plug-in from the main Rodin update site (under the Modelling Extensions category).
Principles
The XEvent-B editors (i.e., XContext and XMachine editors) operate on the separate XContext and XMachine text file and they are compiled to the Rodin files.
