The University of Southampton
University of Southampton Institutional Repository

UML-B and Event-B: an integration of languages and tools

Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools At The IASTED International Conference on Software Engineering - SE2008, Austria. 12 - 14 Feb 2008.

Record type: Conference or Workshop Item (Paper)


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.

PDF SnBu08.pdf - Accepted Manuscript
Download (254kB)

More information

Published date: 14 February 2008
Venue - Dates: The IASTED International Conference on Software Engineering - SE2008, Austria, 2008-02-12 - 2008-02-14
Keywords: visual modelling languages, formal, uml, event-b
Organisations: Electronic & Software Systems


Local EPrints ID: 264926
ISBN: 978-0-88986-715-4
PURE UUID: 40cc7658-d78e-4998-8e51-18dd8530a658
ORCID for Colin Snook: ORCID iD
ORCID for Michael Butler: ORCID iD

Catalogue record

Date deposited: 05 Dec 2007 17:21
Last modified: 18 Jul 2017 07:31

Export record


Author: Colin Snook ORCID iD
Author: Michael Butler ORCID iD

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.