Incremental development of UML specifications using operation refinements - Archive ouverte HAL
Article Dans Une Revue Innovations in Systems and Software Engineering Année : 2008

Incremental development of UML specifications using operation refinements

Résumé

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.

Dates et versions

hal-00311408 , version 1 (15-08-2008)

Identifiants

Citer

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⟩
115 Consultations
1 Téléchargements

Altmetric

Partager

More