Modelling of integrity constraints in environmental information systems
Modélisation des contraintes d'intégrité dans les systèmes d'information environnementaux
Résumé
Le présent mémoire est composé de deux parties. La première décrit l'essentiel de mon parcours professionnel, depuis la préparation de mon doctorat jusqu'à aujourd'hui. Cette partie résume mes activités scientifiques et indique les résultats marquants. Sont notamment précisés, les projets scientifiques et les collaborations initiés. La seconde partie du mémoire présente les travaux de recherche menés dans le cadre des trois thèses de doctorat encadrées jusqu'à maintenant. Ces recherches portent sur la modélisation des contraintes d'intégrité dans les Systèmes d'Information (SI) environnementaux. Le contrôle des contraintes d'intégrité permet d'assurer la qualité des données d'un SI. Il est donc essentiel de disposer de méthodes pour représenter et contrôler ces contraintes dans les SI environnementaux. Une particularité des SI pour l'environnement est que les données que ces systèmes manipulent sont, par nature, géoréférencées. Dans ce cadre, le but principal de nos travaux était de fournir des moyens expressifs pour modéliser les contraintes d'intégrité des bases de données spatiales, ainsi que de mettre en place des outils pour les contrôler. Le challenge était de trouver un compromis entre le pouvoir d'expression offert par une méthode et sa complexité d'utilisation. Notre étude nous a amené à proposer des extensions spatiales d'OCL (Object Constraint Language). Nous décrivons dans ce mémoire, les solutions proposées pour les données spatiales certaines ou incertaines. Nous nous somme concentrés sur les contraintes impliquant des relations topologiques dans leur formalisation. Nous nous sommes intéressés à la fois aux SI reposant sur des bases de données transactionnelles et aux systèmes décisionnels reposant sur des entrepôts de données. Plusieurs exemples dans le domaine de l'environnement sont présentés dans le mémoire.
Domaines
Génie logiciel [cs.SE]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...