Guaranteeing integrity constraints during interactive map editing with visual language parsing

In this paper we propose an approach based on visual language parsing for guaranteeing the integrity of data produced during the editing process of maps. According to our approach, constraints are expressed by using high-level data model, such as OMT-G, and converted in a properly visual language grammar. From such a grammar, a parser able to identify incorrect aggregation of spatial data input is automatically generated. The grammar formalism also allows us to associate suitable semantic actions with productions in order to perform automatic corrections of inconsistent input data, error recognition and visualization, prompting actions for error recovery.

[1]  Jun Kong,et al.  Graph-based consistency checking in spatial information systems , 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.

[2]  Claudia Bauzer Medeiros,et al.  Maintenance of Binary Topological Constraints Through Active Databases , 1995, ACM-GIS.

[3]  Jesús Manuel Almendros-Jiménez Constraint logic programming over sets of spatial objects , 2005, WCFLP '05.

[4]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

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

[6]  Gennaro Costagliola,et al.  A framework for modeling and implementing visual notations with applications to software engineering , 2004, TSEM.

[7]  Keith Ryden,et al.  OpenGIS ® Implementation Specification for Geographic information - Simple feature access - Part 1:Common architecture , 2005 .

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

[9]  Shashi Shekhar,et al.  Consistency checking for Euclidean spatial constraints: a dimension graph approach , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

[10]  Jesús Manuel Almendros-Jiménez,et al.  Solving Constraints on Sets of Spatial Objects , 2005, PADL.

[11]  Jun Kong,et al.  On a Spatial Graph Grammar Formalism , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.