An EMF Framework for Event-B
An EMF Framework for Event-B
The Rodin platform for Event-B formal modelling is based on a bespoke model repository. While this approach has some advantages it also means that the platform does not benefit from the host of emerging technologies and supporting packages that are freely available for open source modelling frameworks. The Eclipse Modelling Framework (EMF) has emerged as the de-facto standard package upon which to build any Eclipse based modelling tool. In order to make this support available for our Rodin tools we have now engineered a front-end EMF based representation of Event-B.
EMF Event-B Metamodel
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Fritz, Fabian
c8281068-d5ea-4b1b-820d-48f8fd9f7252
Illisaov, Alexei
ac99a8e0-b5b2-4a1a-acda-0cae38a7e5a4
22 February 2010
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Fritz, Fabian
c8281068-d5ea-4b1b-820d-48f8fd9f7252
Illisaov, Alexei
ac99a8e0-b5b2-4a1a-acda-0cae38a7e5a4
Snook, Colin, Fritz, Fabian and Illisaov, Alexei
(2010)
An EMF Framework for Event-B.
Workshop on Tool Building in Formal Methods - ABZ Conference, Orford, Quebec, Canada.
Record type:
Conference or Workshop Item
(Other)
Abstract
The Rodin platform for Event-B formal modelling is based on a bespoke model repository. While this approach has some advantages it also means that the platform does not benefit from the host of emerging technologies and supporting packages that are freely available for open source modelling frameworks. The Eclipse Modelling Framework (EMF) has emerged as the de-facto standard package upon which to build any Eclipse based modelling tool. In order to make this support available for our Rodin tools we have now engineered a front-end EMF based representation of Event-B.
Text
cfsTBFM1.pdf
- Author's Original
Text
cfsTBFM1.pdf
- Version of Record
More information
Submitted date: 20 November 2009
Published date: 22 February 2010
Additional Information:
Event Dates: 22nd February 2010
Venue - Dates:
Workshop on Tool Building in Formal Methods - ABZ Conference, Orford, Quebec, Canada, 2010-02-22
Keywords:
EMF Event-B Metamodel
Identifiers
Local EPrints ID: 268262
URI: http://eprints.soton.ac.uk/id/eprint/268262
PURE UUID: faee4cd7-304b-4619-97e6-db450b5a0744
Catalogue record
Date deposited: 25 Nov 2009 15:50
Last modified: 17 Mar 2024 02:55
Export record
Contributors
Author:
Colin Snook
Author:
Fabian Fritz
Author:
Alexei Illisaov
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