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. In, The IASTED International Conference on Software Engineering - SE2008, Innsbruck, AT, 12 - 14 Feb 2008.


[img] PDF - Accepted Manuscript
Download (248Kb)


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.

Item Type: Conference or Workshop Item (Paper)
ISBNs: 9780889867154
Related URLs:
Keywords: visual modelling languages, formal, uml, event-b
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 264926
Accepted Date and Publication Date:
14 February 2008Published
Date Deposited: 05 Dec 2007 17:21
Last Modified: 31 Mar 2016 14:10
Further Information:Google Scholar

Actions (login required)

View Item View Item

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