Difference between pages "Rodin Platform 3.5.0 External Plug-ins" and "Rodin Workshop 2021"

From Event-B
(Difference between pages)
Jump to navigationJump to search
 
(Created page with "<h1>The 9th Rodin User and Developer Workshop, 8 June, 2021, Ulm, Germany</h1> The 9th Rodin workshop will be collocated with the [https://abz2021.uni-ulm.de ABZ2021 Conferen...")
 
Line 1: Line 1:
−
<!--
+
<h1>The 9th Rodin User and Developer Workshop, 8 June, 2021, Ulm, Germany</h1>
  
−
  Please use one of the following templates for the Status column
+
The 9th Rodin workshop will be collocated with the [https://abz2021.uni-ulm.de ABZ2021 Conference]
  
−
    <span style="color:green"> available </span>
+
The purpose of this workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.
−
    <span style="color:green"> new release </span>
 
−
    <span style="color:#8B4513"> not checked </span>
 
−
    <span style="color:red"> not available </span>
 
  
−
-->
+
For Rodin users the workshop will provide an opportunity to share tool experiences (including discussion on modelling styles, proofs strategies, ect.) and to gain an understanding of on-going tool developments. For plug-in developers the workshop will provide an opportunity to showcase their tools and to achieve better coordination of tool development effort.
  
−
==== Rodin Update Site ====
+
Several Event-B related projects that are currently developing Rodin tools have already indicated their intention to contribute to the Rodin workshop. Special sessions will be arranged, dedicated to the progress of these running projects.
  
−
Available from http://rodin-b-sharp.sourceforge.net/updates
+
The proceedings of the workshop will be available as a technical report at the University of Southampton.
  
−
{{SimpleHeader}}
+
== Organisers ==
−
|-
+
<p>Chair: Asieh Salehi Fathabadi, University of Southampton, UK</p>
−
! scope=col |  || Plug-in name || Version ||  Status || MCV* || Release Date || Contact || Additional info
+
<p>Co-chair: Thai Son Hoang, University of Southampton, UK</p>
−
|-
+
<p>Co-chair: Colin Snook, University of Southampton, UK</p>
−
| || [[SMT_Plug-in | SMT Solvers ]] || 1.4.0 || <span style="color:green"> available </span> || || 15th March 2016|| [mailto:lvoisin@users.sourceforge.net Laurent Voisin]  || Automatic prover using SMT solvers
+
<p>Co-chair: Yamine Ait Ameur, Toulouse National Polytechnique Institute, France</p>
−
|-
 
−
| || Relevance Filter || 1.1.1 ||  <span style="color:green"> available </span>  || ?.x.x || || || Improves chance of automatic proof by selecting relevant hypotheses
 
−
|-
 
−
| || [[B2Latex | B2Latex export]] || 0.7.0 ||<span style="color:green"> available </span>|| 2.5.x || 27th May 2015 || [mailto:lvoisin@users.sourceforge.net Laurent Voisin] || generates a Latex documentation of the Event-B
 
−
|-
 
−
| [[Image:Rose.gif|30px]]||[[Rose_(Structured)_Editor|Rose editor]] || 1.7.0 ||<span style="color:green"> available </span>|| 3.x.x || 4 Nov 2018 || [mailto:umlb@soton.ac.uk umlb] || Tree-structured editor for Event-B EMF that handles extensions without modification. Mainly useful for Plug-in developers.
 
−
|-
 
−
| CODA || CODA Component Diagrams || 6.0.1 ||<span style="color:green"> available </span>|| 3.x.x || ? || [mailto:umlb@soton.ac.uk umlb] || Component diagrams with timed channels. ('''Not compatible with latest UML-B.''' Will be up-issued on Soton update site.)
 
−
|-
 
−
| CODA || CODA Simulator for Component Diagrams || 3.0.1 ||<span style="color:green"> available </span>|| 3.x.x || ? || [mailto:umlb@soton.ac.uk umlb] || Component based simulation. ('''Not compatible with latest UML-B.''' Will be up-issued on Soton update site.)
 
−
|-
 
−
| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.1 ||<span style="color:green"> available </span>|| 3.x.x || 1st Feb. 2015 || [mailto:umlb@soton.ac.uk umlb] || Machine - Context relationship diagram. ('''Not compatible with latest UML-B.''' Will be up-issued on Soton update site.)
 
−
|-
 
−
| [[Image:Cmp_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:#8B4513"> not checked </span> || || 5th July 2017 || [mailto:umlb@soton.ac.uk umlb] || Compatible with Rodin 3.x.x
 
−
|-
 
−
| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.3.1 || <span style="color:#8B4513"> not checked </span>|| || 4th July 2017 || [mailto:umlb@soton.ac.uk umlb] || Compatible with Rodin 3.x.x
 
−
|-
 
−
| ||[[Refactoring Framework | Refactory ]]|| 1.3.0 || <span style="color:#8B4513"> not checked</span>|| 3.x.x || 6th May 2014 || [mailto:umlb@soton.ac.uk umlb] || Compatible with Rodin 3.0.x.
 
−
|-
 
−
| || [[Theory Plug-in| Theory Plug-in]] || 3.0.0 ||<span style="color:#8B4513"> not checked</span>||  || 17th Dec 2014|| [mailto:lvoisin@users.sourceforge.net Laurent] ||
 
−
|-.x
 
−
| || [[Code Generation Activity | Code Generation]] || 0.2.5 ||<span style="color:#8B4513"> not checked</span>||  || 29th Aug. 2013|| [mailto:umlb@soton.ac.uk umlb] || For Java, Ada, and OpenMP C code
 
−
|-.x
 
−
|-
 
−
| || [[Isabelle for Rodin]] || || <span style="color:#8B4513"> not checked</span> || 2.x.x || || ||
 
−
|-
 
−
| || [[Pattern | Pattern]] || 0.9.0 || <span style="color:#8B4513"> not checked</span> || 3.x.x || 13th March 2015 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] ||
 
−
|-
 
−
| || [[Event-B Qualitative Probability User Guide | Qualitative Probability]] || 0.2.3 || <span style="color:#8B4513"> not working</span> || 3.x.x || 9th October 2015 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] || Needs updating to be compatible with changes in Rodin 3.5
 
−
|-
 
−
| || [[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 Asieh] ||
 
−
|-
 
−
| ||[[Records|Records]] || 2.0.0 || <span style="color:#8B4513"> not checked </span> || 2.x.x || 16th Oct. 2010 || [mailto:umlb@soton.ac.uk umlb] || no longer supported - use CamilleX instead
 
−
|-
 
−
| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.2.0 || <span style="color:#8B4513"> not checked </span>  || 3.2.x || 5th Sept. 2016 || [mailto:umlb@soton.ac.uk umlb] || No longer supported - use CamilleX instead. Provides a synchronised copy of Machines and Contexts for committing into a repository.
 
−
|-
 
−
| [[Image:Umlb32.gif|30px]] || [[UML-B|UML-B]] || 2.3.0 ||<span style="color:#8B4513"> not checked </span>|| 3.x.x || 18th Oct. 2014 || [mailto:umlb@soton.ac.uk umlb] || no longer supported - use new UML-B from Soton update site instead
 
−
|-
 
−
| [[Image:Umlb32.gif|30px]] ||[[UML-B_-_Statemachine_Animation|UML-B Statemachine Animation]] || 1.3.0 ||<span style="color:#8B4513"> not checked </span> || 3.x.x || 18th Oct. 2014 || [mailto:umlb@soton.ac.uk umlb] || no longer supported - use new UML-B from Soton update site instead
 
−
|-
 
−
| [[Image:IUMLB_big.png|30px]] ||iUML-B plugins ||  ||<span style="color:#8B4513"> not checked </span> || 3.x.x ||  || [mailto:umlb@soton.ac.uk umlb] || New versions are now available on the Soton Update Site.
 
−
|}
 
  
−
==== Atelier B Update Site ====
 
  
−
Available from http://methode-b.com/update_site/atelierb_provers
+
== Call For Papers ==
  
−
{{SimpleHeader}}
+
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, please submit an abstract. We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.
−
|-
 
−
! scope=col |  || Plug-in name || Version ||  Status || MCV* || Release Date || Contact || Additional info
 
−
|-
 
−
| || Atelier B provers || 2.2.1 || <span style="color:green">available</span> || 3.3.0 || 7 Aug 2017  || || Does not work with macOS Catalina!
 
−
|}
 
  
−
==== ProB Update Site ====
+
;Submission deadline: 14th May 2021
−
 
