|
|
Line 1: |
Line 1: |
− | ==9th Rodin User and Developer Workshop== | + | == Summary == |
− | | + | Scenario Checker (Rodin Workshop 2021) |
− | 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:RodinWorkshop2021_EVBT.pdf|pdf]], [[1.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:RodinWorkshop2021_Examples of using the Instantiation Plug-in.pdf|pdf]], [[MEDIA:1.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>
| |