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.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Accepted Version
Download (248Kb) |
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) |
|---|---|
| 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 and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 264926 |
| Date Deposited: | 05 Dec 2007 17:21 |
| Last Modified: | 25 Apr 2012 10:35 |
| Contributors: | Snook, Colin (Author) Butler, Michael (Author) |
| Date: | 14 February 2008 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/264926 |
Actions (login required)
 |
View Item |