+
;Submission to: rodin@ecs.soton.ac.uk
−
Available from http://www.stups.hhu.de/prob_updates_rodin3
+
;Submission format : 1-2 pages of abstract (description with title and authors and references - PDF)
−
 
 
−
{{SimpleHeader}}
 
−
|-
 
−
! scope=col |  || Plug-in name || Version ||  Status || MCV* || Release Date || Contact || Additional info
 
−
|-
 
−
| || ProB || 3.0.10 || <span style="color:green">available</span> || 3.5.0 || 4 Sep 2020  || || The ProB animator and model checker
 
−
|-
 
−
| || ProB (Dis)Prover || 3.0.9 || <span style="color:green">available</span> || 3.5.0 || 4 Sep 2020  || || The ProB counter-example finder and prover
 
−
|-
 
−
| || ProB Symbolic constants support || 3.0.9 || <span style="color:green">available</span> || 3.5.0 || 4 Sep 2020  || ||
 
−
|}
 
−
 
 
−
==== Southampton Releases Update Site ====
 
−
 
 
−
 
 
−
Available from http://eventb-soton.github.io/updateSite/releases
 
−
{{SimpleHeader}}
 
−
|-
 
−
! scope=col |  || Plug-in name || Version ||  Status || MCV* || Release Date || Contact || Additional info
 
