Skip to main content
SpringerLink
Log in

A proposal for extending UML-B to support a conceptual model

  • SI : FM & UML
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

UML-B is a development process framework for Event-B based on a “UML-like” graphical formal notation that provides support for object-oriented modelling concepts, in particular, for class and state machine diagrams. However, this methodology has a gap for mapping requirements to formal specifications. To overcome this issue, we present a proposal for extending UML-B to support a conceptual model to provide an easier starting point for the actual development process. More precisely, we propose two diagrams to facilitate the passing from requirements to the initial formal model: a first one to represent system behavior based on UML 2 interaction overview diagram (IOD) and a second one for system structure based on boundary-control-entity stereotyped class diagram (BCE). We show how to translate the former into an Event-B specification and explain how to link the latter to the original UML-B using a simple ATM example as proof of concept.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abrial JR (1996) The B-book: assigning programs to meanings. Cambridge University Press, New York

    Book  MATH  Google Scholar 

  2. Abrial JR (2010) Modeling in Event-B: system and software engineering, 1st edn. Cambridge University Press, New York

    MATH  Google Scholar 

  3. Abrial JR, Butler M, Hallerstede S, Voisin L (2006) An open extensible tool environment for Event-B. In: ICFEM 2006, LNCS. Springer, Berlin, pp 588–605

  4. Abrial JR, Hallerstede S (2007) Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam Inf 77: 1–28

    MathSciNet  MATH  Google Scholar 

  5. Aït-Sadoune I, Y. Aït Ameur (2010) Stepwise design of BPEL web services compositions: an Event-B refinement based approach. In: SERA (selected papers). pp 51–68

  6. Ben Younes A, Ben Ayed LJ (2008) From UML activity diagrams to Event B for the specification and the verification of workflow applications. In: Proceedings of the 2008 32nd annual IEEE international computer software and applications conference, COMPSAC ’08, IEEE Computer Society, Washington, DC, USA, pp 643–648

  7. Butler M (2009) Incremental design of distributed systems with Event-B. In: Marktoberdorf summer school 2008 lecture notes

  8. Butler M (2009) Towards a cookbook for modelling and refinement of control problems. DEPLOY Deliverable. Unpublished manuscript

  9. ClearSy (2011) Atelier B, the industrial tool to efficiently deploy the B method. Version 4.0.2

  10. Jackson M (2001) Problem frames: analyzing and structuring software development problems. Addison-Wesley

  11. Jacobson I (1992) Object oriented software engineering: a use case driven approach. Addison-Wesley

  12. Laleau R, Mammar A (2000) An overview of a method and its support tool for generating B specifications from UML notations. In: Proceedings of the 15th IEEE international conference on Automated software engineering, ASE ’00, IEEE Computer Society, Washington, DC, USA

  13. van Lamsweerde A (2003) Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications. In: Proceedings of the 25th international conference on software engineering, ICSE ’03, Portland, Oregon, pp 744–745

  14. LeDang H (2001) Automatic translation from UML specifications to B. In: Proceedings of the 16th IEEE international conference on Automated software engineering, ASE ’01, IEEE Computer Society, Washington, DC, USA

  15. Object Management Group: UML 2.3 Superstructure (2010). http://www.omg.org/spec/UML/2.3

  16. Runde RK, Haugen Ø, Stølen K (2005) The Pragmatics of STAIRS. In: Boer FS, Bonsangue MM, Graf S, Roever WP (eds) FMCO Lecture Notes in Computer Science, vol 4111. Springer, Berlin, pp 88–114

    Google Scholar 

  17. Snook C, Butler M (2006) UML-B Formal modeling and design aided by UML. ACM Trans Softw Eng Methodol 15: 92–122

    Article  Google Scholar 

  18. Treharne H (2002) Supplementing a UML development process with B. In: Proceedings of the international symposium of formal methods Europe on formal methods—Getting IT Right, FME ’02, Springer, London, UK, pp 568–586

  19. Whittle J (2007) Precise specification of use case scenarios. In: Dwyer MB, Lopes A (eds) FASE. Lecture notes in computer science, vol 4422. Springer, Berlin, pp 170–184

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Polytechnical School, University of São Paulo, São Paulo, Brazil

    Thiago C. de Sousa & Paulo Sérgio Muniz Silva

  2. School of Electronics and Computer Science, University of Southampton, Southampton, UK

    Colin F. Snook

Authors
  1. Thiago C. de Sousa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Colin F. Snook
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paulo Sérgio Muniz Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Thiago C. de Sousa.

Additional information

T. C. de Sousa was partially supported by CNPq.

Rights and permissions

Reprints and permissions

About this article

Cite this article

de Sousa, T.C., Snook, C.F. & Silva, P.S.M. A proposal for extending UML-B to support a conceptual model. Innovations Syst Softw Eng 7, 293–301 (2011). https://doi.org/10.1007/s11334-011-0169-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-011-0169-9

Keywords

Search

Navigation