Towards a trusted compiler for a query language for wireless sensor networks

T.E. Daniel; S.N.I. Mount; R.M. Newman; E.I. Gaura

doi:10.1109/ISoLA.2006.24

Towards a trusted compiler for a query language for wireless sensor networks

T.E. Daniel, S.N.I. Mount, R.M. Newman, E.I. Gaura

College of Engineering, Environment & Science

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

1 Citation (Scopus)

Abstract

Efficient and reliable information extraction in wireless sensor networks continues to be an area of abundant research. Current investigations follow two general themes: agent-based systems and query-based systems. The ASQue Sensor Query language (ASQue) was put forward by the Cogent Computing Research Centre as an applicative query language specifically designed to address the particular constraints imposed by sensor networks. A parser for the language and its formal specification were seen as an essential first step in being able to issue correct, purposeful queries to the network. A simple specification model that could be incrementally refined through to implementation was considered essential in accomplishing this goal. The purpose of this paper, therefore, is two-fold. First, to report the motivation for the formal specification of the ASQue parser, and second, to describe the construction of the parser from specification to implementation using the B-method. © 2007 IEEE.

Original language	English
Title of host publication	Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006
Publisher	IEEE
Pages	277-282
Number of pages	6
ISBN (Print)	978-0-7695-3071-0
DOIs	https://doi.org/10.1109/ISoLA.2006.24
Publication status	Published - 5 Mar 2008
Event	International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Paphos, Cyprus Duration: 15 Nov 2006 → 19 Nov 2006 Conference number: 2

Conference

Conference	International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Abbreviated title	ISoLA 2006
Country/Territory	Cyprus
City	Paphos
Period	15/11/06 → 19/11/06

Keywords

Agent-based systems
B-method
Computing research
Formal Specification
Information Extraction
Query-based
Specification models
Wireless sensor
Linguistics
Program compilers
Query languages
Sensor networks
Specifications
Formal methods
Wireless sensor networks
Database languages
Data mining
Formal specifications
Computer networks
Sensor systems
Information retrieval
Collaboration
Acoustic sensors
Runtim
Grammars
query languages
telecommunication computing
ASQue parser
information extraction
agent-based systems
query-based systems
ASQue Sensor Query language
Cogent Computing Research Centre
formal specification

Access to Document

10.1109/ISoLA.2006.24

https://www.scopus.com/inward/record.uri?eid=2-s2.0-77956446924&doi=10.1109%2fISoLA.2006.24&partnerID=40&md5=deda0815e43b560f2fd545ca8e4e002a

Cite this

Towards a trusted compiler for a query language for wireless sensor networks. / Daniel, T.E.; Mount, S.N.I.; Newman, R.M. et al.
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. IEEE, 2008. p. 277-282.

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

Daniel, TE, Mount, SNI, Newman, RM & Gaura, EI 2008, Towards a trusted compiler for a query language for wireless sensor networks. in Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. IEEE, pp. 277-282, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus, 15/11/06. https://doi.org/10.1109/ISoLA.2006.24

