A Graphical Tool for Event Refinement Structures in Event-B

  • Dana Dghaym
  • Matheus Garay Trindade
  • Michael Butler
  • Asieh Salehi Fathabadi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9675)

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.

References

  1. 1.
    Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Reading (2008)Google Scholar
  2. 2.
    Snook, C., Fritz, F., Illisaov, A.: An EMF framework for Event-B. In: Workshop on Tool Building in Formal Methods, ABZ Conference, Orford (2010)Google Scholar
  3. 3.
    Kolovos, D., Rose, L., Garcia-Dominguez, A., Paige, R.: The epsilon Book (2014). http://www.Eclipse.org, http://www.eclipse.org/epsilon/doc/book/
  4. 4.
    Salehi, F.A., Butler, M., Rezazadeh, A.: Language and tool support for event refinement structures in Event-B. Formal Aspects Comput. 27(3), 499–523 (2015)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Savicks, V., Snook, C.: A framework for diagrammatic modelling extensions in rodin. In: Rodin Workshop, Fontainbleau (2012)Google Scholar
  6. 6.
    Wiki.event-b.org: Generic Event-B EMF extensions - Event-B (2016). http://wiki.event-b.org/index.php/Generic_Event-B_EMF_extensions
  7. 7.
    Snook, C., Butler, M.: UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008 (2008)Google Scholar
  8. 8.
    Snook, C.: iUML-B statemachines: new features and usage examples. In: Proceedings of the 5th Rodin User and Developer Workshop (2014)Google Scholar

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