An EMF Framework for Event-B
Snook, Colin, Fritz, Fabian and Illisaov, Alexei (2009) An EMF Framework for Event-B. (Submitted)
 | There is a more recent version of this item available. |
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF (Short paper on Event-B EMF framework)
- Submitted Version
Download (63Kb) |
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: | Monograph (Technical Report) |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 268262 |
| Date Deposited: | 25 Nov 2009 15:50 |
| Last Modified: | 02 Mar 2012 12:00 |
| Contributors: | Snook, Colin (Author) Fritz, Fabian (Author) Illisaov, Alexei (Author) |
| Date: | 20 November 2009 |
| Status: | Submitted |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/268262 |
Available Versions of this Item
- An EMF Framework for Event-B. (deposited 25 Nov 2009 15:50) [Currently Displayed]
Actions (login required)
 |
View Item |
