Skip navigation
Skip navigation

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

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). In doing so we enable computations on abstract states that are defined by a certain class of automata, in this case VPAs. In this paper we elaborate on this approach by taking also updates of XML documents into account. In this way the...[Show more]

CollectionsANU Research Publications
Date published: 2009
Type: Journal article
Source: Journal of Universal Computer Science
DOI: 10.3217/jucs-017-08-1183


File Description SizeFormat Image
01_Schewe_Updates,_Schema_Updates_and_2009.pdf216.14 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