WiSPY: A tool for visual specification and verification of spatial integrity constraints

Proceedings - DMS 2015: 21st International Conference on Distributed Multimedia Systems

Volumn , Issue , 2015, Pages 39-48

  Del Fatto, Vincenzo ^a   Deufemia, Vincenzo ^b   Paolino, Luca ^c   Tumiati, Sara ^d  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF SALERNO   (Italy)

^c LINK CAMPUS UNIVERSITY   (Italy)

^d South Tyrolean Municipality Consortium   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE;

COMPLEX CONSTRAINTS; CURRENT REGULATIONS; DATA-DEFINITION LANGUAGES; INTEGRITY CONSTRAINTS; INTEGRITY VERIFICATIONS; SPATIAL INTEGRITY CONSTRAINTS; VISUAL ENVIRONMENTS; VISUAL SPECIFICATION;

MULTIMEDIA SYSTEMS;

EID: 84969888707     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.18293/VLSS2015-018     Document Type: Conference Paper

References (23)

1. J. M. Almendros-Jiménez. Constraint logic programming over sets of spatial objects. In Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming, WCFLP'05, pages 32-42, New York, NY, USA, 2005. ACM.
2. J. M. Almendros-Jiménez and A. Corral. Solving constraints on sets of spatial objects. In M. V. Hermenegildo and D. Cabeza, editors, Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, volume 3350 of Lecture Notes in Computer Science, pages 158-173. Springer, 2005.
3. A. Belussi, E. Bertino, and B. Catania. Manipulating spatial data in constraint databases. In M. Scholl and A. Voisard, editors, Advances in Spatial Databases, 5th International Symposium, SSD'97, Berlin, Germany, July 15-18, 1997, Proceedings, volume 1262 of Lecture Notes in Computer Science, pages 115-141. Springer, 1997.
4. K. A. V. Borges, C. A. Davis, and A. H. F. Laender. OMT-G: an object-oriented data model for geographic applications. GeoInformatica, 5(3):221-260, 2001.
5. K. A. V. Borges, A. H. F. Laender, and C. A. Davis. Spatial data integrity constraints in object oriented geographic data modeling. In C. B. Medeiros, editor, ACM-GIS'99, Proceedings of the 7th International Symposium on Advances in Geographic Information Systems, November 2-6, 1999, Kansas City, USA, pages 1-6. ACM, 1999.
6. G. Costagliola, V. Deufemia, and G. Polese. Visual language implementation through standard compiler-compiler techniques. J. Vis. Lang. Comput., 18(2):165-226, 2007.
7. V. D. Fatto, V. Deufemia, and L. Paolino. Map integrity constraint verification by using visual language parsing. JDIM, 6(4):332-341, 2008.
8. J. L. Filho and C. Iochpe. Specifying analysis patterns for geographic databases on the basis of a conceptual framework. In Proceedings of the 7th ACM International Symposium on Advances in Geographic Information Systems, GIS'99, pages 7-13, New York, NY, USA, 1999. ACM.
9. A. Friis-Christensen, N. Tryfona, and C. S. Jensen. Requirements and research issues in geographic data modeling. In W. G. Aref, editor, ACM-GIS 2001, Proceedings of the Ninth ACM International Symposium on Advances in Geographic Information Systems, Atlanta, GA, USA, November 9-10, 2001, pages 2-8. ACM, 2001.
10. D. Q. Goldin. Taking constraints out of constraint databases. In B. Kuijpers and P. Z. Revesz, editors, Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, June 12-13, 2004, volume 3074 of Lecture Notes in Computer Science, pages 168-179. Springer, 2004.
11. S. Johnson. YACC: Yet Another Compiler Compiler. Bell Laboratories, Murray Hills, NJ, 1978.
12. X. Liu, S. Shekhar, and S. Chawla. Consistency checking for euclidean spatial constraints: a dimension graph approach. In 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, page 333. IEEE Computer Society, 2000.
13. L. E. O. Lizardo and C. A. D. Jr. OMT-G designer: A web tool for modeling geographic databases in OMT-G. In M. Indulska and S. Purao, editors, Advances in Conceptual Modeling - ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings, volume 8823 of Lecture Notes in Computer Science, pages 228-233. Springer, 2014.
14. C. B. Medeiros and M. Cilia. Maintenance of binary topological constraints through active databases. In Proceedings of the 3rd ACM International Workshop on Advances in Geographic Information Systems, Baltimore, Maryland, December 1-2, 1995, in conjunction with CIKM 1995., page 127, 1995.
15. L. Plümer and G. Gröger. Achieving integrity in geographic information systems maps and nested maps. GeoInformatica, 1(4):345-367, 1997.
16. R. Price, N. Tryfona, and C. S. Jensen. Extended spatiotemporal UML: motivations, requirements and constructs. J. Database Manag., 11(4):14-27, 2000.
17. P. Rigaux, M. Scholl, L. Segoufin, and S. Grumbach. Building a constraint-based spatial database system: model, languages, and implementation. Inf. Syst., 28(6):563-595, 2003.
18. J. Rumbaugh, I. Jacobson, and G. Booch. Unified Modeling Language Reference Manual, The (2Nd Edition). Pearson Higher Education, 2004.
19. S. Servigne, T. Ubeda, A. Puricelli, and R. Laurini. A methodology for spatial consistency improvement of geographic databases. GeoInformatica, 4(1):7-34, 2000.
20. J. Steinhauer, T. Wiese, C. Freksa, and T. Barkowsky. Recognition of abstract regions in cartographic maps. volume 2205 of Lecture Notes in Computer Science, pages 306-321. Springer, 2001.
21. K. P. Udagepola, L. Xiang, L. H. Wei, and Y. X. Zong. Efficient management of spatial databases by data consistency and integrity constraints. WSEAS Transactions on Computers, 5(2):447-454, 2006.
22. uDig. User-friendly desktop internet gis. http://udig. refractions.net/, 2004.
23. M. F. Worboys. A unified model for spatial and temporal information. Comput. J., 37(1):36-34, 1994.