Data model issues for object-oriented applications
ACM Transactions on Information Systems (TOIS)
A structural approach to the maintenance of structure-oriented environments
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The management of changing types in an object-oriented database
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Class modification in the GemStone object-oriented DBMS
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Specifying structured document transformations
Proceedings of the International Conference on Electronic Publishing on Document manipulation and typography
Interactively editing structured documents
Electronic Publishing—Origination, Dissemination, and Design
A function-based formatting model
Electronic Publishing—Origination, Dissemination, and Design
Building an object-oriented database system: the story of 02
Building an object-oriented database system: the story of 02
Rita—an editor and user interface for manipulating structured documents
Electronic Publishing—Origination, Dissemination, and Design
Text Processing and Document Manipulation: Proceedings of the International Conference, University of Nottingham, 14-16 April 1986
Generic validation of structural content with parametric modules
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Xeena for Schema: Creating XML Data with an Interactive Editor
DNIS '02 Proceedings of the Second International Workshop on Databases in Networked Information Systems
On modular transformation of structural content
Proceedings of the 2004 ACM symposium on Document engineering
Implementing the cut-and-paste operation in a structured editing system
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.98 |
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.