A graphical tool for event refinement structures in Event-B
A graphical tool for event refinement structures in Event-B
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.
269-274
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Trindade, Matheus Garay
2ba1da87-c9c9-4aa1-acea-5f81b7e1aeb3
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Trindade, Matheus Garay
2ba1da87-c9c9-4aa1-acea-5f81b7e1aeb3
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Dghaym, Dana, Trindade, Matheus Garay, Butler, Michael and Salehi Fathabadi, Asieh
(2016)
A graphical tool for event refinement structures in Event-B.
Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Linz, Austria.
.
(doi:10.1007/978-3-319-33600-8_20).
Record type:
Conference or Workshop Item
(Paper)
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.
Text
paper.pdf
- Accepted Manuscript
More information
Accepted/In Press date: 23 February 2016
e-pub ahead of print date: 11 May 2016
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, Linz, Austria, 2016-02-23
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 394691
URI: http://eprints.soton.ac.uk/id/eprint/394691
PURE UUID: f05eec6e-78bd-466f-8668-4478c1df716f
Catalogue record
Date deposited: 18 May 2016 13:31
Last modified: 15 Mar 2024 05:35
Export record
Altmetrics
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics
