Validation of streaming XML documents with abstract state machines

Loading...
Thumbnail Image

Date

Authors

Schewe, Klaus-Dieter
Thalheim, Bernhard
Wang, Qing (Ms)

Journal Title

Journal ISSN

Volume Title

Publisher

Association for Computing Machinery (ACM)

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

Description

Citation

Source

Validation of streaming XML documents with abstract state machines

Book Title

Entity type

Access Statement

License Rights

Restricted until

2037-12-31