Logic Macroprogramming for Wireless Sensor Networks

Abstract

It is notoriously difficult and tedious to program wireless sensor networks (WSNs). To simplify WSN programming, we propose Sense2P, a logic macroprogramming system for abstracting, programming, and using WSNs as globally deductive databases. Unlike macroprograms in previous works, our logic macroprograms can be described declaratively and imperatively. In Sense2P, logic macroprogrammers can easily express a recursive program or query that is unsupported in existing database abstractions for WSNs. We have evaluated Sense2P analytically and experimentally. Our evaluation result indicates that Sense2P successfully realizes the logic macroprogramming concept while consuming minimal energy as well as maintaining completeness and soundness of the answers.

A safe-by-design programming language for wireless sensor networks

“…The system then analyses the queries and decomposes them into a sequence of network operations optimized to minimize resource consumption. Another approach is used in Sense2P [35], a logic macroprogramming system for abstracting and programming WSNs as globally deductive databases, with simplicity and performance advantages over using SQL-type queries over data generated from a WSN. Still other projects focus on the interface between the Internet and the sensor networks viewed as Web resources.…”

High-level abstractions in wireless sensor networks: Status, taxonomy, challenges, and future directions

“…One type of macroprogramming is node-dependent abstraction where the programmers define the global behavior of the entire system as a set of nodes that can be treated simultaneously in one program [4].…”

“…Two broad classes of WSNs programming models have been explored lately; local behavior and global behavior abstraction [4]. In local behavior abstractions, the application has to be programmed in details at the node-level and the programmers need to synchronize the program flow between the sensing nodes and maintain the routing code manually.…”

Hybrid Macroprogramming Wireless Networks of Embedded Systems with Declarative Naming

“…WNES macroprogramming has been explored earlier by several research efforts, including TinyDB [1], COUGAR [2,3], Semantic-Streams [17], and Sense2P [4,5,18]. The above node-independent abstractions propose programming WNES as a database.…”

“…In node-independent subclasses, WNES is declaratively programmed as a whole or a unit (e.g., a database). Examples of node-independent abstractions are TinyDB [1], Cougar [2,3], and Sense2P [4,5]. By abstracting a WNES as a database, WNES programming is reduced to database querying.…”