THESE de l'INPG

AUTEUR : Extase K. A. Akpotsui

SUJET : Transformation de types dans les syste`mes 
        d'e'dition de documents structure's

DATE : mardi 26 octobre a` 11 heures


Jury compose' de : Claude Delobel             Pre'sident et rapporteur
                   Paul Franchi-Zanettachi    Rapporteur
                   Sacha Krakowiak            Examinateur
                   Jacques Mossie`re          Examinateur
                   Vincent Quint              Directeur de the`se

These preparee dans le projet OPERA du laboratoire Bull-IMAG.

Re'sume' :

Les syste`mes d'e'dition de documents fonde's 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 (sche'mas de structure), de leurs composants, des
relations hie'rarchiques et de voisinage que ces derniers entretiennent
les uns avec les autres, et d'informations d'ordre se'mantique
associe'es aux composants sous forme d'attributs. La ve'rification
rigoureuse de la compatibilite' de types, be'ne'fique par ailleurs,
induit aussi des inconve'nients dont les principaux sont le rejet des
couper-coller, l'impossibilite' d'e'diter les documents dont les
sche'mas de structure ont e'volue', l'impossibilite' de re'aliser des
restructurations en cours d'e'dition.

Le but de cette the`se est d'e'tudier l'e'volution des types, de
proposer des solutions a` ces proble`mes et de les mettre en oeuvre dans
le syste`me Grif.

La the`se pre'sente, dans une premie`re partie, un e'tat de l'art et les
proble`mes de restructuration dans les syste`mes d'e'dition de documents
structure's (SEDS) en ge'ne'ral, notamment l'e'diteur Grif qui sert de
cadre a` cette e'tude.

La deuxie`me partie pre'sente une typologie de l'e'volution des
structures et des attributs et un mode`le conceptuel de conversion
automatique des instances de documents concerne'es par l'e'volution
statique de structures. 

La troisie`me partie de cette the`se pre'sente en trois points un
formalisme des types pour les SEDS :

1. Un mode`le mathe'matique de types dans les SEDS, fonde' sur la
repre'sentation fonctionnelle des caracte'ristiques structurales des
types, qui permet d'exprimer avec rigueur les e'volutions possibles de
structure.

2. Un ensemble de de'finitions des relations structurales entre types
(facteur, sous-typage, massif, compatibilite', e'quivalence), utiles
dans les transformations statiques et dynamiques.

3. Une approche grammaticale pour les transformations dynamiques : un
sche'ma de structure peut e^tre transforme' en une grammaire
alge'brique, un document pouvant e^tre interpre'te' comme un mot du
langage issu de cette grammaire. Le langage retenu par la pre'sente
the`se est construit sur un alphabet terminal compose' de l'ensemble des
types de base du syste`me, de l'ensemble des identificateurs des
sche'mas de structure du syste`me et de l'ensemble des symboles
exprimant la structure des types.

Abstract

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.

~

Mots-cle's :

Document structure', mode`le de documents, SGML, DSSSL, transformation
de types, arbre, type, langage alge'brique, empreinte ge'ne'rique,
empreinte effective.

Keywords :

Structured document, document model, SGML, DSSSL, type transformation,
tree structure, algebraic language, generic mark, effective mark.


TAILLE DU FICHIER POSTSCRIPT : 848852 octets