120 likes | 219 Views
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
E N D
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 • „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
Outline • Methodology • Determination of Tools • Modeling of Operations • Demonstrator Creation • Next Steps • Research Impact Barbara Hofer
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
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
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
Determination of Tools (2) Navigation Process: Landmark recognition Map orientation Direction Position determination Route selection Distance, Profile Translation Barbara Hofer
Demonstrator Creation modeling specification demonstrator • Modeling: • Based on map operations • Specification: • formal specification technique • Demonstrator: • Implementation of specification • Qualitative, quantitative methods Barbara Hofer
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
Formal Specification (2) • Algebraic Specification: • Tool for software engineering • Independent from implementation • Components: • Types • Operations • Axioms Haskell Barbara Hofer
Next Steps • Refinement of the map use operations • Low level, high level tasks • Specification with Haskell • Implementation • Selection of programming language Barbara Hofer
Research Impact • Specification: • Independent of technology • Basis for implementation(s) • Software engineering applied: • Motivation • Guidelines for future extensions Barbara Hofer