Projections et cohérence de vues dans les grammaires algébriques

Eric Badouel 1, 2 Maurice Tchoupé Tchendji 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Un document structuré complexe est représenté intentionnellement sous la forme d'une structure arborescente décorée par des attributs. Les structures licites sont caractérisées par une grammaire algébrique abstraite. Nous faisons ici abstraction des attributs ; ces derniers sont liés à des aspects sémantiques qui peuvent être traités séparément des aspects purement structurels qui nous intéressent ici. Cette représentation intentionnelle peut être manipulée de façon indépendante et éventuellement non synchronisée par divers outils d'édition et de manipulation qui opèrent sur des vues partielles distinctes du même document. Pour la re-synchronisation de ces vues partielles nous devons résoudre le problème de leur cohérence : décider s'il existe un document correspondant à ces différentes vues et dans l'affirmative produire un tel document. Nous montrons comment résoudre ce problème dans le cas où chaque vue est associée à un sous-ensemble des symboles grammaticaux : ceux qui correspondent aux catégories syntaxiques visibles. L'algorithme proposé, qui repose fortement sur le mécanisme d'évaluation paresseuse, résout ce problème même dans le cas où chaque vue partielle correspond à un nombre infini de documents possibles.
Type de document :
Article dans une revue
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 8, pp.18-48
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01272682
Contributeur : Coordination Episciences Iam <>
Soumis le : jeudi 11 février 2016 - 11:39:32
Dernière modification le : mardi 16 janvier 2018 - 15:54:19
Document(s) archivé(s) le : jeudi 12 mai 2016 - 17:30:56

Fichier

arima00802.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01272682, version 1

Citation

Eric Badouel, Maurice Tchoupé Tchendji. Projections et cohérence de vues dans les grammaires algébriques. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 8, pp.18-48. 〈hal-01272682〉

Partager

Métriques

Consultations de la notice

247

Téléchargements de fichiers

105