Download Now Free registration required
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