Tool support for model-based database design with Event-B
Tool support for model-based database design with Event-B
UML-B provides a graphical notation for Event-B that enables formal development in a UML style. UB2DB is a tool that translates UML-B models to relational database implementations in SQL. The UB2DB tool is implemented as a plugin for Rodin, an extensible toolkit for Event-B. This paper presents the current version of UB2DB that translates the main components of UML-B class diagrams to SQL code. The generated SQL code defines a database and provides procedures that manipulate it. The UB2DB tool exploits the Eclipse Modeling Framework (EMF) to realise the required model transformation. The current tool provides the basis for a more comprehensive tool that will provide
support for a broader range of UML-B features and support a variety of database components and constraints.
210-225
Al-Brashdi, Ahmed
8395223a-1be2-4f00-9af1-271163edab41
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Rezazadeh, Abdolbaghi
ab1aeb76-9d41-4b46-820c-cc66b631cb99
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
2016
Al-Brashdi, Ahmed
8395223a-1be2-4f00-9af1-271163edab41
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Rezazadeh, Abdolbaghi
ab1aeb76-9d41-4b46-820c-cc66b631cb99
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Al-Brashdi, Ahmed, Butler, Michael, Rezazadeh, Abdolbaghi and Snook, Colin
(2016)
Tool support for model-based database design with Event-B.
Ogata, K, Lawford, M and Liu, S
(eds.)
In Formal Methods and Software Engineering: ICFEM 2016.
vol. 10009,
Springer.
.
(doi:10.1007/978-3-319-47846-3_14).
Record type:
Conference or Workshop Item
(Paper)
Abstract
UML-B provides a graphical notation for Event-B that enables formal development in a UML style. UB2DB is a tool that translates UML-B models to relational database implementations in SQL. The UB2DB tool is implemented as a plugin for Rodin, an extensible toolkit for Event-B. This paper presents the current version of UB2DB that translates the main components of UML-B class diagrams to SQL code. The generated SQL code defines a database and provides procedures that manipulate it. The UB2DB tool exploits the Eclipse Modeling Framework (EMF) to realise the required model transformation. The current tool provides the basis for a more comprehensive tool that will provide
support for a broader range of UML-B features and support a variety of database components and constraints.
Text
Tool Support for Model-Based Database Design with Event-B.pdf
- Accepted Manuscript
More information
Accepted/In Press date: 16 October 2016
e-pub ahead of print date: 14 November 2016
Published date: 2016
Venue - Dates:
Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systemsc at ICFEM 2016, Tokyo, Japan, 2016-11-14 - 2016-11-16
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 402252
URI: http://eprints.soton.ac.uk/id/eprint/402252
PURE UUID: fe5e3b1e-73be-4817-8d25-a978a1121aba
Catalogue record
Date deposited: 04 Nov 2016 13:58
Last modified: 16 Mar 2024 03:35
Export record
Altmetrics
Contributors
Author:
Ahmed Al-Brashdi
Author:
Michael Butler
Author:
Abdolbaghi Rezazadeh
Author:
Colin Snook
Editor:
K Ogata
Editor:
M Lawford
Editor:
S Liu
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