Static analysis of Active XML systems

DMCA

Static analysis of Active XML systems

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Serge Abiteboul , Luc Segoufin , Victor Vianu

Venue:	in PODS, 2008
Citations:	34 - 14 self

BibTeX

@INPROCEEDINGS{Abiteboul_staticanalysis,
    author = {Serge Abiteboul and Luc Segoufin and Victor Vianu},
    title = {Static analysis of Active XML systems},
    booktitle = {in PODS, 2008},
    year = {},
    pages = {221--230}
}

OpenURL

Abstract

Active XML is a high-level specification language tailored to data-intensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. The state of a document evolves depending on the result of internal function calls (local computations) or external ones (interactions with users or other services). Function calls return documents that may be active, so may activate new sub-tasks. The focus of the paper is on the verification of temporal properties of runs of Active XML systems, specified in a tree-pattern based temporal logic, Tree-LTL, that allows expressing a rich class of semantic properties of the application. The main results establish the boundary of decidability and the complexity of automatic verification of Tree-LTL properties. 1

Keyphrases

active xml system static analysis active xml high-level specification language automatic verification embedded function temporal property temporal logic tree-ltl property main result dynamic web service local computation xml document internal function call new sub-tasks external one return document rich class semantic property

DMCA