The University of Southampton
University of Southampton Institutional Repository

An EMF Framework for Event-B

Snook, Colin, Fritz, Fabian and Illisaov, Alexei (2010) An EMF Framework for Event-B At Workshop on Tool Building in Formal Methods - ABZ Conference, 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.

PDF cfsTBFM1.pdf - Other
Download (75kB)

More information

Published date: 22 February 2010
Additional Information: Event Dates: 22nd February 2010
Venue - Dates: Workshop on Tool Building in Formal Methods - ABZ Conference, Canada, 2010-02-22
Keywords: EMF Event-B Metamodel
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 268462
URI: http://eprints.soton.ac.uk/id/eprint/268462
PURE UUID: 980f8cb1-ae7e-466c-b79f-f8b107fbbb30
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983

Catalogue record

Date deposited: 03 Feb 2010 10:10
Last modified: 18 Jul 2017 06:53

Export record

Contributors

Author: Colin Snook ORCID iD
Author: Fabian Fritz
Author: Alexei Illisaov

University divisions

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.

×