Download Latest Version
ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Get an email when there's a new version of RODIN
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| readme.txt | 2014-10-18 | 1.3 kB | |
| ac.soton.umlb.stateDiagramAnimation.ui_1.3.0.jar | 2014-10-18 | 26.9 kB | |
| ac.soton.umlb.stateDiagramAnimation.edit_1.1.1.jar | 2014-10-18 | 28.2 kB | |
| ac.soton.umlb.stateDiagramAnimation.diagram_1.2.0.jar | 2014-10-18 | 310.0 kB | |
| ac.soton.umlb.stateDiagramAnimation.feature_1.3.0.jar | 2014-10-18 | 12.3 kB | |
| Totals: 5 Items | 378.7 kB | 0 | |
A UML-B state-machine animation feature that utilises the ProB Animator and allows one or more UML-B state-machine diagrams to be used as the user interface. Version 1.3.0 - update for Rodin 3.x.x API Version 1.2.0 - Launches BMotionStudio in parallel if a BMotionStudio Editor is open on the same refinement or is included in the selection of files (to include in a selection of files you need to use a workspace navigator so that you can select Files instead of Event-B elements) Version 1.1.0 - Compatible with UML-B 2.2.0 and ProB 2.1.2 Version 1.0.1 - Corrected version dependencies Version 1.0.0 - Re-numbered as release version 1.0.0 - Compatibile with ProB Animator 7.0 (Rodin 1.3 Platform) Version 0.1.3 - Minor bug fixes - Animation output files are organised into a subfolder Version 0.1.2 - Compatible with UML-B 1.0.0 and ProB 4.0.3 (Rodin 1.2 Platform) - Supports ProB core 6.0 output (uses EventB math notation) Version 0.1.0 - Developed using EMF and GMF frameworks - Independent of the UML-B semantic and view models - Animation of both set- and function-translated statemachines - Animation of the class statemachines with instances - Capability to animate multiple statemachines from different refinement levels at the same time