Type modelling for document transformation in structured editing systems

This paper addresses the problem of type transformations in structured editing systems and proposes a type description model convenient for type comparison and document conversion. Two kinds of transformations are considered: dynamic transformations allow a structured editor to change the structure of a part of a document when this part is copied or moved, and static transformations allow specific tools to restructure documents when their generic structure is modified. We present in this paper the current state of our research on formal analysis for these transformations.