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, Orford, Quebec, Canada,

This is the latest version of this item.

Download

[img] PDF (Short paper on Event-B EMF framework - at Workshop WS-TBFM 2010) - Published Version
Download (63Kb)
[img] PDF
Download (73Kb)

Description/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.

Item Type: Conference or Workshop Item (Speech)
Additional Information: Event Dates: 22nd February 2010
Keywords: EMF Event-B Metamodel
Divisions: Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
Item ID: 268462
Date Deposited: 03 Feb 2010 10:10
Last Modified: 02 Mar 2012 12:22
Contributors: Snook, Colin (Author)
Fritz, Fabian (Author)
Illisaov, Alexei (Author)
Date: 22 February 2010
Additional Information: Event Dates: 22nd February 2010
Status: Published
Contact Email Address: cfs@ecs.soton.ac.uk
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/268462

Available Versions of this Item

Actions (login required)

View Item View Item
EPrints Logo
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