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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Reading (2008)
Snook, C., Fritz, F., Illisaov, A.: An EMF framework for Event-B. In: Workshop on Tool Building in Formal Methods, ABZ Conference, Orford (2010)
Kolovos, D., Rose, L., Garcia-Dominguez, A., Paige, R.: The epsilon Book (2014). http://www.Eclipse.org, http://www.eclipse.org/epsilon/doc/book/
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)
Savicks, V., Snook, C.: A framework for diagrammatic modelling extensions in rodin. In: Rodin Workshop, Fontainbleau (2012)
Wiki.event-b.org: Generic Event-B EMF extensions - Event-B (2016). http://wiki.event-b.org/index.php/Generic_Event-B_EMF_extensions
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)
Snook, C.: iUML-B statemachines: new features and usage examples. In: Proceedings of the 5th Rodin User and Developer Workshop (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-319-33600-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-33600-8_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33599-5
Online ISBN: 978-3-319-33600-8
eBook Packages: Computer ScienceComputer Science (R0)