−
|-
 
−
| [[Image:CamilleX.png|CmX]] || [[CamilleX|CamilleX]] || 2.0.2 ||<span style="color:green"> new release </span> || 3.4.x || 21 Jan 2021  || [mailto:T.S.Hoang@ecs.soton.ac.uk Thai Son Hoang] || CamilleX provides text editors for Event-B models and support modelling mechanisms such as machine inclusion.
 
−
|-
 
−
| [[Image:IUMLB_big.png|30px]] || [[Event-B_Classdiagrams|UML-B Class Diagrams]] || 3.0.0 ||<span style="color:green"> new release </span> || 3.x.x || 11 Sept 2020  || [mailto:umlb@soton.ac.uk umlb] || UML-B Class diagrams translate into Event-B Machines.
 
−
|-
 
−
| [[Image:IUMLB_big.png|30px]] || [[Event-B_Statemachines|UML-B State-machines]] || 4.0.1 ||<span style="color:green"> new release </span> || 3.x.x || 13 Aug 2020  || [mailto:umlb@soton.ac.uk umlb] || UML-B State-machines translate into Event-B Machines.
 
−
|-
 
−
| [[Image:IUMLB_big.png|30px]] ||[[Event-B_Statemachines|UML-B State-machine Animation]] || 3.0.0 ||<span style="color:green"> new release </span> || 3.x.x || 13 Aug 2020 || [mailto:umlb@soton.ac.uk umlb] || Animate UML-B State-machines. Compatible with UML-B statemachines  4.x.x and ProB 3.0.x.
 
−
|-
 
−
| [[Image:IUMLB_big.png|30px]] ||[[Scenario Checker|Scenario Checker]] || 0.0.0 ||<span style="color:green"> new release </span> || 3.4.x || 31 July 2020 || [mailto:umlb@soton.ac.uk umlb] || Validation tool for recording and replaying scenarios
 
−
|}
 
−
 
 
−
 
 
−
The following framework plug-ins are also provided on the Southampton Releases Update Site. These plugins are installed automatically when required and are not usually installed explicitly by users.
 
−
{{SimpleHeader}}
 
−
|-
 
−
! scope=col |  || Plug-in name || Version ||  Status || MCV* || Release Date || Contact || Additional info
 
−
|-
 
−
| ||[[EMF_framework_for_Event-B|Event-B EMF framework]] || 6.1.0 ||<span style="color:green"> new release </span> || 3.x.x || 4 July 2020 || [mailto:umlb@soton.ac.uk umlb] || 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 extensions]] || 6.1.0 ||<span style="color:green"> new release </span> || 3.x.x || 4 July 2020  || [mailto:umlb@soton.ac.uk umlb] || 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|UML-B diagrams]] || 8.0.1 ||<span style="color:green"> new release </span> || 3.2.x || 13 Aug 2020  || [mailto:umlb@soton.ac.uk umlb] ||  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.
 
−
|-
 
−
|  ||[[ProB Support|ProB Support]] || 0.0.0 ||<span style="color:green"> new release </span> || 3.4.x || 28 July 2020 || [mailto:umlb@soton.ac.uk umlb] || 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.
 
−
|}
 

Revision as of 10:23, 29 January 2021

The 9th Rodin User and Developer Workshop, 8 June, 2021, Ulm, Germany

The 9th Rodin workshop will be collocated with the ABZ2021 Conference

The purpose of this workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.

For Rodin users the workshop will provide an opportunity to share tool experiences (including discussion on modelling styles, proofs strategies, ect.) and to gain an understanding of on-going tool developments. For plug-in developers the workshop will provide an opportunity to showcase their tools and to achieve better coordination of tool development effort.

Several Event-B related projects that are currently developing Rodin tools have already indicated their intention to contribute to the Rodin workshop. Special sessions will be arranged, dedicated to the progress of these running projects.

The proceedings of the workshop will be available as a technical report at the University of Southampton.

Organisers

Chair: Asieh Salehi Fathabadi, University of Southampton, UK

Co-chair: Thai Son Hoang, University of Southampton, UK

Co-chair: Colin Snook, University of Southampton, UK

Co-chair: Yamine Ait Ameur, Toulouse National Polytechnique Institute, France


Call For Papers

If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, please submit an abstract. We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.

Submission deadline
14th May 2021
Submission to
rodin@ecs.soton.ac.uk
Submission format 
1-2 pages of abstract (description with title and authors and references - PDF)
Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Platform_3.5.0_External_Plug-ins&oldid=14404’