Skip to main content
SpringerLink
Log in

Incremental development of UML specifications using operation refinements

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

In an incremental specification development process, operations are used to model dynamic aspects and can be refined gradually. We propose four kinds of operation refinement in order to control modifications when developing and refactoring UML specifications. Each refinement is described with its properties and illustrated by an example, showing which verifications can be done, using the B formal method.

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.

Similar content being viewed by others

References

  1. Abrial J-R (1996) The B book. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  2. Abrial J-R (1996) Extending B without changing it (for developing distributed systems). In: Habrias H (ed) First B conference, putting into practice methods and tools for information system design, pp 169–190

  3. AFADL’2000. Etude de cas : système de contrôle d’accès. In Journées AFADL, Approches formelles dans l’assistance au développement de logiciels, 2000. Actes LSR/IMAG

  4. Behm P, Benoit P, Meynadier JM (1999) METEOR: a successful application of B in a large project. In: Integrated formal methods, IFM99, Lecture Notes in Computer Science, vol 1708. Springer, Heidelberg, pp 369–387

  5. Ben-Ammar B, Bhiri MT, Souquières J (2007) Control access case study : an incremental development of UML specifications. Technical report, March 2007

  6. Ben-Ammar B, Bhiri MT, Souquières J (2007) Quelques patrons de raffinement pour le développement de diagrammes de classes UML. In: Atelier OCM-SI: 6éme atelier sur les Objets, Composants et Modèles dans l’ingénierie des Systèmes d’Information

  7. Ben Ammar B, Bhiri MT, Souquières J (2008) Modélisation événementielle pour la construction de diagrammes de classes. Ingénierie des Systèmes d’Information 13(3): 131–155

    Article  Google Scholar 

  8. Bert D, Boulmé S, Potet M-L, Requet A, Voisin L (2003) Adaptable translator of B specifications to embedded C programs. In: Integrated formal method, IFM’03, Lecture Notes in Computer Science, vol 2805. Springer, Heidelberg, pp 94–113

  9. Boiten EA, Bujorianu MC (2003) Exploring UML refinement through unification. In: Jurjens J, Rumpe B, France R, Fernandez EB (eds) Critical systems development with UML—proceedings of the UML’03 workshop. Technische Universitat Munchen, pp 47–62

  10. Booch G, Rumbaugh J, Jacobson I (1998) The unified modeling language user guide. Addison-Wesley, Reading

    Google Scholar 

  11. Clearsy (2004) B4free. http://www.b4free.com

  12. Crocker D Perfect Developer (2003) A tool for object-oriented formal specification and refinement. FME Tool Exhibition, FM 2003: the 12th international FME symposium

  13. Graeme S (2000) The Object-Z specification language. Kluwer, Norwell

    MATH  Google Scholar 

  14. Ledang H, Souquières J (2001) Modeling class operations in B: application to UML behavioral diagrams. In: ASE’2001: 16th IEEE international conference on automated software engineering. IEEE Computer Society, pp 289–296

  15. Low WL (2005) Using the metamodel mechanism to support class refinement. In: ICECCS ’05: Proceedings of the 10th IEEE international conference on engineering of complex computer systems. IEEE Computer Society, pp 421–430

  16. Meyer E, Souquières J (1999) A systematic approach to transform OMT diagrams to a B specification. In: Proceedings of the formal method conference, Lecture Notes in Computer Science, vol 1708. Springer, Heidelberg, pp 875–895

  17. Object Management Group (OMG) (2003) OCL specification, version 2.0

  18. Object Management Group (OMG) (2005) UML superstructure specification, version 2.0

  19. Pons C (2005) On the definition of UML refinement patterns. In: 2nd MoDeVa workshop, model design and validation, ACM/IEEE eighth international conference on model driven engineering languages and systems (MoDELS) Jamaica, October 2005

  20. Pons C (2006) Heuristics on the definition of UML refinement patterns. In: Wiedermann J, Tel G, Pokorný J, BielikovßM, Stuller J (eds) SOFSEM, Lecture Notes in Computer Science, vol 3831. Springer, Heidelberg, pp 461–470

  21. Pons C, Garcia D (2006) An OCL-based technique for specifying and verifying refinement-oriented transformations in MDE. In: MoDELS: model driven engineering languages and systems, vol 4199. Springer, Heidelberg, pp 646–660

  22. Pons C, Giandini RS, Pérez G, Pesce P, Becker V, Longinotti J, Cengia J (2004) Pampero: Precise assistant for the modeling process in an environment with refinement orientation. In: UML satellite activities, vol 3297. Springer, Heidelberg, pp 246–249

  23. Pons C, Perez GA, Giandini R, Kutsche R (2003) Understanding Refinement and Specialization in the UML. In: Second international workshop on MAnaging SPEcialization/Generalization HIerarchies (MASPEGHI 2003)

  24. Schrefl M, Stumptner M (2002) Behavior-consistent specialization of object life cycles. ACM Trans Softw Eng Methodol 11(1): 92–148

    Article  Google Scholar 

  25. Steria (1998) Obligations de preuve: Manuel de référence, version 3.0. Steria—Technologies de l’information

  26. Truong NT, Souquières J (2006) Validation of UML scenario using the B prover. In: Proceeding of the TFIT, Third Taiwanese-French Conference on Information Technology

Download references

Author information

Authors and Affiliations

  1. LORIA, Nancy University, 615 rue du Jardin Botanique, 54602, Villers-lès-Nancy, France

    Boulbaba Ben Ammar & Jeanine Souquières

  2. MIRACL Laboratory, Sfax University, B. P. 802-3018, Sfax, Tunisia

    Boulbaba Ben Ammar & Mohamed Tahar Bhiri

Authors
  1. Boulbaba Ben Ammar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohamed Tahar Bhiri
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jeanine Souquières
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Boulbaba Ben Ammar.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ben Ammar, B., Bhiri, M.T. & Souquières, J. Incremental development of UML specifications using operation refinements. Innovations Syst Softw Eng 4, 259–266 (2008). https://doi.org/10.1007/s11334-008-0056-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-008-0056-1

Keywords

Search

Navigation