Home // International Journal On Advances in Software, volume 4, numbers 3 and 4, 2011 // View article

Verifiable Constraints for Ambients of Persistent Objects

Authors:
Suad Alagic
Harika Anumula
Akinori Yonezawa

Keywords: Object databases; constraints; reflection; transactions; verification

Abstract:
This paper develops a typed object-oriented paradigm equipped with message-based orthogonal persistence. Messages in this paradigm are viewed as typed objects. This view leads to a hierarchy of types of messages that belong to the core of typed reflective capabilities. Unlike most persistent object-oriented models, this model is equipped with general integrity constraints that also appear as a hierarchy of types in the reflective core. A transaction is naturally viewed as a sequence of messages and it is equipped with a precondition and a postcondition. The presented framework is motivated by ambients of persistent concurrent and mobile objects. The practical result supporting the developed model is a verification technology for ambients of persistent objects based on a higher-order verification system. This technology applies to static interactive verification of transactions with respect to the schema integrity constraints.

Pages: 461 to 470

Copyright: Copyright (c) to authors, 2011. Used with permission.

Publication date: April 30, 2012

Published in: journal

ISSN: 1942-2628