TY - GEN
T1 - Validation of streaming XML documents with Abstract State Machines
AU - Schewe, Klaus Dieter
AU - Thalheim, Bernhard
AU - Wang, Qing
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
KW - Abstract State Machines
KW - Validation
KW - XML
UR - http://www.scopus.com/inward/record.url?scp=70349089164&partnerID=8YFLogxK
U2 - 10.1145/1497308.1497339
DO - 10.1145/1497308.1497339
M3 - Conference contribution
SN - 9781605583495
T3 - Proceedings of the 10th International Conference on Information Integration and Web-based Applications and Services, iiWAS 2008
SP - 147
EP - 153
BT - Proceedings of the 10th International Conference on Information Integration and Web-based Applications and Services, iiWAS 2008
T2 - 10th International Conference on Information Integration and Web-based Applications and Services, iiWAS 2008
Y2 - 24 November 2008 through 26 November 2008
ER -