RODIN Files

iUMLB State-Machines provides a state-machine diagram editor for adding
state-machines to Event-B models.

Release history:
------------------------------------------------------------------------
### 4.0.0 ### 
 - (for Rodin 3.x.x)
  statemachines (4.0.0)
   - removed reload method from statemachine utils as it depends on persistence
   - adjust dependency for org.eventb.emf.core [5.0.0,6.0.0)
  diagram (3.5.0)
   - adjust dependency for org.eventb.emf.core [5.0.0,6.0.0)
   - adjust dependency for ac.soton.eventb.emf.statemachines [4.0.0,5.0.0),
   - adjust dependency for ac.soton.eventb.emf.diagrams.generator [4.0.0,5.0.0)
  edit (2.2.0)
   - adjust dependency for org.eventb.emf.core [5.0.0,6.0.0)
   - adjust dependency for ac.soton.eventb.emf.statemachines [4.0.0,5.0.0)
  generator (1.2.0)
   - fix generator priorities for transition guards
   - adjust dependency for org.eventb.emf.core [5.0.0,6.0.0)
   - adjust dependency for ac.soton.eventb.emf.statemachines [4.0.0,5.0.0),
   - change to use the emf translator instead of iUML-B generator,
   - fix rule that generates implicit context
  navigator (2.3.0)
   - adjust dependency for org.eventb.emf.core [5.0.0,6.0.0)
   - adjust dependency for ac.soton.eventb.emf.statemachines [4.0.0,5.0.0)
  persistence (2.1.0)
   - adjust dependency for ac.soton.eventb.emf.statemachines [4.0.0,5.0.0)
### 3.4.1 ### 
 - (for Rodin 3.x.x)
  statemachines (3.2.0)
    - Fix Validate action did not work when fired from the property sheet
    - Add note to customisation notes about validation correction
    - preferences now in iuml-b category
    - Update custom gmf templates to re-base on GMF 3.2.1
    - Save original gmf templates and re-organise customisation notes
    - Updated custom templates to generate some more of the custom code
    - Add StatemachinesUtils class
    - update and improve maintenance customisations notes
    - remove fixed colours from gmf generator models and add custom preference page
    - update custom generator templates for new color refresh from preferences
    - regenerated code for new preference page control of colors.. (includes custom methods for Any and Final nodes)
  diagram (3.4.1)
    - Validate action did not work when fired from the property sheet
    - update customised gmf templates to re-base on GMF 3.2.1 
    - fix for validate action to use active editor is now done by custom templates
    - fix for updating transitions that have moved is now done by custom templates
    - auto-naming is now added by custom templates
    - remove fixed colours from gmf generator models and add custom preference page
    - New generated and customised specific appearance preference page
    - Add property sheets for state entry and exit actions, also (to allow re-ordering) add property sheets for statemachine nodes and transtitions and state nested statemachines
    - Required JavaSE-1.7
  generator (1.1.0)
    - Add generator rules for Entry and Exit Action
    - Improve priority of transition parameter typing guard to 1
    - Refactor Validator to use AbstractValidator
    - When removing don't need priority param
  navigator (2.2.2)
    - remove unused dependency on org.eclipse.emf.workspace.ui,
    - update dependency to use ac.soton.eventb.emf.diagrams.navigator v3.0.0
### 3.3.1 ### 
 - (for Rodin 3.x.x)
  diagram (3.3.1) - fix problem where re-sourced/re-targetted transitions do not update properly
  navigator (2.2.1) - sm element refiner: improve get equivalent for transition
### 3.3.0 ### 
 - (for Rodin 3.x.x)
  statemachines (3.1.1) - correct externalisation/localisation etc.
  diagram (3.3.0) - use refactoring, improve deactivation part listener (was responding to all parts),
    provide facility for animation to turn off change recording,  move preference pages to iUML-B main page,
    prevent save while animating as model contains animation artifacts, correct externalisation/localisation etc.
  edit (2.1.1) - correct externalisation/localisation etc.
  generator (1.0.5) - improve URI handling, correct externalisation/localisation etc.
  navigator (2.2.0) - contribute statemachine element refiner, correct externalisation/localisation etc.
  persistence (2.0.2) - correct externalisation/localisation etc.
