The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2006)
Stanford, California
Aug. 15, 2006 to Aug. 17, 2006
ISBN: 0-7695-2530-X
pp: 249-258
Jim Davies , Oxford University Computing Laboratory, UK
James Welch , Oxford University Computing Laboratory, UK
Alessandra Cavarra , Oxford University Computing Laboratory, UK
Edward Crichton , Oxford University Computing Laboratory, UK
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.
INDEX TERMS
null
CITATION
Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton, "On the Generation of Object Databases using Booster", Engineering of Complex Computer Systems, IEEE International Conference on, vol. 00, no. , pp. 249-258, 2006, doi:10.1109/ICECCS.2006.1690374
82 ms
(Ver 3.3 (11022016))