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

dc.contributor.authorSchewe, Klaus-Dieter
dc.contributor.authorThalheim, Bernhard
dc.contributor.authorWang, Qing (Ms)
dc.coverage.spatialLinz, Austria
dc.date.accessioned2015-12-10T23:23:21Z
dc.date.created24-26 November 2008
dc.identifier.isbn978-1-60558-349-5
dc.identifier.urihttp://hdl.handle.net/1885/66923
dc.description.abstractThe 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
dc.publisherAssociation for Computing Machinery (ACM)
dc.relation.ispartofseries10th International Conference on Information Integration and Web-based Applications and Services (iiWAS '08)
dc.sourceValidation of streaming XML documents with abstract state machines
dc.subjectKeywords: 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; XML
dc.titleValidation of streaming XML documents with abstract state machines
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2008
local.identifier.absfor080600 - INFORMATION SYSTEMS
local.identifier.ariespublicationu4334215xPUB1368
local.type.statusPublished Version
local.contributor.affiliationSchewe, Klaus-Dieter, Information Science Research Centre
local.contributor.affiliationThalheim, Bernhard, Christian-Albrechts University Kiel
local.contributor.affiliationWang, Qing (Ms), College of Engineering and Computer Science, ANU
local.description.embargo2037-12-31
local.bibliographicCitation.startpage147
local.bibliographicCitation.lastpage153
local.identifier.doi10.1145/1497308.1497339
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
dc.date.updated2016-02-24T10:58:22Z
local.identifier.scopusID2-s2.0-70349089164
CollectionsANU Research Publications

Download

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