Skip to main content
SpringerLink
Log in

Supplementing a UML Development Process with B

  • Conference paper
  • First Online:
Book cover FME 2002:Formal Methods—Getting IT Right (FME 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2391))

Included in the following conference series:

Abstract

This paper discusses our experiences of using UML and B together through an illustrative case study. Our approach to using UML and B centers around stereotyping UML classes in order to identify which classes should be modelled in B. We discuss the tensions between the notations, and the compromises that need to be reached in order for B to supplement a UML development. The case study begins from the initial conception of a library system and its use case view in order to demonstrate how the classes were identified.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ambler S. The Object Primer 2nd Edition, New York CUP 2001.

    Google Scholar 

  2. Abrial J. R.: The B Book: Assigning Programs to Meaning, CUP, 1996.

    Google Scholar 

  3. Cooper J. W.: Java Design Patterns: A tutorial, Addison-Wesley, 2000.

    Google Scholar 

  4. Facon P., Laleau R. and Nguyen H. P.: Derivation de specification formelles B partir de specification semi-formelles de systems d’information. In Habrias H. (ed), Proceedings of the 1st Conference on the B Method, France, 1996.

    Google Scholar 

  5. Laleau R., Polack F.: Specification of Integrity-Preserving Operations in Information Systems by Using a Formal UML-based Language. Information and Software Technology, 43(12), pp 693–704, November 2001.

    Google Scholar 

  6. Laleau R., Polack F.: Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development, In Bert D., Bowen J. P., Henson M. C. and Robinson K. (eds.) ZB2002, LNCS 2272, pp 517–534, Springer-Verlag, 2002.

    Google Scholar 

  7. Lano K. C.: Specification in B: An Introduction Using the B Toolkit, IC Press, 1996.

    Google Scholar 

  8. Lano K., Bicarregui J. and Evans A.: Structured Axiomatic Semantics for UML Models, ROOM 2000 Workshop, Springer-Verlag, EWICS, 2000.

    Google Scholar 

  9. Lano K.: Limitations of B Structuring, unpublished, November, 2001.

    Google Scholar 

  10. Liu J., Dong J. S, Mahony B. and Shi. K: Linking UML with Integrated Formal Techniques, chapter in book: Unified Modeling Language: Systems Analysis, Design, and Development Issues (Editors: K. Siau and T. Halpin), 2001.

    Google Scholar 

  11. Neilson D., Sorensen I. H.: The B-Technologies: a system for computer aided programming, B-Core (UK) Limited, Kings Piece, Harwell, Oxon, OX11 0PA, 1999, http://www.b-core.com

    Google Scholar 

  12. Rosenburg D., Scott K.: Use Case Driven Object Modelling with UML: A Practical Approach, Addison-Wesley, 1999.

    Google Scholar 

  13. Rumbaugh J., Jacobson I. and Booch G.: The Unified Modeling Language Reference Manual, Addison-Wesley, 1999.

    Google Scholar 

  14. Rumbaugh J., Jacobson I. and Booch G.: The Unified Modeling Language User Guide, Addison-Wesley, 1999.

    Google Scholar 

  15. Satpathy M., Snook C., Harrison R., Butler M., Krause P.: A Comparative Study of Formal and Informal Specification through an Industrial Case Study. In Dumke, Abran (eds.) Proc IEEE/IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS’01), 2001.

    Google Scholar 

  16. Schneider S.: The B-Method: An Introduction, Palgrave, 2001.

    Google Scholar 

  17. Schneider S., Treharne H.: Object-Oriented Modelling Lecture Notes, Computer Science Department, Royal Holloway, University of London, 2001, http://www.cs.rhul.ac.uk/ug/second_year/CS225/info.html.

  18. Schneider S., Treharne H.: Combining B Machines, In Bert D., Bowen J. P., Henson M. C. and Robinson K. (eds.) ZB2002, LNCS 2272, pp 416–435, Springer-Verlag, 2002.

    Google Scholar 

  19. Shore R.: An object-oriented approach to B. In Habrias H. (ed), Proceedings of the 1st Conference on the B Method, France, 1996.

    Google Scholar 

  20. Snook C., Butler M. J.: Tool-Supported Use of UML for Constructing B Specifications, http://www.ecs.soton.ac.uk/~mjb/.

  21. Tatibouet B., Voisinet J. C.: jbTools and B2UML: a platform and a tool to provide a UML Class Diagram since a B specification, http://lifc.univ-fcomte.fr/~tatibouet/JBTOOLS/index.html.

  22. Treharne H., Schneider S.: Using a Process Algebra to control B OPERATIONS. In K. Araki, A. Galloway and K. Taguchi (eds.), IFM’99, York, Springer, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Royal Holloway, University of London, Egham, Surrey, TW20 0EX, UK

    Helen Treharne

Authors
  1. Helen Treharne
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Technology, Uppsala University, P.O. Box 337, 751 05, Uppsala, Sweden

    Lars-Henrik Eriksson

  2. Software Verification Research Centre, The University of Queensland, Queensland, 4072, Australia

    Peter Alexander Lindsay

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Treharne, H. (2002). Supplementing a UML Development Process with B. In: Eriksson, LH., Lindsay, P.A. (eds) FME 2002:Formal Methods—Getting IT Right. FME 2002. Lecture Notes in Computer Science, vol 2391. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45614-7_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-45614-7_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43928-8

  • Online ISBN: 978-3-540-45614-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation