Where academic tradition
meets the exciting future

Improving the Modelling Experience in Event-B - A Literature Review

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén, Improving the Modelling Experience in Event-B - A Literature Review. TUCS Technical Reports 1196, Åbo Akademi University, 2018.


Developing safety-critical or software-intensive systems is an intricate task, since
it involves application of well-established and rigorous methods, supported by
good practices. The modelling is merely a part of this undertaking, however, it
plays a significant role in the description of the system, how it will behave and
what properties it will have. Formal methods, for instance Event-B, are utilised
in such cases to assure that the system is correct-by-construction and functions
as required. In this work we use a literature review method to collect the body
of knowledge that would support the Event-B practitioners with modelling guidelines.
We first define the domains in which the guidelines fall into and divide
them into two categories: the beginners and expert. Then we provide guidelines
as reinforcements for the generic application of Event-B and its domain-specific
use. Our goal is to increase the modelling experience of Event-B practitioners
with guidelines that are easily accessible and practical.


Full publication in PDF-format

BibTeX entry:

  title = {Improving the Modelling Experience in Event-B - A Literature Review},
  author = {Olszewska, Marta and Shokri-Manninen, Fatima and Edmunds, Andrew and Waldén, Marina},
  number = {1196},
  series = {TUCS Technical Reports},
  publisher = {Åbo Akademi University},
  year = {2018},
  keywords = {Event-B, Formal modelling, Guidelines, Systematic literature review, Multi-vocal literature review, Practitioners},
  ISBN = {978-952-12-3724-9},

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication