Skip navigation
Skip navigation

Validation of streaming XML documents with abstract state machines

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

Description

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
URI: http://hdl.handle.net/1885/66923
Source: Validation of streaming XML documents with abstract state machines
DOI: 10.1145/1497308.1497339

Download

File Description SizeFormat Image
01_Schewe_Validation_of_streaming_XML_2008.pdf142.9 kBAdobe PDF    Request a copy


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

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator