Transformation de types dans les systèmes d'édition de documents structurés
Résumé
In structured editing systems, documents are considered as logical
structures made up of typed components. These are defined in a generic
structure representing the organization of the whole document. Such
systems are based on a strong type checking of documents, such that any
change to a type definition makes documents unprocessable. The evolution
of a type definition in a generic structure is called a static type
transformation. The structural changes to elements during an editing
session are called dynamic transformation. The aim of this thesis is to
study the problems induced by the static and dynamic type
transformations.
The first part is an introduction to structured documents editing
systems and standards such as SGML, DSSSL, ODA.
The second part explains the main changes that could occur in a type
definition, along with a taxonomy of elementary transformations.
The third part presents a mathematical type modelling relevant to either
dynamic or static type transformations :
1. For static transformations, the important characteristics of types
are represented and used to rigorously express the possible changes.
2. Types are assimilated to trees and two types can be compared in order
to point out the relation (sub-type, factor, cluster, equivalence,
compatibility) that links them.
3. Finally, a grammatical approach considers a document as a word which
is part of a language. The words of that language are generated from an
alphabet composed of the identifiers of the basic types of the system,
the identifiers of the generic structures and a set of symbols
representing the available constructors.
structures made up of typed components. These are defined in a generic
structure representing the organization of the whole document. Such
systems are based on a strong type checking of documents, such that any
change to a type definition makes documents unprocessable. The evolution
of a type definition in a generic structure is called a static type
transformation. The structural changes to elements during an editing
session are called dynamic transformation. The aim of this thesis is to
study the problems induced by the static and dynamic type
transformations.
The first part is an introduction to structured documents editing
systems and standards such as SGML, DSSSL, ODA.
The second part explains the main changes that could occur in a type
definition, along with a taxonomy of elementary transformations.
The third part presents a mathematical type modelling relevant to either
dynamic or static type transformations :
1. For static transformations, the important characteristics of types
are represented and used to rigorously express the possible changes.
2. Types are assimilated to trees and two types can be compared in order
to point out the relation (sub-type, factor, cluster, equivalence,
compatibility) that links them.
3. Finally, a grammatical approach considers a document as a word which
is part of a language. The words of that language are generated from an
alphabet composed of the identifiers of the basic types of the system,
the identifiers of the generic structures and a set of symbols
representing the available constructors.
Les systemes d'edition de documents fondes sur la description logique
des composants des documents s'appuient sur les grammaires hors
contexte. Ces grammaires assez riches permettent la description des
classes de documents (schemas de structure), de leurs composants, des
relations hierarchiques et de voisinage que ces derniers entretiennent
les uns avec les autres, et d'informations d'ordre semantique
associees aux composants sous forme d'attributs. La verification
rigoureuse de la compatibilite de types, benefique par ailleurs,
induit aussi des inconvenients dont les principaux sont le rejet des
couper-coller, l'impossibilite d'editer les documents dont les
schemas de structure ont evolue, l'impossibilite de realiser des
restructurations en cours d'edition.
Le but de cette these est d'etudier l'evolution des types, de
proposer des solutions a ces problemes et de les mettre en oeuvre dans
le systeme Grif.
La these presente, dans une premiere partie, un etat de l'art et les
problemes de restructuration dans les systemes d'edition de documents
structures (SEDS) en general, notamment l'editeur Grif qui sert de
cadre a` cette etude.
La deuxieme partie presente une typologie de l'evolution des
structures et des attributs et un modele conceptuel de conversion
automatique des instances de documents concernees par l'evolution
statique de structures.
La troisieme partie de cette these presente en trois points un
formalisme des types pour les SEDS :
1. Un modele mathematique de types dans les SEDS, fonde sur la
representation fonctionnelle des caracteristiques structurales des
types, qui permet d'exprimer avec rigueur les evolutions possibles de
structure.
2. Un ensemble de definitions des relations structurales entre types
(facteur, sous-typage, massif, compatibilite, equivalence), utiles
dans les transformations statiques et dynamiques.
3. Une approche grammaticale pour les transformations dynamiques : un
schema de structure peut etre transforme en une grammaire
algebrique, un document pouvant etre interprete comme un mot du
langage issu de cette grammaire. Le langage retenu par la presente
these est construit sur un alphabet terminal compose de l'ensemble des
types de base du systeme, de l'ensemble des identificateurs des
schemas de structure du systeme et de l'ensemble des symboles
exprimant la structure des types.
des composants des documents s'appuient sur les grammaires hors
contexte. Ces grammaires assez riches permettent la description des
classes de documents (schemas de structure), de leurs composants, des
relations hierarchiques et de voisinage que ces derniers entretiennent
les uns avec les autres, et d'informations d'ordre semantique
associees aux composants sous forme d'attributs. La verification
rigoureuse de la compatibilite de types, benefique par ailleurs,
induit aussi des inconvenients dont les principaux sont le rejet des
couper-coller, l'impossibilite d'editer les documents dont les
schemas de structure ont evolue, l'impossibilite de realiser des
restructurations en cours d'edition.
Le but de cette these est d'etudier l'evolution des types, de
proposer des solutions a ces problemes et de les mettre en oeuvre dans
le systeme Grif.
La these presente, dans une premiere partie, un etat de l'art et les
problemes de restructuration dans les systemes d'edition de documents
structures (SEDS) en general, notamment l'editeur Grif qui sert de
cadre a` cette etude.
La deuxieme partie presente une typologie de l'evolution des
structures et des attributs et un modele conceptuel de conversion
automatique des instances de documents concernees par l'evolution
statique de structures.
La troisieme partie de cette these presente en trois points un
formalisme des types pour les SEDS :
1. Un modele mathematique de types dans les SEDS, fonde sur la
representation fonctionnelle des caracteristiques structurales des
types, qui permet d'exprimer avec rigueur les evolutions possibles de
structure.
2. Un ensemble de definitions des relations structurales entre types
(facteur, sous-typage, massif, compatibilite, equivalence), utiles
dans les transformations statiques et dynamiques.
3. Une approche grammaticale pour les transformations dynamiques : un
schema de structure peut etre transforme en une grammaire
algebrique, un document pouvant etre interprete comme un mot du
langage issu de cette grammaire. Le langage retenu par la presente
these est construit sur un alphabet terminal compose de l'ensemble des
types de base du systeme, de l'ensemble des identificateurs des
schemas de structure du systeme et de l'ensemble des symboles
exprimant la structure des types.
Domaines
Autre [cs.OH]
Loading...