---
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. '
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id: []
creators_name:
  - family: Snook
    given: Colin
    honourific: ''
    lineage: ''
  - family: Fritz
    given: Fabian
    honourific: ''
    lineage: ''
  - family: Illisaov
    given: Alexei
    honourific: ''
    lineage: ''
data_type: ~
date: 2010-02-22
date_type: published
datestamp: 2010-02-04 10:31:55
department: ~
dir: disk0/00/00/02/02
divisions: []
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 202
event_dates: 22/02/2010
event_location: 'Orford, Canada'
event_title: 'Workshop on Tool Building in Formal Methods - ABZ Conference'
event_type: workshop
exhibitors_id: []
exhibitors_name: []
fileinfo: ''
full_text_status: none
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: EMF Event-B Metamodel
lastmod: 2010-02-04 10:31:55
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: http://eprints.ecs.soton.ac.uk/18462/
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: paper
producers_id: []
producers_name: []
projects:
  - Deploy
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 10
series: ~
skill_areas: []
source: ~
status_changed: 2010-02-04 10:31:55
subjects:
  - Event-Bsemantics
  - deploy_tooldev
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: An EMF Framework for Event-B
type: conference_item
userid: 258
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>