Abstract
The UML is a populär 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 modeis are translated into usable B. Here we describe ongoing work to define UML-B as a profile in accordance with the UML extensibility mechanisms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abrial, J.R.: The B Book - Assigning programs to meanings. Cambridge University Press. (1996)
Fontoura, M., Pree, W. & Rumpe, B.: UML-F profile for Framework architectures. Addison Wesley (2002)
OMG Manual: http://www.omg.org
Rumbaugh, J., Jacobson, I. & Booch, G.: The Unified Modelling Language Reference Manual. Addison-Wesley. (1998)
Warmer, J. and Kleppe, A.: The Object Constraint Language: precise modelling with UML. Addison-Wesley. (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science+Business Media New York
About this chapter
Cite this chapter
Snook, C., Oliver, I., Butler, M. (2004). The UML-B Profile for Formal Systems Modelling in UML. In: Mermet, J. (eds) UML-B Specification for Proven Embedded Systems Design. Springer, Boston, MA. https://doi.org/10.1007/978-1-4020-2867-0_5
Download citation
DOI: https://doi.org/10.1007/978-1-4020-2867-0_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5256-1
Online ISBN: 978-1-4020-2867-0
eBook Packages: Springer Book Archive