creators_name: Snook, Colin
creators_name: Butler, Michael
type: conference_item
datestamp: 2012-07-23 12:08:53
lastmod: 2012-07-23 12:08:53
metadata_visibility: show
title: UML-B and Event-B: an integration of languages and tools
ispublished: pub
subjects: deploy_method_other
full_text_status: none
pres_type: paper
keywords: visual modelling languages, formal, uml, event-b
abstract: UML-B is a graphical front end for Event-B. It adds support for class-oriented modelling but retains the Event-B concept of a closed system characterized by families of spontaneous events. UML-B is similar to UML but is essentially a new notation based on a separate meta-model. We provide tool support for UML-B, including drawing tools and a translator to generate Event-B models. The tools are closely integrated with the Event-B verification tools so that when a drawing is saved the translator automatically generates the corresponding Event-B model. The Event-B verification tools (syntax checker and prover) then run automatically providing an immediate display of problems. We introduce the UML-B notation its tool support and its integration with Event-B.
date: 2008-02
date_type: published
event_title: The IASTED International Conference on Software Engineering - SE2008
event_type: conference
refereed: TRUE
official_url: http://eprints.soton.ac.uk/264926/
citation:   Snook, Colin and Butler, Michael  (2008) UML-B and Event-B: an integration of languages and tools.  In: The IASTED International Conference on Software Engineering - SE2008.