Extension to UML-B Notation and Toolset
Lewy, Timothy, Lovell, Chris and Amor, James (2006) Extension to UML-B Notation and Toolset.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 and Applied Science > Electronics and Computer Science |
| Item ID: | 263830 |
| Date Deposited: | 02 Apr 2007 |
| Last Modified: | 01 Mar 2012 20:35 |
| Contributors: | Lewy, Timothy (Author) Lovell, Chris (Author) Amor, James (Author) |
| Date: | December 2006 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/263830 |
Actions (login required)
 |
View Item |
