From: Colin S. <cf...@ec...> - 2010-06-23 08:26:43
|
Dear All, Teamworking V1.0.1 ---------------------------- A new version V1.0.1 of the Teamwork facility is released on the main Rodin update site. It enables you to store models in an SVN repository. There are some instructions fo using it here:- http://wiki.event-b.org/index.php/Team-based_development If you have already used the previous version, the .xmb serialised models, in the 'team' folder, will no longer load. You can repair them by opening with a plain text editor and globally replacing "eAnnotations" with "annotations" (and then commit that change). (Note that Rodin database files do not need this repair because annotations are serialised as rodin attributes and the new persistence will just load them into Annotations instead of EAnnotations)). This release is an update to work with the new version of Event-B EMF which provides improved comparison/difference processing. Rose editor V1.0.0 ------------------------- A new EMF based structured editor is also available. The Rose editor provides a tree structured (i.e. navigator-like) editor supported by properties sheets for entering details about the selected element. It will load multiple components (open the advanced properties tab to force proxy resolution which will result in loading refined machines, seen contexts etc.). You can then use the outline to focus the editor view on the different machines and contexts. The 'refines' editor view gives a tabular summary of event refinement (use the outline view to select a machine element to populate it). The advanced editor view has no filters and will move with the outline selection (e.g. The root of the tree in the advanced editor view is whatever you select in the outline). The Rose editor will cope with new modelling language extensions such as the Records plug-in. Event-B EMF V3.1.0 -------------------- The above plug-ins a based on a new version of the Event-B EMF feature. If you develop your own plug-in tools you may be interested in the changes to this framework which are described in the email below. Regards Colin Begin forwarded message: > From: Colin Snook <cf...@ec...> > Date: 19 June 2010 12:28:06 GMT+01:00 > To: DEPLOYWP9-TOOLING@JISCMAIL.AC.UK > Subject: Event-B EMF V3.1.0, Teamworking and Rose editor > Reply-To: Colin Snook <cf...@ec...> > > Dear plug-in developers. > > This is to let you know that a new version of the Event-B EMF feature is available. It is committed and also released on the FRS/ update site so it will get installed by users who install the Teamwork facility and/or the Rose editor. > > The most significant change is that the meta-model is no longer based on EModelElement but on EObject. This means that ecore's EAnnotations are no longer available. They are replaced by our own facility Annotations which is identical except for the missing E in the name (also in the containment name and appropriate getters). The main reason for this modification is to enable dynamic creation tools such as model transformation tools which were unable to instantiate EModelElement. Since this breaks the API I have incremented the major version number. > > ... > Regards > Colin > > Release notes for Event-B EMF > ------------------------------------------- > 3.1.0 - Re-Release for Rodin 1.3:\n\ > compare (1.2.0):\n\ > ignore annotations references\n\ > ignore ordering changes to ignored references\n\ > ignore new (unmatched) elements in ignored references\n\ > 3.0.0 - Re-Release for Rodin 1.3:\n\ > core (2.0.0): \n\ > Change base meta-class from EModelElement to EObject\n\ > Add Annotation facility (to replace EAnnotations lost in above)\n\ > Event Item Provider supports ITableItemLabelProvider\n\ > Corrections to set names and add names methods\n\ > formulas (1.1.0): \n\ > Change to use Annotation in place of EAnnotation\n\ > Regenerated to reflect core model changes\n\ > persistence (2.1.0):\n\ > Change to use Annotation in place of EAnnotation\n\ > Un-resolve any resolved references before saving in xmb format\n\ > compare (1.1.0):\n\ > Ignore ID and XMI ID when comparing (fixes possible id clashes in EMF)\n\ > > > Dr Colin F. Snook Dependable Systems and Software Engineering, School of Electronics and Computer Science, University of Southampton Southampton SO17 1BJ |