Skip to main content

Automated Spatial Data Processing and Refining

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2016)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 683))

Included in the following conference series:

Abstract

This paper focuses on the definition of a method for data processing by means of automated professional map generation. For this, initially services have to be identified that represents cartographic rules and recommendations. In order to link those services with respect to their cartographic content and to control the process within a component, a set of rules has to be designed. This is explained by examples and can be used as a template pattern for other services. Individual services and modules within the process will be arranged hierarchically on the basis of the cartographic visualisation pipeline. Its consequent graphical classification is presented. The aim is to prepare the theoretical cartographic basis in a formal way, which should enable technical implementation without cartographic technical expertise.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Hardy, P.: High-quality cartography in a commodity GIS: experiences in development and deployment. In: ICA Symposium on Cartography for Central and Eastern Europe [CD-ROM], 16–17 February. Technische Universität Wien/International Cartographic Association, Wien (2009)

    Google Scholar 

  2. Buckley, A., Frye, C., Buttenfield, B.: An information model for maps: towards cartographic production from GIS databases. In: Proceedings of the 22nd International Cartographic Conference A Coruna (ICC 2005), Mapping Approaches into a Changing World, [CD-ROM], 9–16 July. International Cartographic Association, A Coruna (2005)

    Google Scholar 

  3. Engemaier, R., Asche, H.: CartoService: a web service framework for quality on-demand geovisualisation. In: Murgante, B., Gervasi, O., Iglesias, A., Taniar, D., Apduhan, Bernady, O. (eds.) ICCSA 2011. LNCS, vol. 6782, pp. 329–341. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21928-3_23

    Chapter  Google Scholar 

  4. Asche, H., Stankute, S., Mueller, M., Pietruska, F.: Towards developing an integrated quality map production environment in commercial cartography. In: Murgante, B., Misra, S., Carlini, M., Torre, C.M., Nguyen, H.-Q., Taniar, D., Apduhan, B.O., Gervasi, O. (eds.) ICCSA 2013. LNCS, vol. 7974, pp. 221–237. Springer, Heidelberg (2013). doi:10.1007/978-3-642-39649-6_16

    Chapter  Google Scholar 

  5. Simon, M.: Automatisierte Konstruktion thematischer Karten. Kartentypen, Prozessdefinition und Prozesssteuerung. Unpubl. Master thesis, University of Potsdam, Potsdam, pp. 2–24 (2014)

    Google Scholar 

  6. Haber, R.B., McNabb, D.A.: Visualization idioms: a conceptual model for scientific visualisation systems. In: Shriver, B., Nielsen, G.M., Rosenblum, M. (eds.) Visualization in Scientific Computing, pp. 74–93. IEEE Computer Society Press, Los Alamitos (1990)

    Google Scholar 

  7. Kucharczyk, C.: Konzeption, Entwicklung und Implementierung eines regelbasierten Kartenkonstruktionsassistenten zur fachgerechten Visualisierung statistischer Massendaten. Unpubl. Master thesis, University of Potsdam, Potsdam. pp. 80, 89, 96 (2013)

    Google Scholar 

  8. Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92–108. Springer, Heidelberg (2007). doi:10.1007/978-3-540-70889-6_7

    Chapter  Google Scholar 

  9. Hake, G., Grünreich, D., Meng, L.: Kartographie: Visualisierung raum-zeitlicher Informationen. 8., vollst. neu bearb. u. erw. Aufl. Walter de Gruyter & Co., Berlin (2002)

    Google Scholar 

  10. Schürer, D.: Modellgeneralisierung, p. 30, 10:17 (2002). http://www.geoinformation.net/lernmodule/lm10/download/vgl_le5.pdf. Accessed 30 Sept 2015

  11. Ogrissek, R. (ed.): abc Kartenkunde. 1. Aufl., p. 170. VEB F. A. Brockhaus Verlag, Leipzig (1983)

    Google Scholar 

  12. Uthe, A.-D.: Stichwort “regelbasiertes System”. In: Bollmann, J., Koch, W.G. (eds.) Lexikon der Kartographie und Geomatik. A bis Z. CD-ROM. Spektrum Akademischer Verlag GmbH, Heidelberg, Berlin (2002)

    Google Scholar 

  13. BMVBS Bundesministerium für Verkehr, Bau und Stadtentwicklung; BBR Bundesamt für Bauwesen und Raumordnung (eds.) Automatische Ableitung von stadtstrukturellen Grundlagen und Integration in einem Geographischen Informationssystem, p. 21. Abschlussbericht. Schriftenreihe: Forschungen. Heft 134, Bonn (2008)

    Google Scholar 

  14. Breyer, J. (ed.): Haack Weltatlas. GIS-Unterricht mit Atlas und ArcGIS von ESRI. Buch mit CD-ROM, p. 32. Klett Verlag (2010)

    Google Scholar 

  15. Asche, H., Kucharczyk, C., Simon, M.: Geodata discovery assistant: a software module for rule-based cartographic visualisation and analysis of statistical mass data. In: Gervasi, O., Murgante, B., Misra, S., Gavrilova, M.L., Rocha, A.M.A.C., Torre, C., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2015. LNCS, vol. 9157, pp. 566–575. Springer, Heidelberg (2015). doi:10.1007/978-3-319-21470-2_41

    Chapter  Google Scholar 

Download references

Acknowledgement

The authors gratefully acknowledge the contribution of the following persons: Andrew Whelan (University of Limerick) for checking and correcting the English text of non-native speakers, Mirko Seifert (Universiy of Potsdam) for his help with the illustrations, and Anna-Lena Lamprecht (University of Limerick) for her patience and helpful advice on organising and writing this article. Thank you all.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Marion Simon .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Simon, M., Asche, H. (2016). Automated Spatial Data Processing and Refining. In: Lamprecht, AL. (eds) Leveraging Applications of Formal Methods, Verification, and Validation . ISoLA 2016. Communications in Computer and Information Science, vol 683. Springer, Cham. https://doi.org/10.1007/978-3-319-51641-7_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-51641-7_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-51640-0

  • Online ISBN: 978-3-319-51641-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics