A formal approach based on UML and B for the specification and development of database applications - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Automated Software Engineering Année : 2006

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

Amel Mammar

Résumé

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.
Fichier non déposé

Dates et versions

hal-00147056 , version 1 (15-05-2007)

Identifiants

  • HAL Id : hal-00147056 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More