Un système de contraintes d'intégrité OCL pour les bases de données spatiales. Application à un système d'information pour l'épandage agricole - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2007

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

Un système de contraintes d'intégrité OCL pour les bases de données spatiales. Application à un système d'information pour l'épandage agricole

Résumé

It is important to ensure data quality in GIS applications. Also, from their conception, a constraint language can be combined with conventional modeling languages ​​to specify formally the alphanumeric and spatial constraints that language must comply. The purpose of this thesis was to propose a constraint language to specify the conditions that agricultural system must meet to be consistent. For this, we have expanded in spatial OCL, the language of duress with UML. Through the integration of spatial types and specification models of topological relations, the proposed extensions allow the description of spatial constraints from a UML class model of extended space. The expressiveness of each proposed extension of OCL has been studied. These languages ​​have been implemented through the extension of a code generator, and experienced OCL2SQL Cemagref as part SIGEMO
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
Fichier principal
Vignette du fichier
2007CLF21797.pdf (1.34 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00718758 , version 1 (18-07-2012)

Identifiants

  • HAL Id : tel-00718758 , version 1

Citer

Magali Duboisset. Un système de contraintes d'intégrité OCL pour les bases de données spatiales. Application à un système d'information pour l'épandage agricole. Base de données [cs.DB]. Université Blaise Pascal - Clermont-Ferrand II, 2007. Français. ⟨NNT : 2007CLF21797⟩. ⟨tel-00718758⟩
268 Consultations
1165 Téléchargements

Partager

Gmail Facebook X LinkedIn More