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: http://eprints.ecs.soton.ac.uk/18462/
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 (Paper) |
|---|---|
| Uncontrolled Keywords: | EMF Event-B Metamodel |
| Subjects: | Event-B 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
