Team WAM

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Scientific Foundations

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

Transformations

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:


previous
next

Logo Inria