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

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