CamilleX User Guide - Revision history

Asieh at 12:31, 9 March 2023

2023-03-09T12:31:37Z

← Older revision		Revision as of 12:31, 9 March 2023
Line 1:		Line 1:
	The latest CamilleX ~~development~~ is available '''[https://github.com/eventB-Soton/Rodin-Bundles/releases here</font>]'''		The latest CamilleX release (2.1.1) included in the Rodin Bundle 3.7.0 is available '''[https://github.com/eventB-Soton/Rodin-Bundles/releases here</font>]'''

			More information about the installation can be found '''[https://github.com/eventB-Soton/Rodin-Bundles/wiki/Installation here</font>]'''

			The CamilleX User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_CamilleX/1.0.0/CamilleXUserManual_v1.0.0.pdf/download<font> here</font>]'''.

	The latest CamilleX User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_CamilleX/1.0.0/CamilleXUserManual_v1.0.0.pdf/download<font color="red"> here</font>]'''. Some important information is listed below.

	== Introduction ==		== Introduction ==

Asieh at 12:18, 9 March 2023

2023-03-09T12:18:11Z

← Older revision		Revision as of 12:18, 9 March 2023
Line 1:		Line 1:
	The latest CamilleX development is available '''[https://github.com/~~tshoang~~/~~XEventB~~ here</font>]'''		The latest CamilleX development is available '''[https://github.com/eventB-Soton/Rodin-Bundles/releases here</font>]'''

	The latest CamilleX User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_CamilleX/1.0.0/CamilleXUserManual_v1.0.0.pdf/download<font color="red"> here</font>]'''. Some important information is listed below.		The latest CamilleX User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_CamilleX/1.0.0/CamilleXUserManual_v1.0.0.pdf/download<font color="red"> here</font>]'''. Some important information is listed below.

Asieh at 10:43, 9 March 2023

2023-03-09T10:43:36Z

← Older revision		Revision as of 10:43, 9 March 2023
Line 1:		Line 1:
			The latest CamilleX development is available '''[https://github.com/tshoang/XEventB here</font>]'''

	The latest CamilleX User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_CamilleX/1.0.0/CamilleXUserManual_v1.0.0.pdf/download<font color="red"> here</font>]'''. Some important information is listed below.		The latest CamilleX User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_CamilleX/1.0.0/CamilleXUserManual_v1.0.0.pdf/download<font color="red"> here</font>]'''. Some important information is listed below.

imported>Son at 14:34, 13 November 2018

2018-11-13T14:34:47Z

← Older revision		Revision as of 14:34, 13 November 2018
Line 1:		Line 1:
	The latest ~~XEvent-B~~ User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_CamilleX/1.0.0/CamilleXUserManual_v1.0.0.pdf/download<font color="red"> here</font>]'''. Some important information is listed below.		The latest CamilleX User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_CamilleX/1.0.0/CamilleXUserManual_v1.0.0.pdf/download<font color="red"> here</font>]'''. Some important information is listed below.

	== Introduction ==		== Introduction ==

imported>Son at 14:24, 13 November 2018

2018-11-13T14:24:40Z

← Older revision		Revision as of 14:24, 13 November 2018
Line 16:		Line 16:

	=== IMPORTANT ===		=== IMPORTANT ===
	* Currently, ~~XEvent-B~~ supports "standard" Event-B machines and contexts ~~and~~ machine inclusion/event synchronisation mechanisms.		* Currently, CamilleX not only supports "standard" Event-B machines and contexts, but also machine inclusion/event synchronisation mechanisms.
	* Since the XContexts and XMachines are compiled to the Rodin files, the corresponding Rodin contexts and machines will be '''OVER-WRITTEN'''. Any changes in the Rodin files will be lost.		* Since the XContexts and XMachines are compiled to the Rodin files, the corresponding Rodin contexts and machines will be '''OVER-WRITTEN'''. Any changes in the Rodin files will be lost.
	* '''DO NOT USE''' ~~XEvent-B~~ if you use modelling extensions such as iUML-B state-machines and class-diagrams, as the additional modelling elements will be over-written.		* '''DO NOT USE''' CamilleX if you use modelling extensions such as iUML-B state-machines and class-diagrams, as the additional modelling elements will be over-written.
	* Windows users '''must''' change the workspace text file encoding to '''UTF-8'''. This can be updated under the Rodin Preferences: General/Workspace then in the ''Text file encoding'' section, select Other: ''UTF-8''.		* Windows users '''must''' change the workspace text file encoding to '''UTF-8'''. This can be updated under the Rodin Preferences: General/Workspace then in the ''Text file encoding'' section, select Other: ''UTF-8''.

	=== KNOWN ISSUES ===		=== KNOWN ISSUES ===
	* Converting to XText: Currently, the "extended" attribute of events are not serialized.
	* Machine Inclusion:		* Machine Inclusion:
	** Including the same machine to both the abstract and its refining machine can result in the repetition of invariants.		** Including the same machine to both the abstract and its refining machine can result in the repetition of invariants.

