Skip to Main content Skip to Navigation
Journal articles

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
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00147056
Contributor : Régine Laleau <>
Submitted on : Tuesday, May 15, 2007 - 5:26:18 PM
Last modification on : Friday, May 29, 2020 - 3:30:03 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

214