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

Authors:
Amel Mammar;Régine Laleau
Affiliations:
University of Luxembourg, SE2C, Luxembourg-Kirchberg, Luxembourg L-1359;University of Paris 12, LACL, IUT Fontainebleau, Fontainebleau 77300
Venue:
Automated Software Engineering
Year:
2006

Citing 0
Cited 1

Towards formally templated relational database representations in z

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z

Quantified Score

Hi-index	0.00

Visualization

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.