The CamilleX Framework for the Rodin Platform
The CamilleX Framework for the Rodin Platform
We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B modelling constructs. It supports direct extensions to the Event-B syntax such as machine inclusion and record structures, as well as indirect extensions provided by other plugins such as UML-B diagrams. We discusses CamilleX's design and in particular, its extension mechanisms and examples of their use.
CamilleX, Event-B, Rodin, XText
124-129
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
June 2021
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hoang, Thai Son, Snook, Colin, Dghaym, Dana, Salehi Fathabadi, Asieh and Butler, Michael
(2021)
The CamilleX Framework for the Rodin Platform.
ABZ 2021- 8th International Conference on Rigorous State Based Methods: ABZ 2021, virtual.
07 - 11 Jun 2021.
.
(doi:10.1007/978-3-030-77543-8_11).
Record type:
Conference or Workshop Item
(Paper)
Abstract
We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B modelling constructs. It supports direct extensions to the Event-B syntax such as machine inclusion and record structures, as well as indirect extensions provided by other plugins such as UML-B diagrams. We discusses CamilleX's design and in particular, its extension mechanisms and examples of their use.
Text
abz2021_camillex
- Accepted Manuscript
More information
Submitted date: 1 March 2021
Accepted/In Press date: 30 March 2021
Published date: June 2021
Additional Information:
Funding Information:
Acknowledgement. This work is supported by the following projects: – HiClass project (113213), which is part of the ATI Programme, a joint Government and industry investment to maintain and grow the UK’s competitive position in civil aerospace design and manufacture. – HD-Sec project, which was funded by the Digital Security by Design (DSbD) Programme delivered by UKRI to support the DSbD ecosystem.
Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
Venue - Dates:
ABZ 2021- 8th International Conference on Rigorous State Based Methods: ABZ 2021, virtual, 2021-06-07 - 2021-06-11
Keywords:
CamilleX, Event-B, Rodin, XText
Identifiers
Local EPrints ID: 448174
URI: http://eprints.soton.ac.uk/id/eprint/448174
PURE UUID: 3f86710f-7306-4136-9bf4-6dc29e580b22
Catalogue record
Date deposited: 14 Apr 2021 16:31
Last modified: 17 Mar 2024 03:45
Export record
Altmetrics
Contributors
Author:
Thai Son Hoang
Author:
Colin Snook
Author:
Dana Dghaym
Author:
Asieh Salehi Fathabadi
Author:
Michael Butler
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