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

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

• Auteur / Autrice : Magali Duboisset
• Direction : Michel Schneider, François Pinet
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2007
• Etablissement(s) : Clermont-Ferrand 2

Mots clés

Mots clés contrôlés

Langages de programmation

Engrais et amendements -- Épandage

UML (informatique)

Système d'information géographique

Bases de données spatio-temporelles

Systèmes informatiques

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