Incremental development of UML specifications using operation refinements

Boulbaba Ben Ammar (1, 2) , Mohamed Tahar Bhiri (2) , Jeanine Souquières (1)

1 DEDALE - Development of specifications
2 MIRACL - Multimedia, InfoRmation systems and Advanced Computing Laboratory

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.

Mots clés: Incremental specification; Refinement; UML; B

Domaines: Génie logiciel [cs.SE]

Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières. Incremental development of UML specifications using operation refinements. Innovations in Systems and Software Engineering, 2008, 4, pp.259-266. ⟨10.1007/s11334-008-0056-1⟩. ⟨hal-00311408⟩