Towards a UML profile for UML-B


Snook, Colin, Butler, Michael and Oliver, Ian (2003) Towards a UML profile for UML-B.

WarningThere is a more recent version of this item available.

Download

[img] PDF
Download (490Kb)

Description/Abstract

The UML is a popular modelling notation that has a natural appeal to hardware and software engineers and is adaptable through extension mechanisms. Formal (mathematical) modelling languages, on the other hand, are seen as difficult and costly to use and have achieved only limited use despite the benefits that they offer. In previous work, we have proposed an integration of UML and the formal notation, B and provided an automatic translator that produces a B specification. The integrated modelling notation, UML-B, inherits from both UML and B but primarily, is a specialisation of the UML. To achieve this integration we have specialised UML modelling elements via stereotypes, added tagged values to represent B modelling features and imposed constraints to ensure that UML-B models are translated into usable B. Here we describe ongoing work to define UML-B as a profile in accordance with the UML extensibility mechanisms.

Item Type: Monograph (Technical Report)
Keywords: UML Profile UML-B U2B
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 258351
Date Deposited: 22 Oct 2003
Last Modified: 27 Mar 2014 20:00
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/258351

Available Versions of this Item

Actions (login required)

View Item View Item

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