creators_name: Snook, Colin creators_name: Fritz, Fabian creators_name: Illisaov, Alexei type: conference_item datestamp: 2010-02-04 10:31:55 lastmod: 2010-02-04 10:31:55 metadata_visibility: show title: An EMF Framework for Event-B ispublished: pub subjects: Event-Bsemantics subjects: deploy_tooldev full_text_status: none pres_type: paper keywords: EMF Event-B Metamodel 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. date: 2010-02-22 date_type: published event_title: Workshop on Tool Building in Formal Methods - ABZ Conference event_location: Orford, Canada event_dates: 22/02/2010 event_type: workshop refereed: TRUE official_url: http://eprints.ecs.soton.ac.uk/18462/ citation: 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.