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

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

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 languageEnglish
Title of host publicationSecond International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006
PublisherIEEE
Pages277-282
Number of pages6
ISBN (Print)978-0-7695-3071-0
DOIs
Publication statusPublished - 5 Mar 2008
EventInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Paphos, Cyprus
Duration: 15 Nov 200619 Nov 2006
Conference number: 2

Conference

ConferenceInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Abbreviated titleISoLA 2006
CountryCyprus
CityPaphos
Period15/11/0619/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

Fingerprint Dive into the research topics of 'Towards a trusted compiler for a query language for wireless sensor networks'. Together they form a unique fingerprint.

  • Cite this

    Daniel, T. E., Mount, S. N. I., Newman, R. M., & Gaura, E. I. (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 (pp. 277-282). IEEE. https://doi.org/10.1109/ISoLA.2006.24