A Graphical Tool for Event Refinement Structures in Event-B

  • Dana Dghaym
  • Matheus Garay Trindade
  • Michael Butler
  • Asieh Salehi Fathabadi
Conference paper

DOI: 10.1007/978-3-319-33600-8_20

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9675)
Cite this paper as:
Dghaym D., Trindade M.G., Butler M., Fathabadi A.S. (2016) A Graphical Tool for Event Refinement Structures in Event-B. In: Butler M., Schewe KD., Mashkoor A., Biro M. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2016. Lecture Notes in Computer Science, vol 9675. Springer, Cham

Abstract

The Event Refinement Structures (ERS) approach provides a graphical extension of the Event-B formal method to represent event decomposition and control-flow explicitly. In this paper we present an improved version of the ERS plug-in, which provides a graphical environment for the ERS approach within the Event-B tool, Rodin. The improved ERS plug-in is based on the available frameworks that are developed to support Event-B with an EMF framework, language extensions and generic diagram extensions.

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Dana Dghaym
    • 1
  • Matheus Garay Trindade
    • 2
  • Michael Butler
    • 1
  • Asieh Salehi Fathabadi
    • 1
  1. 1.University of SouthamptonSouthamptonUK
  2. 2.Federal University of Santa MariaSanta MariaBrazil

Personalised recommendations