imported>Son at 14:23, 13 November 2018

2018-11-13T14:23:18Z

← Older revision		Revision as of 14:23, 13 November 2018
Line 3:		Line 3:
	== Introduction ==		== Introduction ==

	The ~~XEvent-B~~ provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.<br>		The CamilleX feature provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.<br>
	For more details about the principles on ~~XEvent-B~~, see the [[~~XEvent-B~~\|~~XEvent-B~~ page]].<br>		For more details about the principles on CamilleX, see the [[CamilleX\|CamilleX page]].<br>

	== Installation ==		== Installation ==

	=== Setup ===		=== Setup ===
	* Before install ~~XEvent-B~~, you need to add the XText update site (http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/) as an additional software site.		* Before install CamilleX, you need to add the XText update site (http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/) as an additional software site.
	* ~~XEvent-B~~ is available as a separate ~~plug-in~~ from the main Rodin update site (under ''Modelling Extensions'' category)		* CamilleX is available as a separate feature from the main Rodin update site (under ''Modelling Extensions'' category)
	~~=== Configuration ===~~
	* By default, XContext files (extension .bucx) and XMachine files (extension .bumx) are not displayed in the ''Event-B Explorer''. To enable this, select ''Customize view'' for Event-B Explorer and uncheck the option ''All files and folders''.

	=== Release Notes ===		=== Release Notes ===
	See [[~~XEvent-B_Release_Notes~~ \| ~~XEvent-B~~ Release Notes]]		See [[CamilleX_Release_Notes \| CamilleX Release Notes]]

	=== IMPORTANT ===		=== IMPORTANT ===

imported>Son at 14:21, 13 November 2018

2018-11-13T14:21:57Z

← Older revision		Revision as of 14:21, 13 November 2018
Line 1:		Line 1:
	The latest XEvent-B User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/~~Plugin_XEventB~~/0.0.7/~~XEventBUserManual_v0~~.0.3.pdf/download<font color="red"> here</font>]'''. Some important information is listed below.		The latest XEvent-B User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_CamilleX/1.0.0/CamilleXUserManual_v1.0.0.pdf/download<font color="red"> here</font>]'''. Some important information is listed below.

	== Introduction ==		== Introduction ==

imported>Son: Son moved page XEvent-B User Guide to CamilleX User Guide: Rebranding as CamileX

2018-11-13T12:26:43Z

Son moved page XEvent-B User Guide to CamilleX User Guide: Rebranding as CamileX

← Older revision	Revision as of 12:26, 13 November 2018
(No difference)

imported>Son at 14:34, 21 September 2017

2017-09-21T14:34:42Z

← Older revision		Revision as of 14:34, 21 September 2017
Line 1:		Line 1:
	The latest XEvent-B User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_XEventB/0.0.7/XEventBUserManual_v0.0.3.pdf/<font color="red">~~download~~ here</font>]'''. Some important information is listed below.		The latest XEvent-B User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_XEventB/0.0.7/XEventBUserManual_v0.0.3.pdf/download<font color="red"> here</font>]'''. Some important information is listed below.

	== Introduction ==		== Introduction ==

imported>Son at 14:32, 21 September 2017

2017-09-21T14:32:39Z

← Older revision		Revision as of 14:32, 21 September 2017
Line 1:		Line 1:
	The latest XEvent-B User Guide is available as pdf [https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_XEventB/0.0.7/XEventBUserManual_v0.0.3.pdf/download here]. Some important information is listed below.		The latest XEvent-B User Guide is available as pdf '''[https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_XEventB/0.0.7/XEventBUserManual_v0.0.3.pdf/<font color="red">download here</font>]'''. Some important information is listed below.

	== Introduction ==		== Introduction ==