Download Latest Version ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Email in envelope

Get an email when there's a new version of RODIN

Home / Plugin_EMF Inclusion / 0.2.0
Name Modified Size InfoDownloads / Week
Parent folder
ac.soton.eventb.emf.inclusion.generator.source_0.2.0.release.jar 2017-08-09 11.8 kB
0
ac.soton.eventb.emf.inclusion.generator_0.2.0.release.jar 2017-08-09 18.3 kB
0
ac.soton.eventb.emf.inclusion.editor.source_0.2.0.release.jar 2017-08-09 20.3 kB
0
ac.soton.eventb.emf.inclusion.editor_0.2.0.release.jar 2017-08-09 64.9 kB
0
ac.soton.eventb.emf.inclusion.source.feature_0.2.0.release.jar 2017-08-09 466 Bytes
0
ac.soton.eventb.emf.inclusion.feature_0.2.0.release.jar 2017-08-09 3.8 kB
0
ac.soton.eventb.emf.inclusion.sdk_0.2.0.release.jar 2017-08-09 3.4 kB
0
Totals: 7 Items   122.9 kB 0

Event-B EMF Inclusion Feature

This feature provides the EMF Inclusion framework for Event-B.

Release history

1.0.0. Updated dependency to Event-B EMF Core

  • Event-B EMF Inclusion (1.0.0):
  • Updated dependency on Event-B EMF Core to [5.0.0, 6.0.0)
  • Minor internal changes (to be compatible with Java 1.9)
  • Do not re-export required plugins.
  • Event-B EMF Inclusion Edit (1.0.0):
  • Minor internal changes (to be compatible with Java 1.9)
  • Do not re-export required plugins.
  • Event-B EMF Inclusion Editor: REMOVED
  • Event-B EMF Inclusion Generator (0.2.1):
  • Use adaptation of the EMF Translator for Event-B.
  • Minor internal changes (to be compatible with Java 1.9)
  • Event-B EMF Inclusion feature: Modernised the release history.

0.2.0. Implementation changed for Machine Inclusion and Event Synchronisation

  • Event-B EMF Inclusion Editor (0.2.0): Fixed provider name
  • Event-B EMF Inclusion Generator (0.2.0):
  • Changed the implementation of Machine Inclusion translation rule
  • Added event synchronisation translation rule as a separate rule from\ machine inclusion

0.1.0 Initial version

  • Event-B EMF Inclusion (0.1.0): Event-B EMF Inclusion Meta-model\ (Initial version)
  • Event-B EMF Inclusion Edit (0.1.0): Event-B EMF Inclusion Edit Support\ (Initial version)
  • Event-B EMF Inclusion Editor (0.1.0): Event-B EMF Inclusion Editor\ (Initial version)
  • Event-B EMF Inclusion Generator (0.1.0): Event-B EMF Inclusion Generator\ (Intial version)
Source: README.md, updated 2019-02-16