ASQue: an agent communication language for ad-hoc wireless sensor networks

In this paper we introduce ASQue (agent sensor queries), a query language for ad-hoc sensor networks. ASQue is formally defined (in B) and is based on a restricted form of first order logic. We present a scenario where ASQue might be used, and illustrate the network communication needed to extract a required piece of information from the network.