Title :
ASQue: an agent communication language for ad-hoc wireless sensor networks
Author :
Mount, S.N.I. ; Newman, R.M. ; Lakin, S.R. ; Low, R.J. ; Gaura, E.I.
Author_Institution :
Cogent Comput. Res. Group, Coventry Univ., UK
fDate :
30 Aug.-3 Sept. 2005
Abstract :
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.
Keywords :
ad hoc networks; formal logic; multi-agent systems; query languages; wireless sensor networks; ASQue; ad-hoc wireless sensor networks; agent communication language; agent sensor query; first order logic; network communication; query language; Application software; Computer architecture; Computer networks; Data mining; Formal specifications; Hardware; Intelligent sensors; Sensor systems and applications; Telecommunication traffic; Wireless sensor networks;
Conference_Titel :
Software Engineering and Advanced Applications, 2005. 31st EUROMICRO Conference on
Print_ISBN :
0-7695-2431-1
DOI :
10.1109/EUROMICRO.2005.15