@inproceedings{d62262308f1f42fdb90dae2cc51ec77f,

title = "Towards a trusted compiler for a query language for wireless sensor networks",

abstract = "Efficient and reliable information extraction in wireless sensor networks continues to be an area of abundant research. Current investigations follow two general themes: agent-based systems and query-based systems. The ASQue Sensor Query language (ASQue) was put forward by the Cogent Computing Research Centre as an applicative query language specifically designed to address the particular constraints imposed by sensor networks. A parser for the language and its formal specification were seen as an essential first step in being able to issue correct, purposeful queries to the network. A simple specification model that could be incrementally refined through to implementation was considered essential in accomplishing this goal. The purpose of this paper, therefore, is two-fold. First, to report the motivation for the formal specification of the ASQue parser, and second, to describe the construction of the parser from specification to implementation using the B-method. {\textcopyright} 2007 IEEE.",

keywords = "Agent-based systems, B-method, Computing research, Formal Specification, Information Extraction, Query-based, Specification models, Wireless sensor, Linguistics, Program compilers, Query languages, Sensor networks, Specifications, Formal methods, Wireless sensor networks, Database languages, Data mining, Formal specifications, Computer networks, Sensor systems, Information retrieval, Collaboration, Acoustic sensors, Runtim, Grammars, query languages, telecommunication computing, ASQue parser, information extraction, agent-based systems, query-based systems, ASQue Sensor Query language, Cogent Computing Research Centre, formal specification",

author = "T.E. Daniel and S.N.I. Mount and R.M. Newman and E.I. Gaura",

year = "2008",

month = mar,

day = "5",

doi = "10.1109/ISoLA.2006.24",

language = "English",

isbn = "978-0-7695-3071-0",

pages = "277--282",

booktitle = "Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006",

publisher = "IEEE",

address = "United States",

note = "International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 ; Conference date: 15-11-2006 Through 19-11-2006",

}

TY - GEN

T1 - Towards a trusted compiler for a query language for wireless sensor networks

AU - Daniel, T.E.

AU - Mount, S.N.I.

AU - Newman, R.M.

AU - Gaura, E.I.

N1 - Conference code: 2

PY - 2008/3/5

Y1 - 2008/3/5

N2 - Efficient and reliable information extraction in wireless sensor networks continues to be an area of abundant research. Current investigations follow two general themes: agent-based systems and query-based systems. The ASQue Sensor Query language (ASQue) was put forward by the Cogent Computing Research Centre as an applicative query language specifically designed to address the particular constraints imposed by sensor networks. A parser for the language and its formal specification were seen as an essential first step in being able to issue correct, purposeful queries to the network. A simple specification model that could be incrementally refined through to implementation was considered essential in accomplishing this goal. The purpose of this paper, therefore, is two-fold. First, to report the motivation for the formal specification of the ASQue parser, and second, to describe the construction of the parser from specification to implementation using the B-method. © 2007 IEEE.

AB - Efficient and reliable information extraction in wireless sensor networks continues to be an area of abundant research. Current investigations follow two general themes: agent-based systems and query-based systems. The ASQue Sensor Query language (ASQue) was put forward by the Cogent Computing Research Centre as an applicative query language specifically designed to address the particular constraints imposed by sensor networks. A parser for the language and its formal specification were seen as an essential first step in being able to issue correct, purposeful queries to the network. A simple specification model that could be incrementally refined through to implementation was considered essential in accomplishing this goal. The purpose of this paper, therefore, is two-fold. First, to report the motivation for the formal specification of the ASQue parser, and second, to describe the construction of the parser from specification to implementation using the B-method. © 2007 IEEE.

KW - Agent-based systems

KW - B-method

KW - Computing research

KW - Formal Specification

KW - Information Extraction

KW - Query-based

KW - Specification models

KW - Wireless sensor

KW - Linguistics

KW - Program compilers

KW - Query languages

KW - Sensor networks

KW - Specifications

KW - Formal methods

KW - Wireless sensor networks

KW - Database languages

KW - Data mining

KW - Formal specifications

KW - Computer networks

KW - Sensor systems

KW - Information retrieval

KW - Collaboration

KW - Acoustic sensors

KW - Runtim

KW - Grammars

KW - query languages

KW - telecommunication computing

KW - ASQue parser

KW - information extraction

KW - agent-based systems

KW - query-based systems

KW - ASQue Sensor Query language

KW - Cogent Computing Research Centre

KW - formal specification

U2 - 10.1109/ISoLA.2006.24

DO - 10.1109/ISoLA.2006.24

M3 - Conference proceeding

SN - 978-0-7695-3071-0

SP - 277

EP - 282

BT - Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006

PB - IEEE

T2 - International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Y2 - 15 November 2006 through 19 November 2006

ER -

Towards a trusted compiler for a query language for wireless sensor networks

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this