Modéliser les contraintes d'intégrité spatiale avec OCL | Modelling spatial integrity constraints with OCL

French. Dans cet article, nous proposons des extensions spatiales du langage OCL (Object Constraint Language) associé à UML. L'objectif de ces extensions est de permettre d'exprimer de façon déclarative un éventail large de contraintes d'intégrité dans les bases de données spatiales. Nous explicitons plus particulièrement deux extensions pour exprimer des contraintes impliquant des régions spatiales; la première est basée sur les relations topologiques du modèle des 9 intersections, et la seconde sur des relations topologiques qualifiées par des adverbes. Nous établissons alors l'équivalence de ces deux extensions en termes d'expressivité. Leur différence se situe au niveau de leur facilité d'utilisation. Nos propositions ont été intégrées dans un générateur de code OCL2SQL, qui permet de produire automatiquement, à partir de contraintes écrites en OCL, des mécanismes opérationnels de contrôle d'intégrité de bases de données spatiales. Nous présentons une étude de cas issue de l'expérimentation de la solution proposée sur un système d'information pour l'épandage agricole.

English. In this paper, we propose spatial extensions of the Object Constraint Language associated to UML. The goal of the proposed languages is to allow expressing a large range of integrity constraints in spatial databases. We highlight two extensions of OCL to express constraints involving spatial regions; the first one is based on the topological relations of the 9-Intersection model, and the second one is based on topological relations qualified by adverbs. We establish the equivalence between the expressive powers of these two extensions. Their difference is their level of usability. Our proposals have been integrated in a code generator OCL2SQL; this makes possible to produce automatically operational integrity mechanisms issued from OCL constraints. We also present a case study concerning the application of the proposed solution on an information system for agricultural spreading.