Difference between pages "CamilleX Release Notes" and "CamilleX User Guide"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Son
 
imported>Son
 
Line 1: Line 1:
== Release history ==
+
The complete XEvent-B User Guide is available as pdf [https://sourceforge.net/projects/rodin-b-sharp/files/Plugin_XEventB/0.0.6/XEventBUserManual_v0.0.2.pdf/download here]. Some important information is listed below.
=== 1.0.0 -- Rebranded as Camille X ===
 
* Branding (0.0.4): Updated logo to CamilleX.
 
* Common (0.0.5): Update copyright statements in source code.
 
* Cheatsheets (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 
* Documentation (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 
* UI (0.1.0): Updated the name to use CamilleX instead of XEvent-B.
 
* XContext (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 
** Update dependency ranges
 
* XContext IDE (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 
** Update dependency ranges
 
* XContext UI (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 
** Update dependency ranges
 
* XMachine (1.0.0): Updated the name to use CamilleX instead of XEvent-B.
 
** Update dependency ranges
 
  
=== 0.0.7 -- Cross-project inclusion ===
+
== Introduction ==
* XEvent-B Branding (0.0.3): Updated logo to XEvent-B.
 
* XEvent-B Common (0.0.4): Enhancement (Issue #11).
 
** Machines from different projects can now be included.
 
** Machines are now included using qualified name defined as: projectName.machineName
 
* XEvent-B Documentations (0.0.7): Update documentation for 0.0.7 release.
 
* XEvent-B XContext (0.0.5): Changed dependency on XText to [2.12.0, 3.0.0).
 
* XEvent-B XContext IDE (0.0.4): Changed dependency on XText to [2.12.0, 3.0.0).
 
* XEvent-B XContext UI (0.0.4): Changed dependency on XText to [2.12.0, 3.0.0).
 
* XEvent-B XMachine (0.0.5):
 
** Changed dependency on XText to [2.12.0, 3.0.0).
 
** Fixed Issue #8: Comments are not parsed.
 
** Fixed Issue #10: Variants not translated: Fix is part of inclusion plug-in release 0.2.0.
 
** Flattened machines now have the included machine elements generated before the source machine.
 
** Order of generating elements of multiple inclusions and/or instances is from last to first.
 
** This update is part of inclusion plug-in release 0.2.0.
 
* XEvent-B XMachine IDE (0.0.4): Changed dependency on XText to [2.12.0, 3.0.0).
 
* XEvent-B XMachine UI (0.0.4):
 
** Changed dependency on XText to [2.12.0, 3.0.0).
 
** Regenerated from XEvent-B XMachine 0.0.5
 
  
=== 0.0.6 -- Support for Machine Inclusion and Event Synchronisation ===
+
The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.<br>
* Renamed plug-ins and features to XEvent-B (instead of Event-B XText).
+
For more details about the principles of this editor,  see [[Event-B_XText_Front-end|the Event-B XText Front-end page]].<br>
* XEvent-B Branding (0.0.2): Renamed from Event-B XText Branding.
 
* XEvent-B Documentations (0.0.2): Renamed from Event-B XText Documentations.
 
* XEvent-B Cheatsheets (0.0.2): Renamed from Event-B XText Cheatsheets.
 
* XEvent-B Common (0.0.3): Renamed from Event-B XText Common.
 
* XEvent-B UI (0.0.2): Renamed from Event-B XText UI.
 
* XEvent-B XContext (0.0.4): Renamed from Event-B XText Context.
 
* XEvent-B XContext IDE (0.0.3): Renamed from Event-B XText Context IDE.
 
* XEvent-B XContext UI (0.0.3): Renamed from Event-B Context UI.
 
* XEvent-B XMachine (0.0.4): Renamed from Event-B XText Machine.
 
** Support Machine Inclusion and Event Synchronisation.
 
* XEvent-B XMachine IDE (0.0.3): Renamed from Event-B XText Machine IDE.
 
* XEvent-B XMachine UI (0.0.3): Renamed from Event-B XText Machine UI.
 
  
=== 0.0.5 -- Documentation ===
+
== Installation ==
* Event-B XText Documentations (0.0.1): Documentation plug-in (Initial version).
 
  
* Event-B XText Cheatsheets (0.0.1): Cheatsheets plug-in including Basic tutorial (Initial version).
+
=== Setup ===
  
=== 0.0.4 -- Feature dependency ===
+
* Before install the Event-B XText front-end, you need to add the XText update site (http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/) as an additional software site.
* Updated plug-in dependency for the feature
+
* The Event-B XText front-end is available as a separate plug-in from the main Rodin update site (under 'Editors' category)
  
=== 0.0.3 -- Features/Bug fixing ===
+
=== Release Notes ===
* Event-B XText Context (0.0.3)
+
See [[Event-B_XText_Front-end_Release_Notes | Event-B XText Front-end Release Notes]]
** Issue #3: Single-line comment after the element, multi-line comment before the element
 
  
* Event-B XText Context IDE (0.0.2) Regenerated
+
=== IMPORTANT ===
 +
* Currently, Event-B XText front-end ONLY supports "standard" Event-B machines and contexts.
 +
* 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 not be lost.
 +
* '''DO NOT USE''' the Event-B XText Front-end if you use modelling plug-ins such as iUML-B state-machines and class-diagrams, as the additional modelling elements will be over-written.
  
* Event-B XText ContextUI IDE (0.0.2) Regenerated
+
=== KNOWN ISSUES ===
 
+
- Converting to XText: Currently, the "extended" attribute of events are not serialised.
* Event-B XText Machine (0.0.3)
 
** Issue #3: Single-line comment after the element, multi-line comment before the element
 
** Issue #5: Event terminator using 'end' keyword instead of ';'
 
 
 
* Event-B XText Machine IDE (0.0.2) Regenerated
 
* Event-B XText Machine UI IDE (0.0.2) Regenerated
 
 
 
=== 0.0.2 -- Formatter ===
 
* Event-B XText Common (0.0.2)
 
** Added transient value service for XContext and XMachine.
 
 
 
* Event-B XText Context (0.0.2):
 
** Added formatter (used for auto-indentation).
 
 
 
* Event-B XText Machine (0.0.2):
 
** Added formatter (used for auto-indentation).
 
 
 
* Event-B XText UI (0.0.1): Initial version
 
** Added context menu for converting machines and contexts to XText.
 
 
 
=== 0.0.1 -- Initial version contains the following plug-ins: ===
 
* Event-B XText Branding (0.0.1) Initial version: Branding information
 
* Event-B XText Common (0.0.1) Initial version: Common facilities
 
* Event-B XText Context (0.0.1) Initial version: Core support for Event-B contexts
 
* Event-B XText Context IDE (0.0.1) Initial version: IDE for Event-B contexts
 
* Event-B XText Context UI (0.0.1) Initial version: UI for Event-B contexts
 
* Event-B XText Machine (0.0.1) Initial version: Core support for Event-B machines
 
* Event-B XText Machine IDE (0.0.1) Initial version: IDE for Event-B machines
 
* Event-B XText Machine UI (0.0.1) Initial version: UI for Event-B machines
 

Revision as of 07:34, 22 July 2017

The complete XEvent-B User Guide is available as pdf here. Some important information is listed below.

Introduction

The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.
For more details about the principles of this editor, see the Event-B XText Front-end page.

Installation

Setup

Release Notes

See Event-B XText Front-end Release Notes

IMPORTANT

  • Currently, Event-B XText front-end ONLY supports "standard" Event-B machines and contexts.
  • 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 not be lost.
  • DO NOT USE the Event-B XText Front-end if you use modelling plug-ins such as iUML-B state-machines and class-diagrams, as the additional modelling elements will be over-written.

KNOWN ISSUES

- Converting to XText: Currently, the "extended" attribute of events are not serialised.