Extension to UML-B Notation and Toolset


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

Download

[img] PDF
Download (1013Kb)

Description/Abstract

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 (Technical Report)
Keywords: UML-B Extension UML Diagram Model Tool Eclipse
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 263830
Date Deposited: 02 Apr 2007
Last Modified: 27 Mar 2014 20:07
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/263830

Actions (login required)

View Item View Item