Extension to UML-B Notation and Toolset

Lewy, Timothy, Lovell, Chris and Amor, James (2006) Extension to UML-B Notation and Toolset s.n.


[img] PDF gdp15.pdf - Other
Download (1MB)


The UML-B notation has been created as an attempt to combine the success and ease of use of UML, with the verification and rigorous development capabilities of formal methods. However, the notation currently only supports a basic diagram set. To address this we have, in this project, designed and implemented a set of extensions to the UML-B notation that provide a much fuller software engineering experience, critically making UML-B more appealing to industry partners. These extensions comprise five new diagram types, which are aimed at supplying a broader range of design capabilities, such as conceptual Use-Case design and future integration with the ProB animator tool.

Item Type: Monograph (Project Report)
Keywords: UML-B Extension UML Diagram Model Tool Eclipse
Organisations: Electronics & Computer Science
ePrint ID: 263830
Date :
Date Event
December 2006Published
Date Deposited: 02 Apr 2007
Last Modified: 17 Apr 2017 19:46
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/263830

Actions (login required)

View Item View Item