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 called UML-B. The integrated modelling notation, UML-B, inherits from both UML and B but primarily, is a specialisation of the UML. Here we describe how UML-B can be used to obtain a useful translation into B using the U2B translation tool.
This is a preview of subscription content, log in via an institution to check access.
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. (1996) The B Book — Assigning Programs to Meanings. Cambridgege University ISBN 0–521-49619–5
ClearSy, Aix-en-Provence (F). AtelierB, Training Course Level 2
Rational (2000) Rose Extensibility User’s Guide — Rational Rose 2000e. Corporation.Rational Part Number 800-023328-000
Rumbaugh, J., Jacobson, I. & Booch, G. (1998) The Unified Modelling Language Manual. Addison-Wesley, . ISBN 0–201-30998-X
Warmer, J. and Kleppe, A. (1999) The Object Constraint Language: Precise Modeling with UML. Addison-Wesley ISBN 0–201-37940–6
Meyer, E. & Souquieres, J. (1999) A Systematic approach to Transform OMT Diagrams to a B specification. FM’99 LNCS 1708 1, 875–895
MATISSE (2001) Methodology of Integration of Formal Methods Within the Healthcare Study. Deliverable D7 within the Matisse project, IST-1999-114535, OCtober 2001.
Snook, C. and Butler, M. (2000) Verifying Dynamic 1435, October 2001. fY g y mic Properties of UML Models by Translation to the B Language and Toolkit. In Proceedings of Dynamic Behaviour in UML Models: Semantic Questions. UML 2000 Workshop
Snook, C. (2002) Exploring the Barriers to Formal Specification PhD Thesis Southampton University of Southampton.
Snook, C. and Butler, M. U2B - UML to B translation tool and Manual V3.5 available at http://www.ecs.soton.ac.uk/~cfs/U2Bdownloads/U2Bdownloads.htm
MATISSE (2001) Event B Reference Manual. Matisse Project (IST-1999–11435) June 2001 available at http://www.atelierb.societe.com/evt2b/evt2b.html.
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., Butler, M. (2004). U2B. 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_6
Download citation
DOI: https://doi.org/10.1007/978-1-4020-2867-0_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5256-1
Online ISBN: 978-1-4020-2867-0
eBook Packages: Springer Book Archive