Difference between pages "Rodin Workshop 2021" and "File:RodinWorkshop2021 Domain knowledge as Ontology-based Event-B Theories.pdf"

From Event-B
(Difference between pages)
Jump to navigationJump to search
 
 
Line 1: Line 1:
==9th Rodin User and Developer Workshop==
 
  
The 9th Rodin User and Developer Workshop, 8 June, 2021, Ulm, Germany (Virtual)
 
 
''The proceedings of the workshop is now available as a [technical report] at the University of Southampton.''
 
 
The programme now available on [https://abz2021.uni-ulm.de/program-overview  the ABZ2021 website] and [[#Programme|below]] (with texts).
 
 
Event-B is a formal method for system-level modelling and analysis. The
 
Rodin Platform is an Eclipse-based toolset for Event-B that provides
 
effective support for modelling and automated proof. The platform is open
 
source and is further extendable with plug-ins. A range of plug-ins have
 
already been developed.
 
 
The 9th Rodin workshop will be collocated with the [https://abz2021.uni-ulm.de/ ABZ 2021 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 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.
 
 
 
=== Programme ===
 
 
'''09:00 - 10:30'''
 
* Domain knowledge as Ontology-based Event-B Theories - ''I. Mendil, Y. Aït-Ameur, N. K. Singh, D. Méry, and P. Palanque'' ([[Media:RodinWorkshop2021_Domain knowledge as Ontology-based Event-B Theories.pdf|pdf]], [[1.pdf|slides]])
 
* OntoEventB: A Generator of Event-B contexts from Ontologies - ''Idir Ait-Sadoune'' ([[Media:RodinWorkshop2021_OntoEventB.pdf|pdf]], [[1.pdf|slides]])
 
* EVBT — an Event-B tool for code generation and documentation - ''Fredrik Öhrström'' ([[Media:.pdf|pdf]], [[RodinWorkshop2021_EVBT.pdf|slides]])
 
* Scenario Checker: An Event-B tool for validating abstract models - ''Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' ([[Media:RodinWorkshop2021_Scenario Checker.pdf|pdf]], [[1.pdf|slides]])
 
 
'''10:30 - 11:00''' ''Break''
 
 
'''11:00--12:30'''
 
* Context instantiation plug-in: a new approach to genericity in Rodin - ''Guillaume Verdier, Laurent Voisin'' ([[Media:RodinWorkshop2021_Context instantiation plug-in.pdf|pdf]], [[1.pdf|slides]])
 
* Examples of using the Instantiation Plug-in - ''Dominique Cansell, Jean-Raymond Abrial'' ([[Media:.pdf|pdf]], [[RodinWorkshop2021_Examples of using the Instantiation Plug-in.pdf|slides]])
 
* Data-types definitions: Use of Theory and Context instantiations Plugins - ''Peter Riviere, Yamine Ait-Ameur, and Neeraj Kumar Singh'' ([[Media:RodinWorkshop2021_Data-types_definitions.pdf|pdf]], [[1.pdf|slides]])
 
* Towards CamilleX 3.0 - ''Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' ([[Media:RodinWorkshop2021_Towards CamilleX 3.0.pdf|pdf]], [[1.pdf|slides]])
 
 
'''12:30--13:30''' ''Lunch''
 
 
'''13:30--15:00'''
 
* Keynote: Safety and Security Case Study Experiences with Event-B and Rodin - ''Jonathan Hammond, Capgemini Engineering'' ([[Media:.pdf|slides]])
 
* Large Scale Biological Models in Rodin - ''Usman Sanwal, Thai Son Hoang, Luigia Petre, and Ion Petre'' ([[Media:RodinWorkshop2021_Large Scale Biological Models in Rodin.pdf|pdf]], [[1.pdf|slides]])
 
* Formal Verification of EULYNX Models Using Event-B and RODIN - ''Abdul Rasheeq, Shubhangi Salunkhe'' ([[Media:.pdf|pdf]], [[RodinWorkshop2021_Formal Verification of EULYNX Models Using Event-B and RODIN.pdf|slides]])
 
 
=== Organisers ===
 
<p>Chair: Asieh Salehi Fathabadi, University of Southampton, UK</p>
 
<p>Co-chair: Thai Son Hoang, University of Southampton, UK</p>
 
<p>Co-chair: Colin Snook, University of Southampton, UK</p>
 
<p>Co-chair: Yamine Ait Ameur, Toulouse National Polytechnique Institute, France</p>
 

Latest revision as of 12:34, 14 June 2021