Paper Info
Title
OCL for formal modelling of topological constraints involving regions with broad boundaries
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.
Year
DOI
Venue
2010
10.1007/s10707-010-0104-5
GeoInformatica
Keywords
Field
DocType
Spatial databases,Geographical information systems,Data modelling,Integrity constraint,Object constraint language (OCL),Regions with broad boundaries
Data modeling,Topology,Vagueness,Spatial intelligence,Formal language,Geometric modeling,Data integrity,Constructed language,Object Constraint Language,Geography,Cartography
Journal
Volume
Issue
ISSN
14
3
1384-6175
Citations 
PageRank 
References 
10
0.50
23
Authors
4
Name
Order
Citations
PageRank
L. Bejaoui1321.93
François Pinet213719.82
Michel Schneider3313.49
Yvan Bédard420222.80