The goal of Transmorpher is to have an intelligible expression of transformations. It should provide in the near future the opportunity to annotate the various components of the transformations. Among these annotations, there should be assertions of properties satisfied by transformations (terminates, returns a document satisfying some particular DTD, preserves the order of some elements, etc.). We also consider adding the mathematical proofs of these properties.

This will be developed later as an extension.

Annotations

Assertions

Proofs

Next chapter: Getting started with Transmorpher


Feel free to comment to Jérôme:Euzenat#inrialpes:fr, $Id: annot.html,v 1.6 2005/10/25 13:34:00 euzenat Exp $