The University of Southampton
University of Southampton Institutional Repository

An EMF Framework for Event-B

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
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
Download (65kB)
Text
cfsTBFM1.pdf - Version of Record
Download (75kB)

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
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983

Catalogue record

Date deposited: 25 Nov 2009 15:50
Last modified: 13 Dec 2021 02:50

Export record

Contributors

Author: Colin Snook ORCID iD
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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×