Browser

Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines With Automata-Defined States

Download Now Free registration required

Executive Summary

The exact validation of streaming XML documents can be realised by using Visibly Push-down Automata (VPA) that are defined by Extended Document Type Definitions (EDTD). It is straightforward to represent such an automaton as an Abstract State Machine (ASM). In doing so, the authors enable computations on abstract states that are defined by a certain class of automata, in this case VPAs. In this paper, they elaborate on this approach by taking also updates of XML documents into account.

  • Format: PDF
  • Size: 229.58 KB