“Towards a Trusted Compiler for a Query Language for Wireless Sensor Networks.”

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.