Location is a core concept in most pervasive systems-and one that's surprisingly hard to deal with flexibly. Using a location model supporting a range of expressive representations for spaces, spatial relationships, and positioning systems, the authors constructed LOC8, a programming framework for exploring location data's multifaceted representations and uses. With LOC8, developers can construct complex queries by combining basic queries and additional contextual information.
Stevenson, G., Ye, J., Dobson, S., & Nixon, P. (2010). LOC8: A Location Model and Extensible Framework for Programming with Location. IEEE Pervasive Computing, 9(1), 28-37. https://doi.org/10.1109/MPRV.2009.90