Un système de contraintes d'intégrité OCL pour les bases de données spatiales

par Magali Duboisset

Thèse de doctorat en Informatique

Sous la direction de Michel Schneider et de François Pinet.

Soutenue en 2007

à Clermont-Ferrand 2 .


  • Résumé

    Il est important d'assurer la qualité des données dans les applications géomatiques. Aussi, dès leur conception, un langage de contraintes peut être associé aux langages de modélisation classiques afin de spécifier formellement les contraintes alphanumériques et spatiales que le langage devra respecter. Le but de cette thèse était donc de proposer un langage de contraintes pour spécifier les conditions qu'un système agricole doit respecter pour être cohérent. Pour cela, nous avons étendu au niveau spatiale OCL, le langage de contrainte associé à UML. Par l'intégration de types spatiaux et de modèles de spécifications de relations topologiques, les extensions proposées permettent de décrire des contraintes spatiales à partir d'un modèle de classe UML étendu au spatial. L'expressivité de chaque proposition d'extension d'OCL a été étudiée. Ces langages ont été implémentés à travers l'extension d'un générateur de code, OCL2SQL et expérimenté au Cemagref dans le cadre SIGEMO

  • Titre traduit

    A system of OCL integrity constraints for spatial databases. Application to an agricultural spreading information system


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (143 p.)
  • Annexes : Bibliogr. p.127-132

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque Clermont Université (Aubière). Section Sciences et Techniques.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.