1 / 12

A Set of Tools for Map Use in a Digital Environment

A Set of Tools for Map Use in a Digital Environment. Barbara Hofer Institute for Geoinformation hofer@geoinfo.tuwien.ac.at. Research Question. Motivation: GEORAMA project

holly-adams
Download Presentation

A Set of Tools for Map Use in a Digital Environment

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. A Set of Tools for Map Use in a Digital Environment Barbara Hofer Institute for Geoinformation hofer@geoinfo.tuwien.ac.at

  2. Research Question • Motivation: GEORAMA project • „A set of tools for map use exists, which covers the main operations people want to perform with maps and provides an implicit user support.“ • How to determine and specify the set of tools? Barbara Hofer

  3. Outline • Methodology • Determination of Tools • Modeling of Operations • Demonstrator Creation • Next Steps • Research Impact Barbara Hofer

  4. Methodology • Determination of the set of tools: • Analysis of operations performed with analogue maps • Basic set of operations defined • Demonstrator creation: • Formal specification • Specified tools  Implementation Barbara Hofer

  5. Determination of Tools • Map operations performed with analogue maps (Campbell, 1993): • Measurements from maps • Distance measurement, area determination • Navigation and Route selection • Terrain interpretation • Height interpolation, profiling, slope determination Barbara Hofer

  6. Modeling of Operations Distance Measurement: Short distance mark starting and ending point Map scale Error sources: 1)measurement error 2) smoothing 3) slope calculation of distance result Map accuracy Barbara Hofer

  7. Determination of Tools (2) Navigation Process: Landmark recognition Map orientation Direction Position determination Route selection Distance, Profile Translation Barbara Hofer

  8. Demonstrator Creation modeling specification demonstrator • Modeling: • Based on map operations • Specification: • formal specification technique • Demonstrator: • Implementation of specification • Qualitative, quantitative methods Barbara Hofer

  9. Formal Specification • “Formal specification is the expression, in some formal language and at some level of abstraction, of a collection of properties some system should satisfy“ (van Lamsweerde, 2000). • Here: • System: model of map use tools • Abstraction level: specification of tools • Properties: functional requirements • Formal language: algebraic specification Barbara Hofer

  10. Formal Specification (2) • Algebraic Specification: • Tool for software engineering • Independent from implementation • Components: • Types • Operations • Axioms  Haskell Barbara Hofer

  11. Next Steps • Refinement of the map use operations • Low level, high level tasks • Specification with Haskell • Implementation • Selection of programming language Barbara Hofer

  12. Research Impact • Specification: • Independent of technology • Basis for implementation(s) • Software engineering applied: • Motivation • Guidelines for future extensions Barbara Hofer

More Related