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

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.

[1]  Christophe Claramunt,et al.  Extending Ladkin's algebra on non-convex intervals towards an algebra on union-of regions , 2000, GIS '00.

[2]  Eliseo Clementini,et al.  Approximate topological relations , 1997, Int. J. Approx. Reason..

[3]  MAX J. EGENHOFER,et al.  Point Set Topological Relations , 1991, Int. J. Geogr. Inf. Sci..

[4]  P. Burrough,et al.  Geographic Objects with Indeterminate Boundaries , 1996 .

[5]  François Pinet,et al.  Modelling of a Spatial DSS Template in Support to the Common Agricultural Policy , 2006, J. Decis. Syst..

[6]  Yvan Bédard,et al.  On Languages for the Specification of Integrity Constraints in Spatial Conceptual Models , 2007, ER Workshops.

[7]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[8]  Sophie Cockcroft.  User defined spatial business rules: storage, management and implementation — a pipe network case study , 1998 .

[9]  Heinrich Hußmann,et al.  OCL as a Specification Language for Business Rules in Database Applications , 2001, UML.

[10]  F. Pinet,et al.  LOGICAL CONSISTENCY FOR VAGUE SPATIOTEMPORAL OBJECTS AND RELATIONS , 2007 .

[11]  Franco Turini,et al.  An Application of Advanced Spatio-Temporal Formalisms to Behavioural Ecology , 2008, GeoInformatica.

[12]  Sungsoon Hwang,et al.  Modeling Localities with Fuzzy Sets and GIS , 2005 .

[13]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[14]  Anthony G. Cohn,et al.  Qualitative Spatio-Temporal Continuity , 2001, COSIT.

[15]  Peter A. Burrough,et al.  Fuzzy mathematical methods for soil survey and land evaluation , 1989 .

[16]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.

[17]  Stefano Spaccapietra,et al.  Conceptual modeling for traditional and spatio-temporal applications - the MADS approach , 2006 .

[18]  Anthony G. Cohn,et al.  Modelling Topological and Metrical Properties in Physical Processes , 1989, KR.

[19]  Arta Dilo,et al.  Representation of and reasoning with vagueness in spatial information : a system for handling vague objects , 2006 .

[20]  João L. G. Matos,et al.  Topological Relations using Two Models of Uncertainty for Lines , 2006 .

[21]  Sophie Cockcroft.  The Design and Implementation of a Repository for the Management of Spatial Data Integrity Constraints , 2004, GeoInformatica.

[22]  François Pinet,et al.  How to Design Geographic Databases ? Specific UML Profile and Spatial OCL Applied to Wireless Ad Hoc Networks , 2004 .

[23]  John Daniels,et al.  Designing Object Systems , 1994 .

[24]  François Pinet,et al.  An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries , 2008, ER.

[25]  François Pinet,et al.  Constraints Modeling in Agricultural Databases , 2009 .

[26]  Markus Schneider,et al.  Vague Regions , 1997, SSD.

[27]  Andrew U. Frank,et al.  Tiers of ontology and consistency constraints in geographical information systems , 2001, Int. J. Geogr. Inf. Sci..

[28]  Alberto H. F. Laender,et al.  OMT-G: An Object-Oriented Data Model for Geographic Applications , 2001, GeoInformatica.

[29]  Sophie Cockcroft.  A Taxonomy of Spatial Data Integrity Constraints , 1997, GeoInformatica.

[30]  Heinrich Hußmann,et al.  Using UML/OCL Constraints for Relational Database Design , 1999, UML.

[31]  David Altman,et al.  Fuzzy Set Theoretic Approaches for Handling Imprecision in Spatial Analysis , 1994, Int. J. Geogr. Inf. Sci..

[32]  Anthony G. Cohn,et al.  The ‘Egg-Yolk’ Representation of Regions with Indeterminate Boundaries , 2020 .

[33]  François Pinet,et al.  Qualified topological relations between spatial objects with possible vague shape , 2009, Int. J. Geogr. Inf. Sci..

[34]  Sophie Cockcroft.  Modelling spatial data integrity rules at the metadata level , 2001 .

[35]  Robert Laurini,et al.  A Methodology for Spatial Consistency Improvement of Geographic Databases , 2000, GeoInformatica.

[36]  François Pinet,et al.  Using UML and OCL to maintain the consistency of spatial data in environmental information systems , 2007, Environ. Model. Softw..

[37]  Frederick E. Petry,et al.  Fuzzy Modeling with Spatial Information for Geographic Problems , 2008 .

[38]  Rodolphe Devillers,et al.  Qualité de l'information géographique , 2005 .

[39]  François Pinet,et al.  Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles , 2005, ER.

[40]  Martin Gogolla,et al.  ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools , 2001, Lecture Notes in Computer Science.

[41]  Xinming Tang.  Spatial object model[l]ing in fuzzy topological spaces : with applications to land cover change , 2004 .

[42]  Steffen Zschaler,et al.  Structure of the Dresden OCL Toolkit , 2004 .

[43]  Daniel G. Brown,et al.  Classification and Boundary Vagueness in Mapping Presettlement Forest Types , 1998, Int. J. Geogr. Inf. Sci..