ASQue: an agent communication language for ad-hoc wireless sensor networks
Sarah Mount, Robert Newman, Stephen R. Lakin, Robert J. Low, Elena I. Gaura · 2005
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.