Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Verification of Object Relational Maps London, England September 10-September 14 ISBN: 0-7695-2884-8
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.45
Enterprise software systems need to deal with two dominant data models. While object oriented languages (such as Java, C#, C++) are the dominant ways to write business logic, relational databases are the dominant ways to store data. Object-Relational (OR) maps are widely used to mediate between these two data models. We present a system to verify correctness of OR maps. We formulate simple correctness conditions for OR maps, and convert these conditions to validity of formulas in first order logic. We have built a verification tool called ROUNDTRIP that is able to both validate and find errors in OR maps defined in the ESQL language of the Microsoft EDM data model.
Citation:
Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit K. Jha, "Verification of Object Relational Maps," sefm, pp.283-292, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb