Language and tool support for event refinement structures in Event-B
- Submitting institution
-
University of Southampton
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 20752161
- Type
- D - Journal article
- DOI
-
10.1007/s00165-014-0311-1
- Title of journal
- Formal Aspects of Computing
- Article number
- -
- First page
- 499
- Volume
- 27
- Issue
- 3
- ISSN
- 1433-299X
- Open access status
- Out of scope for open access requirements
- Month of publication
- September
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 8
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Event refinement structures (ERS) provide a novel graphical modelling approach that builds on the Event-B formal method. ERS has a hierarchical style that is better suited to representing event refinement and concurrent structures than conventional UML diagrams. Support for ERS diagrams has been integrated with the Rodin open source toolset for Event-B and is being used in collaboration with industry for verifying railway control products with Thales Austria (doi:10.1007/978-3-319-68499-4_5) and autonomous mission planning with Thales UK ( https://doi.org/10.2478/9788395669606-007).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -