Automata play an important role for the theoretical foundations of XML data management,
but also in tools for various XML processing tasks. This survey article aims to give an …

Abstract Model transformation is a central concept in model-driven development
approaches, as it provides a mechanism for automating the manipulation of models. In this …

Motivated by formal models recently proposed in the context of XML, we study automata and
logics on strings over infinite alphabets. These are conservative extensions of classical …

XPath is a simple language for navigating an XML document and selecting a set of element
nodes. XPath expressions are used to query XML data, describe key constraints, express …

The advent of XML initiated a symbiosis between document research, databases and formal
languages (see, eg, the survey by Vianu [38]). This symbiosis resulted, for instance, in the …

Abstract Model transformations are increasingly recognised as being of significant
importance to many areas of software development and integration. Recent attention on …

A number of techniques have been developed to facilitate powerful data retrieval on the
Web and Semantic Web. Three categories of Web query languages can be distinguished …

We survey some recent developments in the broad area of automata and logic which are
motivated by the advent of XML. In particular, we consider unranked tree automata, tree …

XPath is a simple language for navigating an XML tree and returning a set of answer nodes.
The focus in this paper is on the complexity of the containment problem for various …

The purpose of this paper is to describe a method for the simulation of the recently
introduced fluid stochastic Petri nets. Since such nets result in rather complex system of …