Towards a consistent viewpoint on consistency for persistent applications

Abstract

Orthogonally persistent systems allow the use of a single object model to handle programs and data independently of their persistent condition. However, there is not yet any means to specify and control consistency in a single way, that is both program correctness and data integrity. This paper describes how the use of assertions can be extended to some important stages of the persistent application’s life cycle: design, implementation, testing and evolution. We present our on-going implementation, the NightCap system, which aims at integrating assertions, with a mapping of the Object Constraint Language to Java, into a orthogonally persistent platform, namely PJama.