Representation and Analyses of Web Content and Processing - TYREX Accéder directement au contenu
Hdr Année : 2013

Representation and Analyses of Web Content and Processing

Représentation et analyses de contenu et de programmes Web

Nabil Layaïda

Résumé

Today, web content and applications are becoming the main interface to performing all kinds of daily tasks such as stating and paying government taxes, booking plane or train tickets, planning holidays, shopping, managing bank accounts, etc. As a consequence, it is becoming increasingly important to study their foundations, enhance their capabilities, facilitate their design, verify their correctness, optimize them automatically and make them more flexible and adaptive. In this document, we first describe my professional activities, concerning the years from 1998 to 2012. The first part of this document contains a summary of my research related activities and of teaching and administrational duties, as well as a summary of my scientific results. In the remaining part of the document, we introduce a logic for reasoning over finite trees, a sound and complete decision procedure for checking the satisfiability of a formula of the logic as well as an effective implementation. The logic is a variant of mu-calculus adapted for finite trees and equipped with backward modalities and nominals. Then, we consider the problem of XML Schema evolution. In the ever-changing context of the web, XML schemas continuously change in order to cope with the natural evolution of entities they describe. Schema changes have important consequences as existing documents may become invalid and manipulating programs may become unsafe. We propose a unifying framework for determining the effects of XML Schema evolution both on the validity of documents and on queries. In the last part of the document, we consider a type algebra equipped with recursive, product, function, intersection, union, and complement types together with type variables and implicit universal quantification over them. We consider the subtyping relation recently defined by Castagna and Xu over such type expressions and show that this relation can be decided in EXPTIME and implemented efficiently answering an open question in the literature.
Aujourd'hui, les contenus et les applications Web sont devenus la principale interface pour effectuer toutes sortes de tâches de la vie quotidienne comme déclarer et payer les impôts, réserver des billets d'avion ou de train, planifier des vacances, effectuer des achats, gérer les comptes bancaires, etc. En conséquence, il devient de plus en plus important d'étudier leurs fondements, d'améliorer leurs capacités, de faciliter leur conception, de vérifier leur fonctionnement, de les optimiser automatiquement et les rendre plus souples et adaptables aux usages et aux différentes plateformes. Dans ce document, nous décrivons d'abord mes activités professionnelles, concernant les années 1998 à 2012. La première partie de ce document contient un résumé de mes activités de recherche, d'encadrement, d'enseignement et charges administrative et collective, ainsi qu'un résumé de mes principaux résultats scientifiques. Dans le reste du document, nous introduisons une logique de raisonnement sur les arbres finis, une procédure de décision correcte et complète pour vérifier la satisfaisabilité d'une formule de la logique ainsi que d'une mise en œuvre efficace en pratique. La logique est une variante du mu-calcul adaptée aux arbres finis et équipée avec des modalités arrières et des nominaux. Ensuite, nous considérons le problème de l'évolution des schémas XML. Dans le contexte en constante évolution du Web, les schémas XML changent continuellement afin de faire face à l'évolution naturelle des entités qu'ils décrivent. Les modifications de schémas peuvent avoir des conséquences importantes dans la mesure où les documents existants peuvent devenir invalides et la programmes les manipulant incorrectes. Nous proposons un cadre unificateur pour déterminer les effets de l'évolution des schémas XML à la fois sur la validité des documents et des requêtes contenues dans ces programmes. Dans la dernière partie du document, nous considérons une algèbre de type équipée de la récursivité, du produit cartésien, des fonctions, de l'intersection, de l'union, et du complément ainsi que des variables de type et une quantification universelle implicite sur ces variables. Nous considérons la relation de sous-typage récemment définie par Castagna et Xu sur des expressions de cette algèbre de type et montrons que le sous-typage peut être décidé avec une complexité EXPTIME et implémenté efficacement en pratique clôturant ainsi à une question ouverte dans la littérature.

Domaines

Web
Fichier principal
Vignette du fichier
Nabil-Layaida-HDR.pdf (1.94 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00872752 , version 1 (14-10-2013)

Identifiants

  • HAL Id : tel-00872752 , version 1

Citer

Nabil Layaïda. Representation and Analyses of Web Content and Processing. Web. Université de Grenoble, 2013. ⟨tel-00872752⟩
338 Consultations
567 Téléchargements

Partager

Gmail Facebook X LinkedIn More