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)

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). 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
URI: http://hdl.handle.net/1885/66884
Source: Journal of Universal Computer Science
DOI: 10.3217/jucs-017-08-1183

Download

File Description SizeFormat Image
01_Schewe_Updates,_Schema_Updates_and_2009.pdf216.14 kBAdobe PDF    Request a copy


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

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator