The UML-B Profile for Formal Systems Modelling in UML

  • Colin Snook
  • Ian Oliver
  • Michael Butler


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.


Module Package Formal Notation Modelling Style Class Dependency Operation Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abrial, J.R.: The B Book - Assigning programs to meanings. Cambridge University Press. (1996)MATHCrossRefGoogle Scholar
  2. 2.
    Fontoura, M., Pree, W. & Rumpe, B.: UML-F profile for Framework architectures. Addison Wesley (2002)Google Scholar
  3. 3.
    OMG Manual:
  4. 4.
    Rumbaugh, J., Jacobson, I. & Booch, G.: The Unified Modelling Language Reference Manual. Addison-Wesley. (1998)Google Scholar
  5. 5.
    Warmer, J. and Kleppe, A.: The Object Constraint Language: precise modelling with UML. Addison-Wesley. (1999)Google Scholar

Copyright information

© Springer Science+Business Media New York 2004

Authors and Affiliations

  • Colin Snook
    • 1
  • Ian Oliver
    • 2
  • Michael Butler
    • 1
  1. 1.University of SouthamptonSouthamptonUK
  2. 2.Nokia Research CentreHelsinkiFinland

Personalised recommendations