Dghaym, Dana, Trindade, Matheus Garay, Butler, Michael and Salehi Fathabadi, Asieh
A graphical tool for event refinement structures in Event-B
At Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Austria.
- Accepted Manuscript
Restricted to Repository staff only until 10 May 2017.
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.
Conference or Workshop Item
|Digital Object Identifier (DOI):
|Venue - Dates:
||Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Austria, 2016-02-23
||Electronic & Software Systems
|23 February 2016||Accepted/In Press|
|11 May 2016||Published|
||18 May 2016 13:31
||22 Feb 2017 05:11
|Further Information:||Google Scholar|
Actions (login required)