Difference between pages "CamilleX User Guide" and "Camille Editor"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Son
m
 
imported>Fabian
m
 
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 first version of the Text Editor will be released in a few weeks, that means in second half of June and not before the Rodin release 1.0 has been published.
  
−
== Introduction ==
+
Until then we are going to release a few testing releases (beta) for interested users. You will find instructions how to install and use these beta-releases on this page.
  
−
The XEvent-B 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>
 
  
−
== Installation ==
+
<div style="background-color:#FFFF00;">
 +
'''Warning''':
  
−
=== Setup ===
+
Don't use the TextEditor yet with your production models!
−
* 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.
+
* The TextEditor is still in heavy development
−
* XEvent-B is available as a separate plug-in from the main Rodin update site (under ''Modelling Extensions'' category)
+
* It is based on a new Rodin version which uses a changed database model and therefore is not compatible with older versions.
−
=== Configuration ===
+
</div>
−
* 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 ===
 
−
See [[XEvent-B_Release_Notes | XEvent-B Release Notes]]
 
  
−
=== IMPORTANT ===
+
==Installing ==
−
* Currently, XEvent-B supports "standard" Event-B machines and contexts and machine inclusion/event synchronisation mechanisms.
+
The TextEditor relies on features of the Rodin release 1.0 which is not yet released. Therefore you will have to create a new Rodin installation. The following steps will guide you through this process:
−
* 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.
 
−
* 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 ===
+
# Download a build of Rodin from our CruiseControl server:
−
* Converting to XText: Currently, the "extended" attribute of events are not serialized.
+
## Point your browser to [http://cruise.cs.uni-duesseldorf.de:8080/dashboard/tab/build/detail/org.rodinp.platform]
−
* Machine Inclusion:  
+
## Download a zip file with a name starting with ''rodin-product'' and matching your platform. For example ''rodin-product-linux.gtk.x86.zip'' if you are working on a Linux system.
−
** Including the same machine to both the abstract and its refining machine can result in the repetition of invariants.
+
# Extract the downloaded zip file.
 +
# Start Rodin from the folder where you extracted the zip file in the previous step.
 +
# Install the TextEditor:
 +
## In the menu choose ''Help'' -> ''Software Updates...''
 +
## Select the tab ''Available Software''
 +
## Click ''Add Site...''
 +
## Use the location URL: <tt>http://www.stups.uni-duesseldorf.de/update-beta/</tt>
 +
## Back in ''Available Software'' open the update site you just added
 +
## Select ''Event-B EMF Framework'' and ''Event-B TextEditor'' and click ''Install...''
 +
# Restart Rodin as suggested.
 +
 
 +
Now you are ready to use the TextEditor.
 +
 
 +
 
 +
==Usage ==

Revision as of 10:34, 13 May 2009

The first version of the Text Editor will be released in a few weeks, that means in second half of June and not before the Rodin release 1.0 has been published.

Until then we are going to release a few testing releases (beta) for interested users. You will find instructions how to install and use these beta-releases on this page.


Warning:

Don't use the TextEditor yet with your production models!

  • The TextEditor is still in heavy development
  • It is based on a new Rodin version which uses a changed database model and therefore is not compatible with older versions.


Installing

The TextEditor relies on features of the Rodin release 1.0 which is not yet released. Therefore you will have to create a new Rodin installation. The following steps will guide you through this process:

  1. Download a build of Rodin from our CruiseControl server:
    1. Point your browser to [1]
    2. Download a zip file with a name starting with rodin-product and matching your platform. For example rodin-product-linux.gtk.x86.zip if you are working on a Linux system.
  2. Extract the downloaded zip file.
  3. Start Rodin from the folder where you extracted the zip file in the previous step.
  4. Install the TextEditor:
    1. In the menu choose Help -> Software Updates...
    2. Select the tab Available Software
    3. Click Add Site...
    4. Use the location URL: http://www.stups.uni-duesseldorf.de/update-beta/
    5. Back in Available Software open the update site you just added
    6. Select Event-B EMF Framework and Event-B TextEditor and click Install...
  5. Restart Rodin as suggested.

Now you are ready to use the TextEditor.


Usage

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