E. Akpotsui et al., TYPE MODELING FOR DOCUMENT TRANSFORMATION IN STRUCTURED EDITING SYSTEMS, Mathematical and computer modelling, 25(4), 1997, pp. 1-19
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 c
hange the structure of a part of a document when this part is copied o
r moved, and static transformations allow specific tools to restructur
e documents when their generic structure is modified. We present in th
is paper the current state of our research on formal analysis for thes
e transformations.