Verification technology for object-oriented/XML transactions

Authors:
Suad Alagić;Mark Royer;David Briggs
Affiliations:
Department of Computer Science, University of Southern Maine, Portland, ME;Department of Computer Science, University of Southern Maine, Portland, ME;Department of Computer Science, University of Southern Maine, Portland, ME
Venue:
ICOODB'09 Proceedings of the Second international conference on Object databases
Year:
2009

Citing 6
Cited 2

Automatic verification of database transaction safety

ACM Transactions on Database Systems (TODS)
The object data standard: ODMG 3.0

The object data standard: ODMG 3.0
Thémis: a database programming language handling integrity constraints

The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Integrity constraints for XML

Journal of Computer and System Sciences - Special issue on PODS 2000
Genericity in Java: persistent and database systems implications

The VLDB Journal — The International Journal on Very Large Data Bases

Mapping XSD to OO schemas

ICOODB'09 Proceedings of the Second international conference on Object databases
Object-oriented constraints for XML schema

ICOODB'10 Proceedings of the Third international conference on Objects and databases

Quantified Score

Hi-index	0.00

Visualization

Abstract

Typically, object-oriented schemas are lacking declarative specification of the schema integrity constraints. Object-oriented transactions are also typically missing a fundamental ACID requirement: consistency. We present a developed technology based on object-oriented assertion languages that overcomes these limitations of persistent and database object systems. This technology allows specification of objectoriented integrity constraints, their static verification and dynamic enforcement. Proof strategies that are based on static and dynamic verification techniques as they apply to verification of object-oriented transactions are presented in the paper. Most of this work has been motivated by the problems of object-oriented interfaces to XML that have not been able to express typical XML Schema constraints, database constraints in particular. The components of this technology are an object-oriented constraint language, a verification system with advanced typing and logic capabilities, predefined libraries of object-oriented specification and verification theories, and an extended virtual platform for integrating constraints into the run-time type system and their management.