Skip navigation
Skip navigation

Validation of streaming XML documents with abstract state machines

Schewe, Klaus-Dieter; Thalheim, Bernhard; Wang, Qing (Ms)


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

CollectionsANU Research Publications
Date published: 2008
Type: Conference paper
Source: Validation of streaming XML documents with abstract state machines
DOI: 10.1145/1497308.1497339


File Description SizeFormat Image
01_Schewe_Validation_of_streaming_XML_2008.pdf142.9 kBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator