Validation of streaming XML documents with abstract state machines

Schewe, Klaus-DieterThalheim, BernhardWang, Qing (Ms)2015-12-1024-26 Nove978-1-60558-349-5http://hdl.handle.net/1885/66923The 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 (ASMKeywords: Abstract State Machines; Document type definition; Push-down automata; Streaming XML; Validation; Validation approach; Abstracting; Automata theory; Contour followers; Information retrieval; Translation (languages); Web services; XML; Markup languages Abstract State Machines; Validation; XMLValidation of streaming XML documents with abstract state machines200810.1145/1497308.14973392016-02-24