OCL for formal modelling of topological constraints involving regions with broad boundaries

  • Authors:

  • Lotfi Bejaoui;François Pinet;Michel Schneider;Yvan Bédard

  • Affiliations:

  • Centre for Research in Geomatics (CRG), Laval University, Quebec, Canada and Industrial Research Chair in Geospatial Databases for Decision Support, Laval University, Quebec, Canada and Cemagref, ...;Cemagref, Clermont Ferrand, France;Cemagref, Clermont Ferrand, France and Blaise Pascal University, Clermont Ferrand, France;Centre for Research in Geomatics (CRG), Laval University, Quebec, Canada and Industrial Research Chair in Geospatial Databases for Decision Support, Laval University, Quebec, Canada

  • Venue:
  • Geoinformatica
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Integrity constraints can control topological relations of objects in spatial databases. These constraints can be modelled using formal languages such as the spatial extension of the Object Constraint Language (Spatial OCL). This language allows the expression of topological integrity constraints involving crisp spatial objects but it does not support constraints involving spatial objects with vague shapes (e.g. forest stand, pollution zone, valley or lake). In this paper, we propose an extension of Spatial OCL based on (1) a geometric model for objects with vague shapes, and (2) an adverbial approach for modelling topological constraints involving regions with broad boundaries. This new language provides an easiness in the formal modelling of these complex constraints. Our approach has been implemented in a code generator. A case study is also presented in the paper in the field of agriculture spreading activities. AOCL OVS takes account of the shape vagueness of spread parcel and improve spatial reasoning about them.