DocumentCode
2181357
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
fYear
2005
fDate
30 Aug.-3 Sept. 2005
Firstpage
404
Lastpage
411
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Advanced Applications, 2005. 31st EUROMICRO Conference on
Print_ISBN
0-7695-2431-1
Type
conf
DOI
10.1109/EUROMICRO.2005.15
Filename
1517767
Link To Document