Homepage>Publikationen>PublikationsDetail

Assertion Support for Manipulating Constrained Data-Centric XML

In: International Workshop on Programming Language Techniques for XML (PLAN-X 2009). January, 2009

Authors

Patrick Michel
Arnd Poetzsch-Heffter

Abstract

XML is used for different purposes. We are interested in data-centric applications of XML where it is used to handle structured data in loosely coupled, distributed systems. In many such scenarios, it is important that the XML data complies to structural and integrity constraints, in particular to value-based constraints. The constraints should remain invariant under operations manipulating the data.

In this paper, we present a technique to maintain the invariants. For a core procedural manipulation language, we show how to automatically derive the weakest precondition of procedures for the constraints. We present a formalization of a data-centric XML abstraction and an assertion language that enables weakest precondition generation. Our framework allows to automatically simplify and reduce the generated preconditions such that checking becomes independent of the size of the constraint definitions. This is achieved by isolating the aspects that are manipulated by the considered procedure from the aspects that remain unchanged. As the overall invariant can be assumed for the input data, only the isolated aspects have to be checked in prestates of procedures.

Full Text

PDF: planx09.pdf
PS.GZ: planx09.ps.gz

BibTeX

@InProceedings{Michel.Poetzsch-Heffter09planx, 
   author = {Patrick Michel and Arnd Poetzsch-Heffter}
   title = {Assertion Support for Manipulating Constrained Data-Centric XML},
   booktitle = {International Workshop on Programming Language Techniques for XML (PLAN-X 2009)},
   month = {January},
   year = {2009},
}

Einloggen