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

摘要

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