Extension to UML-B Notation and Toolset
Extension to UML-B Notation and Toolset
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.
UML-B Extension UML Diagram Model Tool Eclipse
Lewy, Timothy
3a904992-f134-440a-a149-c30126679a3d
Lovell, Chris
1ac8eed7-512f-4082-a7ab-75b5e4950518
Amor, James
daf957c4-3365-4744-b8b2-a50cfe65ff72
December 2006
Lewy, Timothy
3a904992-f134-440a-a149-c30126679a3d
Lovell, Chris
1ac8eed7-512f-4082-a7ab-75b5e4950518
Amor, James
daf957c4-3365-4744-b8b2-a50cfe65ff72
Lewy, Timothy, Lovell, Chris and Amor, James
(2006)
Extension to UML-B Notation and Toolset
Record type:
Monograph
(Project Report)
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.
More information
Published date: December 2006
Keywords:
UML-B Extension UML Diagram Model Tool Eclipse
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 263830
URI: http://eprints.soton.ac.uk/id/eprint/263830
PURE UUID: d4c6600e-09c4-4676-b138-2adf3a99c6d6
Catalogue record
Date deposited: 02 Apr 2007
Last modified: 14 Mar 2024 07:38
Export record
Contributors
Author:
Timothy Lewy
Author:
Chris Lovell
Author:
James Amor
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics