Difference between revisions of "CamilleX"

From Event-B
Jump to: navigation, search
m (Son moved page XEvent-B to CamilleX: Rebranding as CamileX)
 
Line 2: Line 2:
 
Return to [[Rodin Plug-ins]]
 
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.
+
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.
 
Extension to Event-B including the ''machine inclusion'' mechanism is also supported.
  
 
<br style="clear: both" />
 
<br style="clear: both" />
  
Please have a look also at the [[XEvent-B User Guide]].
+
Please have a look also at the [[CamilleX User Guide]].
  
 
=== Current version ===
 
=== 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).
+
The CamilleX version 1.0.0 is available as a separate feature 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 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.

Latest revision as of 12:28, 13 November 2018

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.