A Graphical Tool for Event Refinement Structures in Event-B

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.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{DghaymTBF16,
  author       = {Dana Dghaym and
                  Matheus Garay Trindade and
                  Michael J. Butler and
                  Asieh Salehi Fathabadi},
  editor       = {Michael J. Butler and
                  Klaus{-}Dieter Schewe and
                  Atif Mashkoor and
                  Mikl{\'{o}}s Bir{\'{o}}},
  title        = {A Graphical Tool for Event Refinement Structures in Event-B},
  booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
                  Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9675},
  pages        = {269--274},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-33600-8\_20},
  doi          = {10.1007/978-3-319-33600-8\_20},
  timestamp    = {Thu, 23 Jun 2022 19:58:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/DghaymTBF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}