OCL for formal modelling of topological constraints involving regions with broad boundaries - Université Clermont Auvergne Accéder directement au contenu
Article Dans Une Revue Geoinformatica Année : 2010

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

OCL pour la modélisation formelle des contraintes topologiques impliquant des régions à limite large

Résumé

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. AOCLOVS takes account of the shape vagueness of spread parcel and improve spatial reasoning about them.

Dates et versions

hal-02592721 , version 1 (15-05-2020)

Identifiants

Citer

L. Bejaoui, François Pinet, M. Schneider, Y. Bedard. OCL for formal modelling of topological constraints involving regions with broad boundaries. Geoinformatica, 2010, 14, pp.353-378. ⟨10.1007/s10707-010-0104-5⟩. ⟨hal-02592721⟩
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More