Map integrity constraint verification by using visual language parsing

Journal of Digital Information Management

Volumn 6, Issue 5, 2008, Pages 386-395

  Fatto, Vincenzo Del ^a   Deufemia, Vincenzo ^a   Paolino, Luca ^a  

^a UNIVERSITY OF SALERNO   (Italy)

Author keywords

Data Quality; Grammar Formalism; Integrity Constraint Checking; Spatial Consistency; Topological Relationships; Visual Language Parsing

Indexed keywords

DATA QUALITY; GRAMMAR FORMALISMS; INTEGRITY CONSTRAINTS; SPATIAL CONSISTENCY; TOPOLOGICAL RELATIONSHIPS; VISUAL LANGUAGE PARSING;

SEMANTICS; VISUAL LANGUAGES; VISUALIZATION;

FORMAL LANGUAGES;

EID: 84865514855     PISSN: 09727272     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. Aho, A.V., Sethi, R., Ullman, J.D (1987). Compilers Principles, Techniques, and Tools. Addison-Wesley.
2. Almendros, J. M (2005). Constraint Logic Programming over Sets of Spatial Objects. In: Proc. of Workshop on Curry and Functional Logic (WCFLP '05), pages 32-42, ACM Press.
3. Almendros, J. M., Corral, A. (2005). Solving Constraints on Sets of Spatial Objects. In: Proceedings of the Practical Aspects of Declarative Languages (PADL'05), pages 158-173, LNCS 3350, Springer-Verlag.
4. Bardohl, R (2002). A Visual Environment for Visual Languages. Science of Computer Programming 44 (2) 181-203.
5. Belussi, A., Bertino, E., Catania, B (1997). Manipulating Spatial Data in Constraint Databases. In: Proc. of the 5th Symp. on Large Spatial Databases, pages 115-141.
6. Belussi A., Negri M., Pelagatti G. (2004). GeoUML: A Geographic Conceptual Model Defined through Specialization of ISO TC 211 Standards. In: Proceeding of 10th EC-GI&GIS Workshop, Warsaw, Poland, 23-25 June 2004.
7. Borges, K. A. V., Davis Jr., C. A., Laender, A. H. F (2001). OMT-G: An Object-Oriented Data Model for Geographic Applications. GeoInformatica 5(3) 221-260.
8. Cockcroft, S (1997). A Taxonomy of Spatial Data Integrity Constraints. GeoInformatica 1(4) 327-343.
9. Costagliola, G., De Lucia, A., Orefice, S., Polese, G (2002). A Classification Framework to Support the Design of Visual Languages. Journal of Visual Languages and Computing 13(6) 573-600.
10. Costagliola, G. Deufemia, V (2003). Visual Language Editors based on LR Parsing Techniques. In: Proceedings of SIGPARSE/ACL 8th International Workshop on Parsing Technologies (IWPT'03), pages 78-90.
11. Costagliola, G., Deufemia, V., Ferrucci, F., Gravino, C (2002). Using Extended Positional Grammars to Develop Visual Modeling Languages. In: Proc. of the 14th International Conference on Software Engineering and Knowledge Engineering, pages 201-208, ACM Press.
12. Costagliola, G., Deufemia, V., Polese, G (2004). A Framework for Modeling and Implementing Visual Notations with Applications to Software Engineering. ACM Transactions on Software Engineering and Methods 13(4) 431-487.
13. Filho, J., Iochpe, C (1999). Specifying Analysis Patterns for Geographic Databases on the Basis of a Conceptual Framework. In Proceedings of ACM GIS, pages 7-13.
14. Friis-Christensen, A., Tryfona, N., Jensen, C. S (2001). Requirements and Research Issues in Geographic Data Modeling. In: Proceedings of the 9th ACM international symposium on Advances in geographic information systems, pages 2-8.
15. Goldin, D., Q. (2004). Taking Constraints out of Constraint Databases. In: Constraint Databases and Applications, 161-172.
16. Kong, J., Zhang, K (2003). Graph-based Consistency Checking in Spatial Information Systems. In: Proc. of IEEE Symposium on Visual Languages and Formal Methods, pages 28-31, IEEE Press.
17. Kong, J., Zhang, K (2004). On a Spatial Graph Grammar Formalism. In: Proc. of the Visual Languages and Human Centric Computing, pages 102-104, IEEE CS Press.
18. Liu, X (2000). Consistency Checking for Euclidean Spatial Constraints: A Dimension Graph Approach. In: Proc. of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), page 333, IEEE CS Press.
19. Marriott, K., Meyer, B (1998). Visual Language Theory. Springer-Verlag.
20. Medeiros, C. B., Cilia, M (1995). Maintenance of Binary Topological Constraints through Active Databases. In: Proc. of 3rd ACM International Workshop on Advances in Geographic Information Systems, pages 127-133, ACM Press.
21. Minas, M (2002). Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation. Science of Computer Programming 44 (2) 157-180.
22. Object Management Group (2007). UML specification version 2.1.2. Technical report.
23. Open Geospatial Consortium (2005). OpenGIS® Implementation Specification for Geographic information - Simple feature access - Part 1: Common architecture.
24. Plumber, L., Groger, G (1997). Achieving Integrity in Geographic Information Systems: Maps and Nested Maps. GeoInformatica 1(4) 346-367.
25. Price, R. Tryfona, N., Jensen, C (2000). Extended Spatiotemporal UML: Motivations, Requirements, and Constructs. Journal of Database Management 11(4) 14-27.
26. Rigaux, P., Scholl, M., Segoufin, L., Grumbach, S (2003). Building a Constraint-Based Spatial Database System: Model, Languages, and Implementation. Information Systems 28(6) 563-595.
27. Rumbaugh, J., Jacobson, I., Booch, G (1999). The Unified Modeling Language Reference Manual. Addison-Wesley.
28. Servigne, S., Ubeda, T., Puricelli, A., Laurini, R (2000). A Methodology for Spatial Consistency Improvement of Geographic Databases. GeoInformatica 4(1) 7-34.
29. Steinhauer, J. H., Wiese, T., Freksa, C., Barkowsky, T (2001). Recognition of Abstract Regions in Cartographic Maps. Spatial Information Theory - Foundations of Geographic Information Science, pages 306-321, Springer-Verlag.
30. Worboys, M. F (1994). A Unified Model for Spatial and Temporal Information. The Computer Journal 37 (1) 26-34.