Team WAM

Overall Objectives
Scientific Foundations
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Scientific Foundations

Keywords : document models, document transformations, transformation languages, path expressions, XML structure transformations, XPath, logic, modal logic, automata.


Participants : Pierre Genevès, Nabil Layaïda, Vincent Quint.

Structure transformation is a specific domain that can be approached following different abstraction levels with respect to programming specifications. The lowest level is based on general purpose languages, such as Python or Java, associated with dedicated libraries and toolkits that implement a standard structure manipulation API, typically the DOM. On the opposite, there are dedicated languages, such as XSLT, which abstract over data and control complexity through a tree-based data model and a powerful execution model.

Some properties are expected from specialized languages in order to help solving the most common problems: expressiveness, verifiability, efficiency, modularity, reusability, scalability, succintness, correctness, etc. These properties are studied using the fundamental connection between language theory, mathematical logic, structured languages and query languages. Most of our theoretical work follows this approach.

The goal of the research published so far is limited to establishing new theoretical properties and complexity bounds. Our research differs in that we seek, in addition to these goals, efficient implementation techniques and concrete design that may be directly applied to XML systems. We also consider that some more properties are of particular importance for XML structure transformations, namely:


Logo Inria