Download Latest Version org.eclipse.core.runtime_3.24.100.v20220211-2001.jar (72.5 kB) Get Updates
Home / Plugin_Decomposition / 1.0.2
Name Modified Size InfoDownloads / Week
Parent folder
ch.ethz.eventb.decomposition_1.0.2.201007061329.zip 2010-07-06 2.1 MB
0
ch.ethz.eventb.decomposition.ui_1.0.2.201007061329.jar 2010-07-06 176.1 kB
0
ch.ethz.eventb.decomposition.core_1.0.2.201007061329.jar 2010-07-06 63.6 kB
0
ch.ethz.eventb.decomposition_feature_1.0.2.201007061329.jar 2010-07-06 13.9 kB
0
ch.ethz.eventb.decomposition.ui_1.0.2.201006041316.jar 2010-06-04 176.1 kB
0
ch.ethz.eventb.decomposition_feature_1.0.2.201006041316.jar 2010-06-04 13.9 kB
0
ch.ethz.eventb.decomposition_1.0.2.jar 2010-05-28 241.7 kB
0
ch.ethz.eventb.decomposition.core_1.0.2.jar 2010-05-28 55.8 kB
0
ch.ethz.eventb.decomposition.ui_1.0.2.zip 2010-05-27 1.5 MB
0
Totals: 9 Items   4.3 MB 0 
The Model Decomposition allows you to decompose a model into sub-models. 
Two styles of decomposition are supported: shared variables and shared events.
It is possible to save the decomposition configuration into a file.
More information can be found at http://wiki.event-b.org/index.php/Decomposition_Plug-in_User_Guide.

Version 1.3.1 - Compatible with Rodin 3.3
Version 1.3.0 - Compatible with Rodin 3.2
Version 1.2.2 - Compatible with Rodin 2.2
Source: readme.txt, updated 2017-07-04