| | |
Summary: Specification and Verification of Complex
Location Events with Panoramic
Evan Welbourne, Magdalena Balazinska, Gaetano Borriello, and James Fogarty
Computer Science & Engineering
University of Washington
Seattle, WA 98195 USA
{evan, magda, gaetano, jfogarty}@cs.washington.edu
Abstract. We present the design and evaluation of Panoramic, a tool
that enables end-users to specify and verify an important family of com-
plex location events. Our approach aims to reduce or eliminate criti-
cal barriers to deployment of emerging location-aware business activity
monitoring applications in domains like hospitals and office buildings.
Panoramic does not require users to write code, understand complex
models, perform elaborate demonstrations, generate test location traces,
or blindly trust deterministic events. Instead, it allows end-users to spec-
ify and edit complex events with a visual language that embodies natural
concepts of space and time. It also takes a novel approach to verifica-
tion, in which events are extracted from historical sensor data traces
and then presented with intelligible, hierarchical visualizations that rep-
resent uncertainty with probabilities. We build on our existing software
|
