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.
| Original language | English |
|---|---|
| Pages (from-to) | 497-528 |
| Number of pages | 32 |
| Journal | Automated Software Engineering |
| Volume | 13 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - 1 Oct 2006 |
| Externally published | Yes |
Keywords
- B
- Database applications
- Formal methods
- Integration
- Relational implementation
- UML
Fingerprint
Dive into the research topics of 'A formal approach based on UML and B for the specification and development of database applications'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver