Industrial deployment of system engineering methods providing high dependability and productivity


An EMF Framework for Event-B

Snook, Colin and Fritz, Fabian and Illisaov, Alexei (2010) An EMF Framework for Event-B. In: Workshop on Tool Building in Formal Methods - ABZ Conference, 22/02/2010, Orford, Canada.

Full text not available from this repository.

Official URL:


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 (Paper)
Uncontrolled Keywords:EMF Event-B Metamodel
Tool developments
ID Code:202
Deposited By:Colin Snook
Deposited On:04 Feb 2010 10:31
Last Modified:04 Feb 2010 10:31

Repository Staff Only: item control page

Deploy-Project - All right reserved