A formal approach based on UML and B for the specification and development of database applications

Abstract : This article describes a formal approach to specify and develop database applications. This approach consists of two complementary phases. In the first phase, B specifications are automatically generated from UML class, state and collaboration diagrams describing the data and the transactions of the system we are developing. In the second phase, these specifications are successively refined until they become close enough to a relational implementation. The tool supporting this approach is implemented as an extension of the Rational Rose tool to develop and visualize graphical (UML) and formal (B) notations in a single environment.
Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00147056
Contributor : Régine Laleau <>
Submitted on : Tuesday, May 15, 2007 - 5:26:18 PM
Last modification on : Thursday, April 18, 2019 - 5:12:06 PM

Identifiers

  • HAL Id : hal-00147056, version 1

Collections

Citation

Amel Mammar, Régine Laleau. A formal approach based on UML and B for the specification and development of database applications. Automated Software Engineering, Springer Verlag, 2006, 13 (4), pp.497-528. ⟨hal-00147056⟩

Share

Metrics

Record views

193