RODIN Files

CODA Component Diagrams extends UML-B and Event-B to provide modelling of components that are connected by timed channels.

Release history:
-------------------------------------------------------------------
### 6.0.1 ###
  - fix install licence message\n\
 components.generator (5.0.1)
  - fix bug in translation of wakekinds when multiple root components
### 6.0.0 ###
 components (6.0.0)
  - support decomposition of component diagrams
  - correct copyrights
  - updates to accommodate changes to frameworks
  - upgrade execution environment to Java 1.8
 components.diagram (6.0.0)
  - support decomposition of component diagrams
  - correct copyrights
  - default text colour changed to white
  - updates to accommodate changes to frameworks
  - upgrade execution environment to Java 1.8
 components.edit (6.0.0)
  - support decomposition of component diagrams
  - correct copyrights
  - updates to accommodate changes to frameworks
  - upgrade execution environment to Java 1.8
 components.generator (5.0.0)
  - support decomposition of component diagrams
  - correct copyrights
  - use generic translator
  - change generation of portwake timer guards
  - updates to accommodate changes to frameworks
  - upgrade execution environment to Java 1.8
 components.navigator (3.3.0)
  - correct copyrights
  - updates to accommodate changes to frameworks
  - upgrade execution environment to Java 1.8
 components.persistence (2.1.0)
  - correct copyrights
  - updates to accommodate changes to frameworks
  - upgrade execution environment to Java 1.8
### 5.1.0 ###
 - Updates agreed at CODA meeting 6/9/16 + some fixes
 components (5.0.1) - remove type checking validation of inports and outports
 					- make source and destination validity messages more specific
 components.diagram (5.0.1) - Fix Validation Marker problem introduced in last release
 					- automatically name inports and outports
 components.generator (4.1.0) - New generation for inports and outports as discussed at meeting 6/9/16
 							  - generate parameters for chained inports and outports
							  - add helper invariant for auto proving WD of wake queues
							  - simplify port wake guard (current time is always max)
							  - remove helper invariant for port wake as max no longer used
### 5.0.0 ###
 - Introduce ports to provide full support for component nesting
  components (5.0.0) - Revised meta-model and subsequent changes to introduce ports etc. for component nesting,
 	change build to use Java 1.7
  components.diagram (5.0.0) - Regenerate diagrams to support ports etc. for component nesting,
	change build to use Java 1.7
  components.edit (5.0.0) -  regenerated for meta-model nesting changes above,
	change build to use Java 1.7
  components.generator (4.0.0) - add support for disconnected ports,
	change build to use Java 1.7
  components.navigator (3.2.2) - change build to use Java 1.7
  components.persistence (2.0.3) - change build to use Java 1.7
### 4.3.1 ###
  branding (1.0.0) - Initial version
### 4.3.0 ###
  components (4.3.0) - Added ComponentUtils class
  diagram (4.2.1) - Replace dependency on ac.soton.eventb.emf.diagrams.navigator
    by ac.soton.eventb.emf.diagrams.refactor
  generator (3.0.3)
    - Refactor Validator with AbstractValidator
    - Add CODA copyright notice
    - Improve priority of operation parameter typing guard to 1
  navigator (3.2.1) - update dependency to use ac.soton.eventb.emf.diagrams.navigator v3.0.0
### 4.2.0 ###
 - Released for Rodin 3.1.x - updated licence
  components.diagram (4.2.0) - use refactoring support, 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,
    Correct externalisation/localisation etc.
  components.generator (3.0.2) - Correct externalisation/localisation etc.
  components.navigator (3.2.0) - contribute component element refiner, Correct externalisation/localisation etc.
  components.persistence (2.0.2) - Correct externalisation/localisation etc.
### 4.1.0 ###
 - Released for Rodin 3.1.x
  components (4.0.1) - update dependencies
  components.diagram (4.1.0) - Property sheet improvements, update dependencies
  components.edit (4.0.1) - update dependencies
  components.generator (3.0.1) - update dependencies
  components.navigator (3.1.0) - update refiner to use ref types, change navigator filters, update dependencies
  components.persistence (2.0.1) - update dependencies
### 4.0.0 ###
 - enhanced features including multiple wake queues, min/max in wake queues,
	process statemachines, improved control over appearance
  components (4.0.0) - add new features
  components.diagram (4.0.0) - support new features, improve appearance configurability
  components.edit (4.0.0) - support new features
  components.generator (3.0.0) - support new features
  components.navigator (3.0.0) - update refiner, refiner now extends statemachine refiner
  components.persistence (2.0.0) - for new nsURI 
### 3.5.2 ###
 Released prototype - updated for new framework releases
	components (3.1.3) - match dependencies to latest frameworks
	diagram (3.2.5) - fix bug in morph, improve properties sheet re morph
	navigator (2.3.1) - declare file extension of components
### 3.5.1 ###
 Released prototype - new features and bug fix
	components (3.1.3) - provide mechanism to morph between operation subclasses
	diagram (3.2.4) - increase size of new event dialogue, provide button to morph between operation subclasses, fix bad validation error message
### 3.5.0 ###
 Released prototype - updated for new framework releases
	components (3.1.2) - adjust dependencies
	diagram (3.2.3) - increase size of new event dialogue
	generator (2.5.0) - use new priorities scheme
	navigator (2.3.0) - remove delete command
	edit (3.0.1) - adjust dependencies
	persistence (1.1.2) - adjust dependencies
### 3.4.2 ###
 Fix fonts (Brave sans mono) for connector type text so that it uses rodin keyboard
### 3.4.1 ###
 Fix fonts (Brave sans mono) for property sheet text that uses rodin keyboard
### 3.4.0 ###
 Released prototype - corrections
	generator(2.4.0) - suppress unused wakeup queues, ignore warnings in validation, fix bug in method calls
### 3.3.1 ###
 Released prototype - corrections
	components (3.1.1) - override validate Unique ID
	diagram (3.2.1) - remove unused dependency on generator
	generator (2.3.1) - remove handlers for validate and generate commands
	navigator (2.2.1) - remove statemachines from refiner
### 3.3.0 ###
 Released prototype - changed Port Wakes operation
	generator (2.3.0) changed Port Wakes so that all combinations do not have to be explicitly modelled
### 3.2.0 ###
 Released prototype - changed operation synch and new features
	diagrams (3.2.0) add remove and delete button for event elaboration
	generator (2.2.0) change synch flag handling for self-wakes and port-wakes
	navigator (2.2.0) when deleting component also delete its generated elements
### 3.1.0 ###
 Released prototype - corrections and new features
	components (3.1.0) corrections, inherits, open sm diagrams
	diagrams (3.1.0) corrections, open sm diagrams, handle unsettable properties
	generator (2.1.0) corrections, suppress inherited properties, handle multi-elaborates labels
	navigator (2.1.0) corrections, suppress some element types in refiner
### 3.0.0 ###
 Released prototype - re-factored and new features - added generator
	components (3.0.0) revised meta-model
	diagrams (3.0.0) major re-development, revised meta-model
	edit (3.0.0) revised meta-model
	generator (2.0.0) major re-development, revised meta-model
	navigator (2.0.0) re-organised diagram files
	persistence (1.1.1) minor housekeeping
### 2.0.0 ###
 Interim prototype - re-factored and new features - transformation
### 1.0.0 ###
 Interim prototype - re-factored and new features - no transformation
### 0.1.0 ###
 Initial prototype build for evaluation