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

S.N.I. Mount; R.M. Newman; S.R. Lakin; R.J. Low; E.I. Gaura

doi:10.1109/EUROMICRO.2005.15

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

S.N.I. Mount, R.M. Newman, S.R. Lakin, R.J. Low, E.I. Gaura

College of Engineering, Environment & Science

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

2 Citations (Scopus)

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. © 2005 IEEE.

Original language	English
Title of host publication	31st EUROMICRO Conference on Software Engineering and Advanced Applications, 2005
Publisher	IEEE
Pages	404-411
Number of pages	8
ISBN (Print)	0-7695-2431-1
DOIs	https://doi.org/10.1109/EUROMICRO.2005.15
Publication status	Published - 24 Oct 2005
Event	EUROMICRO Conference on Software Engineering and Advanced Applications, 2005 - Porto, Portugal Duration: 30 Aug 2005 → 3 Sept 2005 Conference number: 31

Conference

Conference	EUROMICRO Conference on Software Engineering and Advanced Applications, 2005
Country/Territory	Portugal
City	Porto
Period	30/08/05 → 3/09/05

Keywords

Formal logic
Information analysis
Information dissemination
Intelligent agents
Sensors
Wireless telecommunication systems, Ad-hoc wireless sensor networks
Agent communication languages
Network communication, Query languages

Access to Document

10.1109/EUROMICRO.2005.15

https://www.scopus.com/inward/record.uri?eid=2-s2.0-33747393264&doi=10.1109%2fEUROMICRO.2005.15&partnerID=40&md5=ff45c61dd6e55d294cbc3bc950c37afa

Cite this

Mount, SNI, Newman, RM, Lakin, SR, Low, RJ & Gaura, EI 2005, ASQue: An agent communication language for ad-hoc wireless sensor networks. in 31st EUROMICRO Conference on Software Engineering and Advanced Applications, 2005. IEEE, pp. 404-411, EUROMICRO Conference on Software Engineering and Advanced Applications, 2005, Porto, Portugal, 30/08/05. https://doi.org/10.1109/EUROMICRO.2005.15

@inproceedings{9569be4bebe7466a9db97936b2ddef20,

title = "ASQue: An agent communication language for ad-hoc wireless sensor networks",

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. {\textcopyright} 2005 IEEE.",

keywords = "Formal logic, Information analysis, Information dissemination, Intelligent agents, Sensors, Wireless telecommunication systems, Ad-hoc wireless sensor networks, Agent communication languages, Network communication, Query languages",

author = "S.N.I. Mount and R.M. Newman and S.R. Lakin and R.J. Low and E.I. Gaura",

year = "2005",

month = oct,

day = "24",

doi = "10.1109/EUROMICRO.2005.15",

language = "English",

isbn = "0-7695-2431-1",

pages = "404--411",

booktitle = "31st EUROMICRO Conference on Software Engineering and Advanced Applications, 2005",

publisher = "IEEE",

address = "United States",

note = "EUROMICRO Conference on Software Engineering and Advanced Applications, 2005 ; Conference date: 30-08-2005 Through 03-09-2005",

}

TY - GEN

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

AU - Mount, S.N.I.

AU - Newman, R.M.

AU - Lakin, S.R.

AU - Low, R.J.

AU - Gaura, E.I.

N1 - Conference code: 31

PY - 2005/10/24

Y1 - 2005/10/24

N2 - 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. © 2005 IEEE.

AB - 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. © 2005 IEEE.

KW - Formal logic

KW - Information analysis

KW - Information dissemination

KW - Intelligent agents

KW - Sensors

KW - Wireless telecommunication systems, Ad-hoc wireless sensor networks

KW - Agent communication languages

KW - Network communication, Query languages

U2 - 10.1109/EUROMICRO.2005.15

DO - 10.1109/EUROMICRO.2005.15

M3 - Conference proceeding

SN - 0-7695-2431-1

SP - 404

EP - 411

BT - 31st EUROMICRO Conference on Software Engineering and Advanced Applications, 2005

PB - IEEE

T2 - EUROMICRO Conference on Software Engineering and Advanced Applications, 2005

Y2 - 30 August 2005 through 3 September 2005

ER -

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

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this