Difference between pages "Rodin Platform 3.0.0 External Plug-ins" and "UML-B"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Son
 
m (move content of iUML-B page to this one)
 
Line 1: Line 1:
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
+
Return to [[Rodin Plug-ins]]
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>IMPORTANT<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- To set your plug-in state to available, please use : <span style="color:green">available</span> -->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>IMPORTANT<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
<!-- >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<-->
 
==== Rodin Update Site ====
 
  
http://rodin-b-sharp.sourceforge.net/updates
+
UML-B provides a 'UML-like' graphical front end for Event-B. It provides various diagrammatic modelling notations and editors for creating models which are then translated into Event-B for verification. [[UML-B]] works alongside Event-B allowing the modeller to model in normal Event-B but also contribute some aspects of the model via diagrams.  
  
{{SimpleHeader}}
+
Our [https://www.uml-b.org UML-B] website contains more information about installing UML-B and getting started, as well as our current research and collaborations.
|-
 
! scope=col |  || Plug-in name || Version ||  Status || MCV* || Release Date || Contact || Additional info
 
|-
 
| [[Image:IUMLB_big.png|30px]] || [[Event-B_Statemachines|Event-B State-machines]] || 2.1.0 ||  <span style="color:green"> available</span> || || 27th May 2014 || [mailto:cfs@ecs.soton.ac.uk email] || State-machines contained in Event-B Machines
 
|-
 
| [[Image:IUMLB_big.png|30px]] ||[[Event-B_Statemachines|Event-B State-machine Animation]] || 2.1.1 || <span style="color:green"> available</span> || || 27th May 2014 || [mailto:vs2@ecs.soton.ac.uk email] || Compatible with Event-B statemachines  2.1.x and ProB 3.0.x.
 
|-
 
| [[Image:Umlb32.gif|30px]] || [[UML-B|UML-B]] || 2.2.0 ||  <span style="color:#8B4513"> not checked</span> || || 9th Feb. 2011 || [mailto:cfs@ecs.soton.ac.uk email] || Original UML-B modelling environment
 
|-
 
| [[Image:Umlb32.gif|30px]] ||[[UML-B_-_Statemachine_Animation|UML-B Statemachine Animation]] || 1.1.0 || <span style="color:#8B4513"> not checked</span> || || 15th Feb. 2011 || [mailto:vs2@ecs.soton.ac.uk email] || Compatible with UML-B 2.2 and ProB 2.1.
 
|-
 
| ||[[EMF_framework_for_Event-B|Event-B EMF framework]] || 4.1.0 ||<span style="color:green"> available</span>|| || 27th May 2014  || [mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
 
|-
 
| ||[[Generic_Event-B_EMF_extensions|Event-B EMF support for extensions]] || 3.1.0 ||<span style="color:green"> available</span>|| || 27th May 2014  || [mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers.  End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
 
|-
 
| ||[[Generic_Event-B_EMF_extensions|Event-B EMF support for diagrams]] || 4.1.0 ||<span style="color:green"> available</span>|| || 27th May 2014  || [mailto:cfs@ecs.soton.ac.uk email] ||  Provided for plug-in developers.  End users should not need to install this framework. It will be installed automatically by other plug-ins as required.
 
|-
 
| || [[Isabelle for Rodin]] || || <span style="color:#8B4513"> not checked</span> || 2.x.x || || ||
 
|-
 
| [[Image:Rose.gif|30px]]||[[Rose_(Structured)_Editor|Rose]] || 1.5.0 ||<span style="color:green"> available</span>|| || 27th May 2014 || [mailto:cfs@ecs.soton.ac.uk email] || Mainly useful for Plug-in developers. Tree-structured editor that handles extensions without modification
 
|-
 
| ||[[Records|Records]] ||  1.0.1 ||<span style="color:#8B4513"> not checked</span> || || 16th Oct. 2010 || [mailto:cfs@ecs.soton.ac.uk email] || No longer actively supported - please email if you wish to use this plugin
 
|-
 
| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#8B4513"> not checked</span> || || 15th Oct. 2010 || [mailto:cfs@ecs.soton.ac.uk email] || No longer actively supported - please email if you wish to use this plugin
 
|-
 
| ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.1 || <span style="color:#8B4513"> not checked</span> || || 04th July 2013 || [mailto:asf08rr@ecs.soton.ac.uk email] || Compatible with Rodin 2.8.
 
|-
 
| ||[[Refactoring Framework | Refactory ]]|| 1.3.0 || <span style="color:green"> available</span>|| 3.x.x || 6th May 2014 || [mailto:asf08r@ecs.soton.ac.uk email] || Compatible with Rodin 3.0.
 
|-
 
| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.6 || <span style="color:#8B4513"> not checked</span>|| || 11th Dec 2012 || [mailto:asf08r@ecs.soton.ac.uk email] || Compatible with Rodin 2.8.
 
|-
 
| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:#8B4513"> not checked</span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram
 
|-
 
| || Relevance Filter || 1.1.1 || <span style="color:#8B4513"> not checked</span> || 2.x.x || || ||
 
|-
 
| || [[Theory Plug-in| Theory Plug-in]] ||v1.0 ||<span style="color:#8B4513"> not checked</span>|| 2.2 || 8th July 2011|| [mailto:im06r@ecs.soton.ac.uk email] || Compatible with Rodin 2.2 only.
 
|-.x
 
| || [[Code Generation Activity | Code Generation]] || 0.2.5 ||<span style="color:#8B4513"> not checked</span>||  || 29th Aug. 2013|| [mailto:ae2@ecs.soton.ac.uk email] || For Java, Ada, and OpenMP C code
 
|-.x
 
|-
 
| || [[SMT_Plug-in | SMT Solvers ]] || 1.2.1 || <span style="color:green"> available</span> || 3.0 || 14th March 2014|| [mailto:laurent.voisin@systerel.fr Laurent Voisin]  ||
 
|-
 
| || [[Event-B Qualitative Probability User Guide | Qualitative Probability]] || 0.2.1 || <span style="color:#8B4513"> not checked</span> || 2.3.x || 23rd November 2011 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] ||
 
|-
 
| || [[B2Latex | B2Latex export]] || 0.5.4 || <span style="color:green"> available</span> || 2.5.x || 16th April 2012 || [mailto:thomas.muller@systerel.fr email] ||
 
|-
 
| || [[Generic Instantiation Plug-in User Guide | Generic Instantiation (Soton)]] || 1.0.1 || <span style="color:#8B4513"> not checked</span> || || 05th March 2013 || [mailto:asf08r@ecs.soton.ac.uk email] ||
 
|}
 
  
==== B Method Update Site ====
+
UML-B is a collection of diagrammatic editors for Event-B. The diagrams are used to elaborate the machine and its content with extra model features. The diagrams may either by contained within the machine they contribute to, or can be contained in a separate UML-B model file that is linked to the machine.
  
http://methode-b.com/update_site/atelierb_provers
+
* [[Image:IUMLB.png]] [[Event-B Statemachines| State-machine diagrams]] a hierarchical state-machine diagram editor which can be used to impose sequential ordering to your events. An animator is also provided to visualise the progress of the state-machine.
  
{{SimpleHeader}}
+
* [[Image:IUMLB.png]] [[Event-B Classdiagrams| Class diagrams]] a class diagram editor which can be used to define data entities and their relationships and to lift behaviour based on data sets.
|-
 
! scope=col | ||Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info
 
|-
 
| [[Image:atelierB.png]]||Atelier-B provers || 2.1.0 || <span style="color:green">available</span> || 3.x.x || 18th March 2014 || [mailto:contact@atelierb.eu email] || Read the instructions concerning 64-bit compatibility : [[Rodin_Platform_3.0_Release_Notes#Requirements_-_Compatibility | here ]]
 
|}
 
  
==== Other Update Sites ====
+
==Lectures==
{{SimpleHeader}}
 
|-
 
! scope=col | ||Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info
 
|-
 
| [[Image:AnimB.png|30px]] || [[AnimB]] ||  || <span style="color:#8B4513"> not checked</span>|| || || [mailto:christope.metayer@animb.org Christophe Métayer] || Use the update site <tt>http://www.animb.org/updatesite</tt>
 
|-
 
| ||[[Camille_Editor|Camille]] || 2.1.5 ||<span style="color:#8B4513"> not checked</span>|| 2.5.x || 27th July 2011 || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/camille_updates</tt><br><span style="color:#8B4513">Make sure to install the Event-B EMF Framework version 3.7.0 or greater.</span>
 
|-
 
| [[Image:Mlogo_big.png|30px]] || [[Modularisation_Plug-in|Modularisation]] ||  || <span style="color:#8B4513"> not checked</span>|| 2.x.x || || [mailto:alexei.iliasov@ncl.ac.uk email] || Use the update site <tt>http://www.iliasov.org/modplugin</tt>
 
|-
 
| || [[Generic Instantiation User Guide | Generic Instantiation]] || 1.1.0 || <span style="color:green">available</span> || 3.0.x || 1 August 2014 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] || Use the update site <tt>http://gen-inst.sourceforge.net/updates</tt>
 
|-
 
| ||[[Group_refinement_plugin|Group refinement]] ||  || <span style="color:#8B4513"> not checked</span>|| 2.x.x || || [mailto:alexei.iliasov@ncl.ac.uk email] || Use the update site <tt>http://iliasov.org/refplugin</tt>
 
|-
 
| ||[[Flows|Flows/Use case extension]] ||  || <span style="color:#8B4513"> not checked</span>|| 2.x.x || || [mailto:alexei.iliasov@ncl.ac.uk email] || Use the update site <tt>http://iliasov.org/usecase</tt>
 
|-
 
| [[Image:Prob_eventb_wiki_logo.png|30px]]||[http://www.stups.uni-duesseldorf.de/ProB ProB] || 3.0.1|| <span style="color:green">available</span> || 3.0.x || 18th March 2014 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site.  <tt>http://www.stups.uni-duesseldorf.de/prob_updates_rodin3</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio]<br>For older Rodin versions use <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt>
 
|-
 
| [[Image:ProR_logo.png|32px]] || [http://pror.org ProR] || 0.3.2 ||<span style="color:#8B4513"> not checked</span> || 2.6.x || 08/01/2012  || [mailto:michael@jastram.de Michael Jastram] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web site: <tt>http://eclipse.org/rmf</tt>
 
|-
 
| [[Image:MBT_for_Event-B_Logo_Medium.png]] ||[[MBT_plugin|MBT plugin]] || 2.0 || <span style="color:#8B4513"> not checked</span>|| 2.7.x || 5th of March 2012 || [mailto:alin.stefanescu@upit.ro Alin Stefanescu] || Use the update site <tt>http://fmi.upit.ro/mbt_plugin</tt>
 
|-
 
| ||[[Mode/FT Views]]|| 1.0.2 || <span style="color:#8B4513"> not checked</span>|| 2.4.x || 4th July 2011 || [mailto:ilya.lopatkin@ncl.ac.uk Ilya Lopatkin] || Update site: <tt>http://rodinmodeftview.sourceforge.net/</tt>
 
|-
 
| ||[[Transformation patterns]]|| 1.0 || <span style="color:#8B4513"> not checked</span>|| 2.x.x || 4th July 2011 || [mailto:ilya.lopatkin@ncl.ac.uk Ilya Lopatkin] || Update site: <tt>http://rodinmodeftview.sourceforge.net/</tt>
 
|
 
|-
 
| [[Image:EHDL_Ver2.png|center|28px]] ||[[VHDL code generator]]|| 2.0.2 || <span style="color:#8B4513"> not checked</span>|| 2.x.x || 12th March 2012 || [mailto:Sergey.Ostroumov@abo.fi Sergey Ostroumov] || Update site: <tt>http://www.eventb-to-vhdl.tk/</tt>
 
|}
 
<nowiki>*MCV stands for the Rodin's Maximum Compatible Version</nowiki>
 
  
==== Known plug-in incompatibilities ====
+
* [[Media:iUML-BClassDiagramsLecture.pdf | iUML-B Class-diagrams Lecture]] : Lecture slides on the use of iUML-B Class-diagrams
It unfortunately might exists some incompatibilities between plug-ins. This list might be non exhaustive and is updated accorded to user experiences.
 
If you encounter some conflict while installing or using plug-ins, please send a mail to the [mailto:rodin-b-sharp-user@lists.sourceforge.net Rodin User List] or feel free to complete the following table.
 
{{SimpleHeader}}
 
|-
 
! scope=col |  Plug-in name || Incompatible with
 
|-
 
|}
 
  
[[Category:Rodin Platform Release Notes]]
+
* [[Media:iUML-BStatemachinesLecture.pdf | iUML-B State-machines Lecture]] : Lecture slides on the use of iUML-B State-machines.
 +
 
 +
==Tutorials==
 +
 
 +
* [[iUML-B Class-diagrams Tutorial]] : A tutorial on the use of iUML-B Class-diagrams.
 +
 
 +
* [[iUML-B State-machines Tutorial]] : A tutorial on the use of iUML-B State-machines.
 +
 
 +
==Guidelines==
 +
 
 +
* [[iUML-B Modelling a control system]] : Some guidelines on modelling styles for a control system
 +
 
 +
 
 +
[[Category:User documentation]]
 +
[[Category:UML-B]]
 +
[[Category:Plugin]]

Revision as of 21:53, 30 September 2020

Return to Rodin Plug-ins

UML-B provides a 'UML-like' graphical front end for Event-B. It provides various diagrammatic modelling notations and editors for creating models which are then translated into Event-B for verification. UML-B works alongside Event-B allowing the modeller to model in normal Event-B but also contribute some aspects of the model via diagrams.

Our UML-B website contains more information about installing UML-B and getting started, as well as our current research and collaborations.

UML-B is a collection of diagrammatic editors for Event-B. The diagrams are used to elaborate the machine and its content with extra model features. The diagrams may either by contained within the machine they contribute to, or can be contained in a separate UML-B model file that is linked to the machine.

  • IUMLB.png State-machine diagrams a hierarchical state-machine diagram editor which can be used to impose sequential ordering to your events. An animator is also provided to visualise the progress of the state-machine.
  • IUMLB.png Class diagrams a class diagram editor which can be used to define data entities and their relationships and to lift behaviour based on data sets.

Lectures

Tutorials

Guidelines