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

D4 Publicerad utvecklings- eller forskningsrapport eller studie

Interna författare/redaktörer

Publikationens författare: Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
Förläggare: Turku Center for Computer Science (TUCS)
Förlagsort: Turku
Publiceringsår: 2018
Artikelns första sida, sidnummer: 1
Artikelns sista sida, sidnummer: 36
ISBN: 978-952-12-3724-9


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.


Event-B, Formal modelling, GUIDELINES, Multi-vocal literature review, Practitioners, Systematic literature review

Senast uppdaterad 2020-24-09 vid 05:55