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.
Type de document :
Article dans une revue
Automated Software Engineering, Springer, 2006, 13 (4), pp.497-528
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00147056
Contributeur : Régine Laleau <>
Soumis le : mardi 15 mai 2007 - 17:26:18
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • 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, 2006, 13 (4), pp.497-528. 〈hal-00147056〉

Partager

Métriques

Consultations de la notice

153