Snook, Colin, Fritz, Fabian and Illisaov, Alexei
An EMF Framework for Event-B
At Workshop on Tool Building in Formal Methods - ABZ Conference, Canada.
This is the latest version of this item.
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.
Conference or Workshop Item
||Event Dates: 22nd February 2010
|Venue - Dates:
||Workshop on Tool Building in Formal Methods - ABZ Conference, Canada, 2010-02-22
||EMF Event-B Metamodel
||Electronic & Software Systems
|22 February 2010||Published|
||03 Feb 2010 10:10
||17 Apr 2017 18:33
|Further Information:||Google Scholar|
Available Versions of this Item
Actions (login required)