A graphical tool for event refinement structures in Event-B


Dghaym, Dana, Trindade, Matheus Garay, Butler, Michael and Salehi Fathabadi, Asieh (2016) 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. , pp. 269-274. (doi:10.1007/978-3-319-33600-8_20).

Download

[img] PDF paper.pdf - Accepted Manuscript
Download (594kB)

Description/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.

Item Type: Conference or Workshop Item (Paper)
Digital Object Identifier (DOI): doi:10.1007/978-3-319-33600-8_20
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
Organisations: Electronic & Software Systems
ePrint ID: 394691
Date :
Date Event
23 February 2016Accepted/In Press
11 May 2016Published
Date Deposited: 18 May 2016 13:31
Last Modified: 10 Jun 2017 04:04
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/394691

Actions (login required)

View Item View Item