CamilleX

From Event-B
Revision as of 12:27, 13 November 2018 by imported>Son (Son moved page XEvent-B to CamilleX: Rebranding as CamileX)
Jump to navigationJump to search

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.

Retrieved from ‘https://wiki.event-b.org/index.php?title=CamilleX&oldid=1025’