On the Generation of Object Databases using Booster

Authors:
Jim Davies;James Welch;Alessandra Cavarra;Edward Crichton
Affiliations:
Oxford University Computing Laboratory, UK;Oxford University Computing Laboratory, UK;Oxford University Computing Laboratory, UK;Oxford University Computing Laboratory, UK
Venue:
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Year:
2006

Citing 0
Cited 3

Behavioural specifications from class models

IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Model-driven data migration

ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
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 paper shows how ideas from a combination of formal techniques can be used to enable the automatic generation of databases from precise object models. It explores how the specification of an object database design can be formalised in terms of method preconditions, method postconditions, and invariant properties-many of which will correspond to integrity constraints for the data representation.