The UML-B Profile for formal systems modelling in UML
Snook, Colin, Butler, Michael and Oliver, Ian (2004) The UML-B Profile for formal systems modelling in UML. In, Mermet, J. (ed.) UML-B Specification for Proven Embedded Systems Design. , Springer.
This is the latest version of this item.
Download
Full text not available from this repository.
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: | Book Section |
|---|---|
| Additional Information: | Chapter: 5 |
| ISBNs: | 1402028660 |
| Keywords: | UML Profile UML-B U2B |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 259980 |
| Date Deposited: | 20 Sep 2004 |
| Last Modified: | 02 Mar 2012 14:04 |
| Contributors: | Snook, Colin (Author) Butler, Michael (Author) Oliver, Ian (Author) Mermet, J. (Editor) |
| Date: | April 2004 |
| Additional Information: | Chapter: 5 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/259980 |
Available Versions of this Item
-
Towards a UML profile for UML-B. (deposited 22 Oct 2003)
- The UML-B Profile for formal systems modelling in UML. (deposited 20 Sep 2004) [Currently Displayed]
Actions (login required)
 |
View Item |
