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

发布时间：2018-05-09 19:24

本文选题：逻辑式编程语言 + 操作语义　；参考：《软件学报》2014年02期

【摘要】：无线传感网的发展,使其需要具有高效地更新其上运行的应用软件的能力.为了解决这个问题,提出了一种面向无线传感网应用重编程的逻辑式编程语言及其处理系统ReLog.ReLog语言根据无线传感网应用的普遍特点,基于传统逻辑式语言进行扩展,并提供合适的编程抽象,方便程序员高效地构建、修改程序.同时,语言的处理系统使用中间代码将应用程序与系统软件解耦,从而减少应用更新时所需传输的更新代码的规模,提高更新效率.通过一个数据收集应用案例评估了ReLog语言及其执行机制,结果表明:使用ReLog语言能够获得简洁、易修改的程序;同时,语言的执行机制能够显著降低传输应用更新代码的能量和时间开销.
[Abstract]:With the development of wireless sensor network, it needs the ability to update the application software efficiently. In order to solve this problem, a logic programming language and its processing system, ReLog.ReLog, which is oriented to the reprogramming of wireless sensor network applications, is proposed. According to the general characteristics of wireless sensor network applications, the logic programming language is extended based on the traditional logic language. And provides the appropriate programming abstract, convenient programmer to build, modify program efficiently. At the same time, the language processing system uses intermediate code to decouple the application program from the system software, thus reducing the size of the update code needed to be transmitted when the application updates, and improving the update efficiency. The ReLog language and its execution mechanism are evaluated by a data collection application case. The results show that simple and easily modified programs can be obtained by using the ReLog language. The execution mechanism of the language can significantly reduce the energy and time cost of the transmission application update code.
【作者单位】：计算机软件新技术国家重点实验室(南京大学);
【基金】：国家自然科学基金(61073031,61021062) 国家高技术研究发展计划(863)(2012AA011205)
【分类号】：TP212.9;TN929.5;TP311.1

【共引文献】