一种新的Savant中间件信息过滤方法

摘要

物联网中存在大量的EPC信息，这些信息被阅读器采集后经过Savant中间件的处理后送至上层应用程序，因此如何提高Savant的处理效率成为了研究者关注的重心．本文简述了Savant中间件的体系结构和工作原理，分析了Savant系统处理EPC信息的过程，在对处理过程进行形式化建模与分析的基础上，提出了一种新的Savant过滤海量EPC信息的方法，并分析了这种处理方法的优势．最后用LTSA工具验证了该方法的安全性和有效性．%There are a lot of EPC information in EPC Network, these information are sent to the upper progress after handled by Savant middleware. So how to improve the efficency is becoming the concern of researchers. This paper expatiated the architecture and the working principle of the Savant middleware and analyzed the process of Savant deal with the EPC information , Based on the formal model and analysis , a new method of Savant handle EPC based on FSP was presented. The superiority, safety and validity of the method was checked by LTSA tool.