@inproceedings{c3a9676a723248de8da51dd33ac03749,
title = "Validation of streaming XML documents with Abstract State Machines",
abstract = "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). However, creating a whole VPA is not an efficient validation approach. In this paper it is shown, how the VPA construction can be avoided by using a refined ASM that only requires knowledge of the EDTD. In a second step this approach is extended to approximate validation of streaming XML documents taking at most k updates to the document into consideration.",
keywords = "Abstract State Machines, Validation, XML",
author = "Schewe, \{Klaus Dieter\} and Bernhard Thalheim and Qing Wang",
year = "2008",
doi = "10.1145/1497308.1497339",
language = "English",
isbn = "9781605583495",
series = "Proceedings of the 10th International Conference on Information Integration and Web-based Applications and Services, iiWAS 2008",
pages = "147--153",
booktitle = "Proceedings of the 10th International Conference on Information Integration and Web-based Applications and Services, iiWAS 2008",
note = "10th International Conference on Information Integration and Web-based Applications and Services, iiWAS 2008 ; Conference date: 24-11-2008 Through 26-11-2008",
}