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

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Walden

Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen


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

KustantajaTurku Center for Computer Science (TUCS)
ISBN (painettu)978-952-12-3724-9
TilaJulkaistu - 2018
OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset


NimiTUCS Technical Report


  • Practitioners
  • Event-B
  • Formal modelling
  • Multi-vocal literature review
  • Systematic literature review


Sukella tutkimusaiheisiin 'Improving the Modelling Experience in Event-B - A Literature Review'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.