Skip to main content
SpringerLink
Log in

Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development

  • Conference paper
  • First Online:
ZB 2002:Formal Specification and Development in Z and B (ZB 2002)

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

Included in the following conference series:

Abstract

CEDRIC-IIE is researching rigorous information system (IS) development. Previous work includes translation rules for deriving a B specification from object-oriented diagrams, metamodels of IS UML structural and functional concepts, and a prototype translation tool. Here we outline the traceability needs for a tool to assist in rigorous IS development, and provide meta-structures for the required links among B and IS UML concepts, in the context of existing translation rules and IS UML metamodels.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. J-R. Abrial. The B-Book. CUP, 1996.

    Google Scholar 

  2. J-R. Abrial. Event driven sequential program construction. In AFADL01: Approches Formelles dans l’Assistance au Développement des Logiciels, Nancy, France, June 2001.

    Google Scholar 

  3. J-R. Abrial and L. Mussat. Introducing dynamic constraints in B. In B98: Second International B Conference, Montpellier, France, volume 1393 of LNCS, pages 83–128. Springer Verlag, April 1998.

    Google Scholar 

  4. A. Clark, A. Evans, S. Kent, and P. Sammut. The MMFapproac h to engineering object-oriented design languages. In Workshop on Language Descriptions, Tools and Applications, LTDA2001, April 2001.

    Google Scholar 

  5. T. Clark and A. Evans. Foundations of the Unified Modeling Language. In Second Northern Formal Methods Workshop, volume 1241 of LNCS. Springer Verlag, 1997.

    Google Scholar 

  6. Rational Software Corporation. Rational Rose — Using Rational Rose 98. Rational Inc., 1998.

    Google Scholar 

  7. DIGILOG. Atelier B, Manuel de Référence. DIGILOG groupe STERIA, BP 16000, 13791 Aix-en-Provence Cedex 3, France, 1996.

    Google Scholar 

  8. D. F. D’Souza and A. C. Wills. Objects, Components and Frameworks in UML: the Catalysis Approach. Addison-Wesley, 1999.

    Google Scholar 

  9. P. Facon, R. Laleau, A. Mammar, and F. Polack. Formal specification of the UML metamodel for building rigorous CAiSE tools. Technical report, CEDRIC Laboratory, CNAM, September 1999.

    Google Scholar 

  10. P. Facon, R. Laleau, and H. P. Nguyen. Dérivation de spécifications formelles B á partir de spécifications semi-formelles de systèmes d’information. In 1st B Conference, Nantes, France, 1996.

    Google Scholar 

  11. P. Facon, R. Laleau, and H. P. Nguyen. FromOMT diagrams to B specifications. In M. Frappier and H. Habrias, editors, Software Speci.cation Methods. An Overview Using a Case Study, pages 57–77. Springer, 2000.

    Google Scholar 

  12. P. Facon, R. Laleau, H. P. Nguyen, and A. Mammar. Combining UML with the B formal method for the specification of database applications. Technical report, CEDRIC Laboratory, CNAM, September 1999.

    Google Scholar 

  13. R. B. France and M. M. Larrondo-Petrie. A two-dimensional view of integrated formal and informal specification techniques. In Ninth International Conference of Z Users, Limerick, Ireland, September 1995, volume 967 of LNCS, pages 434–448. Springer Verlag, 1995.

    Google Scholar 

  14. J-C. Freire Junior. Pouvoir d’expression de modèles orientés objet. Ingénierie des Systèmes d’Information, 4(2):219–237, 1996.

    MathSciNet  Google Scholar 

  15. R. Laleau and A. Mammar. A generic process to refine a B specification into a relational database implementation. In Proceedings, ZB2000: Formal Specification and Development in Z and B, York, August-September 2000, volume 1878 of LNCS, pages 22–41. Springer Verlag, 2000.

    Google Scholar 

  16. R. Laleau and A. Mammar. An overview of a method and its support tool for generating B specifications from UML notations. In ASE: 15th IEEE Conference on Automated Software Engineering, Grenoble, France. IEEE Computer Society Press, September 2000.

    Google Scholar 

  17. R. Laleau and F. Polack. Specification of integrity-preserving operations in information systems by using a formal UML-based language. Accepted for publication, Information and Software Technology, 2001.

    Google Scholar 

  18. Y. Ledru. Identifying preconditions with the Z/EVES theorem prover. In ASE: 13th IEEE Conference on Automated Software Engineering. IEEE Computer Society Press, October 1998.

    Google Scholar 

  19. B. Meyer. Object-oriented software construction. Prentice Hall, 1997.

    Google Scholar 

  20. E. Meyer and J. Souquières. A systematic approach to transform OMT diagrams to a B specification. In FM99, Toulouse, France, volume 1708 and 1709 of LNCS, pages 875–895. Springer Verlag, 1999.

    Google Scholar 

  21. F. Monge. Formalisation du méta modèle des méthodes graphiques d’analyse et conception orientèes objet. Master’s thesis, Institut d’Informatique d’Entreprise, Conservatoire National des Arts et Métiers, Evry, September 1997.

    Google Scholar 

  22. H. P. Nguyen. Dérivation de spécifications formelles B à partir de spécifications semi-formelles. PhD thesis, Laboratoire CEDRIC, Conservatoire National des Arts et Mètiers, Evry, December 1998. Available from http://www.iie.cnam.fr/~laleau/thesePHNguyen.ps-gz.

  23. F. Polack. Exploring the informal translations of OMT object models in B. Technical report, University of York, forthcoming, 2001.

    Google Scholar 

  24. F. Polack and R. Laleau. A rigorous metamodel for UML static conceptual modelling of information systems. In CAiSE2001: 13th International Conference on Advanced Information Systems Engineering, Interlaken, Switzerland, volume 2068 of LNCS. Springer Verlag, June 2001.

    Google Scholar 

  25. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Guide. Addison-Wesley, 1998.

    Google Scholar 

  26. L. T. Semmens, R. B. France, and T. W. G. Docker. Integrated structured analysis and formal specification techniques. The Computer Journal, 35(6):600–610, 1992.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CEDRIC-IIE(CNAM), 18 allée Jean Rostand, 91025, Evry, France

    Régine Laleau

  2. Department of Computer Science, University of York, YO10 5DD, York, UK

    Fiona Polack

Authors
  1. Régine Laleau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fiona Polack
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire LSR, IMAG, CNRS, 681,rue de la Passerelle, 38402, Saint Martin d’Hères Cedex, France

    Didier Bert

  2. SCISM, Centre for Applied Fromal Methods, SouthBank University, Borough Road, SE1 0AA, London, UK

    Jonathan P. Bowen

  3. Department of Computer Science, University of Essex, Wivenhoe Park, CO4 3SQ, Colchester, UK

    Martin C. Henson

  4. CAESER, The School of Computer Science and Engineering, The University of New South Wales, UNSW, 2052, Sydney, NSW, Australia

    Ken Robinson

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Laleau, R., Polack, F. (2002). 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., Robinson, K. (eds) ZB 2002:Formal Specification and Development in Z and B. ZB 2002. Lecture Notes in Computer Science, vol 2272. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45648-1_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-45648-1_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43166-4

  • Online ISBN: 978-3-540-45648-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation