Thèse de doctorat : Informatique : Villeurbanne, INSA : 1997. / Contient 1 glossaire. Titre provenant de l'écran-titre. Bibliogr. p. 321-330.

Thèse (M.B.S.I.)--Université de Montréal, 1996. / Paraît aussi en version électronique. Bibliogr.: p. 131-135.

Les Guides de Bonnes Pratiques Cliniques sont des documents normalisés destinés à l'amélioration de la qualité des soins. L'informatisation des Guides de Bonnes Pratiques est un enjeu majeur pour leur diffusion mais aussi pour les différentes étapes de leur cycle de vie depuis leur rédaction. De nombreux travaux de recherche ont été consacrés à l'informatisation des Guides de Bonnes Pratiques. Parmi eux, les approches documentaires utilisent les développements récents des langages à base de balises pour la structuration des documents, facilitant le traitement informatisé de ces documents. Nous proposons une extension de l'approche documentaire qui est basée sur une analyse intelligente des marqueurs de structuration des recommandations utilisant un analyseur à états finis. Cette approche a été intégrée à l'environnement informatique G-DEE (Guideline Document Engineering Environment) dédié à l'étude des Guides de Bonnes Pratiques, et peut servir pour une aide à la rédaction, un support au consensus lors de l'écriture, et un support pour la maintenance et l'actualisation des Guides de Bonnes Pratiques.

The present work proposes visibly pushdown transducers (VPTs) for defining transformations of documents with a nesting structure. We show that this subclass of pushdown transducers enjoy good properties. Notably, we show that functionality is decidable in PTime and k-valuedness in co-NPTime. While this class is not closed under composition and its type checking problem against visibly pushdown automata is undecidable, we identify a subclass, the well-nested VPTs, closed under composition and with a decidable type checking problem. Furthermore, we show that the class of VPTs is closed under look-ahead, and that the deterministic VPTs with look-ahead characterize the functional VPTs transductions. Finally, we investigate the resources necessary to perform transformations defined by VPTs. We devise a memory efficient algorithm. Then we show that it is decidable whether a VPT transduction can be performed with a memory that depends on the level of nesting of the input document but not on its length. / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished