Validation of streaming XML documents with abstract state machines
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
|Collections||ANU Research Publications|
|Source:||Validation of streaming XML documents with abstract state machines|
|01_Schewe_Validation_of_streaming_XML_2008.pdf||142.9 kB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.