CamilleX
From Event-B
Return to Rodin Plug-ins
The CamilleX feature 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 CamilleX User Guide.
Current version
The CamilleX version 1.0.0 is available as a separate feature from the main Rodin update site (under the Modelling Extensions category).
Principles
The CamilleX editors (i.e., XContext and XMachine editors) operate on the separate XContext and XMachine text file and they are compiled to the Rodin files.
