Skip to Main content Skip to Navigation
Other publications

Incremental development of UML specifications using operation refinements

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.
Complete list of metadata
Contributor : Jeanine Souquières Connect in order to contact the contributor
Submitted on : Thursday, October 25, 2007 - 12:03:51 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM


  • HAL Id : hal-00182258, version 1



Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières. Incremental development of UML specifications using operation refinements. 2007. ⟨hal-00182258⟩



Record views