一种面向无线传感网应用重编程的逻辑式编程语言

无线传感网的发展，使其需要具有高效地更新其上运行的应用软件的能力.为了解决这个问题，提出了一种面向无线传感网应用重编程的逻辑式编程语言及其处理系统ReLog.ReLog语言根据无线传感网应用的普遍特点，基于传统逻辑式语言进行扩展，并提供合适的编程抽象，方便程序员高效地构建、修改程序.同时，语言的处理系统使用中间代码将应用程序与系统软件解耦，从而减少应用更新时所需传输的更新代码的规模，提高更新效率.通过一个数据收集应用案例评估了ReLog语言及其执行机制，结果表明：使用ReLog语言能够获得简洁、易修改的程序；同时，语言的执行机制能够显著降低传输应用更新代码的能量和时间开销.

Reprogramming-Oriented Logical Programming Language for Wireless Sensor Network Applications

The development of wireless sensor networks requires the ability of efficiently updating application software running on sensors. To address this problem, this paper proposes ReLog, a reprogramming-oriented logical programming language for wireless sensor network applications and its processing system. Based on common characteristics of wireless sensor network applications, the ReLog language extends a traditional logical programming language and provides suitable programming abstractions with which programmers can write and modify programs efficiently. Meanwhile, the language processing system leverages on intermediate code to decouple application programs from system software so as to reduce the size of updating code to improve the updating efficiency. This paper demonstrates ReLog through a case of data collection application. Results show that ReLog can achieve compact and ease-to-modified source code. In addition, the executing mechanism of ReLog can significantly reduce the cost of energy and time when transmitting updating code of applications.