OpenStreetMap (OSM) is a crowd source geographical database that gives users a wide range of tools for searching and locating points of interest and to support the user in navigation on a map. This paper proposes to define a query language for OSM specifying user requests about the route to select between a source and a destination. To this purpose we use Uppaal (http://www.uppaal.org/) model checker: the user poses her query specifying desired points of interest via temporal logic. the method model checks the negation of the desired property, whose counterexample will retrieve the desired path.
Model checking based query and retrieval in OpenStreetMap / DI NOIA, Tommaso; Mongiello, Marina; DI SCIASCIO, Eugenio. - 9384:(2015), pp. 208-213. (Intervento presentato al convegno 22nd International Symposium on Methodologies for Intelligent Systems, ISMIS 2015 tenutosi a Lyon; France nel October 21-23, 2015) [10.1007/978-3-319-25252-0_22].
Model checking based query and retrieval in OpenStreetMap
DI NOIA, Tommaso;MONGIELLO, Marina;DI SCIASCIO, Eugenio
2015-01-01
Abstract
OpenStreetMap (OSM) is a crowd source geographical database that gives users a wide range of tools for searching and locating points of interest and to support the user in navigation on a map. This paper proposes to define a query language for OSM specifying user requests about the route to select between a source and a destination. To this purpose we use Uppaal (http://www.uppaal.org/) model checker: the user poses her query specifying desired points of interest via temporal logic. the method model checks the negation of the desired property, whose counterexample will retrieve the desired path.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