### 3.2.0 ### 
  statemachines (3.1.0) - State-machines Meta-model updates:- 
    pseudo-states are named elements (needed for text view)
    states have an activeInstances attribute (for animation)
    some other additions for possible future use
  diagram (3.2.0) - display active instances (for animation), fix hover-overs, auto-naming of new elements
  edit (2.1.0) - regenerated for meta-model changes
  generator (1.0.4) - correct substate rule, correct order of invariant generation (#16)
### 3.1.1 ### 
  generator (1.0.3) - update dependencies
  navigator (2.1.2) - Use new refiners - fixes bugs in statemachine instances and seen contexts
### 3.1.0 ### 
 - improve hover-over feature
  diagram (3.1.0) - improve hover-over feature, update dependencies
### 3.0.0 ### 
 - separate edit providers from core and remove unwanted ui facilites
  statemachines (3.0.0) - edit providers removed to separate plugin
  diagram (3.0.0) - remove unwanted ui facilities, update dependencies
  edit (2.0.0) - edit providers removed to separate plugin again
  generator (1.0.2) - update dependencies
  navigator (2.1.1) - update dependencies
  persisitence (2.0.1) - update dependencies
### 2.2.1 ### 
 - update dependencies for new diagrams edit plugin
### 2.2.0 ### 
 - new state-machines generator replaces QVTo transformation
  statemachines.generator (1.0.0)
  REMOVED: statemachines.transformation (2.0.1)
### 2.1.1 ### 
  statemachines.transformation (2.0.1)
  fix some bugs in the translation (caused by junctions)
### 2.1.0 ### 
 - For Rodin 3.0.
  navigator (2.1.0)
  update dependencies for Rodin 3.0
  diagram (2.1.0)
    update dependencies for Rodin 3.0
    Change referencing for new RodinKeyboard API
### 2.0.0 ### 
 - New statemachine features join, fork, junction, any introduced
  statemachines (2.0.0)
  new statemachine meta-model  to support features  join, fork, junction, any
  statemachines.diagram (2.0.0)
  regenerated diagram for new statemachine features
  statemachines.navigator (2.0.0)
  update refines for new statemachine features
  statemachines.persistence (2.0.0)
  update to new statemachine meta-model 
  statemachines.transformation (2.0.0)
  support new statemachine features - join, fork, junction, any
  remove refinedVar translation as too difficult to maintain
  major refactoring of qvto scripts
### 1.5.0 ### 
 - Interim Release
  statemachines (1.2.1) - improve self name - trim leading/trailing spaces, provide a validation of valid name
  diagram (1.3.1) - hide refined enumeration translation option in properties
  navigator (1.2.1) - provide diagram file extension defn
  transformation (1.5.0) - correct initialisation of lifted sm, disable automatic init of nested sm
### 1.4.0 ### 
 - Interim Release
  statemachine (1.2.0) - support lifted sm, wrap long transition labels, validator allow self loop with no init
  diagram (1.3.0) - support lifted sm, wrap long transition labels, multi-line comment/invariant, bigger box for new dialog
  edit (1.2.0) - support lifted sm 
  transformation (1.4.0) - support lifted sm, support self-loops (no init), support final state on root sm, revert disjunctive guard
### 1.3.1 ### 
 - Bug Fix
  transformation (1.3.1) - fix bug in transformation - re disjunctive guard should only be between source states of the same statemachine
### 1.3.0 ### 
 - Interim Release
  statemachine (1.1.0) - added 'refined enumeration' translation option
  diagram (1.2.0) - new properties sheet features and improved auto-saving
  edit (1.1.0) - added 'refined enumeration' translation option 
  navigator (1.2.0) - remove delete command, add refiner for 'refined enumeration' option
  persistence (1.1.0) - uses serialised extension synchroniser
  transformation (1.3.0) - support for disjunctive source states, support final states in root SM, 
               add translator for 'refined enumeration' option 
### 1.2.0 ### 
 - Fix problems in previous release
  transformation (1.2.0) - improve handling of resources, improve use of validation, improve monitor
### 1.1.0 ### 
 - Update to use generic diagram support features
  diagram (1.1.0) - use generic toolbar
  navigator (1.1.0) - use generic refinement support
  transformation (1.1.0) - use generic toolbar
### 1.0.1 ### 
 - Minor fixes to be compatible with animation v1.0.0
### 1.0.0 ### 
 - Added support of enumeration translation kind, minor bug fixes
### 0.2.0 ### 
 - Significant metamodel changes, complete regeneration of the diagram, re-implemented persistence, navigator and translation:
  - No refined states and statemachines: refinement can be changed at any point of modelling;
  - Persistence based on generic serialised extension synchroniser;
  - Navigator extension based on generic emf navigator extension;
  - Refinement based on Rodin's new extensible refinement mechanism.
### 0.1.4 ### 
 - UI changes: toolbar, colour and icons
### 0.1.3 ### 
 - Autosave option added to diagram editor
### 0.1.2 ### 
 - Bug fixes
### 0.1.1 ### 
 - Transformation bug fixes and minor visual changes of diagram
### 0.1.0 ### 
 - Initial internal release