Trading Integrity for Availability by Means of Explicit Runtime Constraints

Authors:
Lorenz Froihofer;Johannes Osrael;Karl M. Goeschka
Affiliations:
Vienna University of Technology, Austria;Vienna University of Technology, Austria;Vienna University of Technology, Austria
Venue:
COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02
Year:
2006

Citing 0
Cited 3

Middleware/application interactions to support adaptive dependability

MAI '07 Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007
Overview and Evaluation of Constraint Validation Approaches in Java

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Adaptive voting for balancing data integrity with availability

OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

Data integrity is one of the dependability attributes in data-centric applications. However, applications exist, e.g., safety or mission critical systems, where availability is more important for dependability than strict data integrity. Consequently, in such systems availability can be increased by temporarily relaxing data integrity. Potential inconsistencies are accepted by constraint validation on replicated copies, which are potentially stale in the face of network partitions. Such consistency threats need to be bound and eventually resolved during reconciliation. The contribution of this paper is a solution approach to this trade-off between availability and integrity by means of explicit runtime-management of data integrity constraints and consistency threats as well as reconciliation support.