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.

Download

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

Description/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.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: The IASTED International Conference on Software Engineering - SE2008, Austria, 2008-02-12 - 2008-02-14
Related URLs:
Keywords: visual modelling languages, formal, uml, event-b
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Organisations: Electronic & Software Systems
ePrint ID: 264926
Date :
Date Event
14 February 2008Published
Date Deposited: 05 Dec 2007 17:21
Last Modified: 17 Apr 2017 19:28
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/264926

Actions (login required)

View Item View Item