| 一种新的Savant中间件信息过滤方法 |
| |
| 引用本文： | 李春菊,谢圣献,贾仰理,张振领.一种新的Savant中间件信息过滤方法[J].聊城大学学报(自然科学版),2012,25(2):74-78. |
| |
| 作者姓名： | 李春菊 谢圣献 贾仰理 张振领 |
| |
| 作者单位： | 聊城大学计算机学院,山东聊城,252059 |
| |
| 基金项目： | 山东省自然科学基金项目，山东省软科学项目，聊城大学自然科学类重点项目 |
| |
| 摘 要： | 物联网中存在大量的EPC信息,这些信息被阅读器采集后经过Savant中间件的处理后送至上层应用程序,因此如何提高Savant的处理效率成为了研究者关注的重心.本文简述了Savant中间件的体系结构和工作原理,分析了Savant系统处理EPC信息的过程,在对处理过程进行形式化建模与分析的基础上,提出了一种新的Savant过滤海量EPC信息的方法,并分析了这种处理方法的优势.最后用LTSA工具验证了该方法的安全性和有效性.
|
| 关 键 词： | 物联网 Savant中间件 EPC FSP LTSA |
A New Method of Handle Information in Savant Middleware |
| |
| LI Chun-ju,XIE Sheng-xian,JIA Yang-li,ZHANG Zhen-ling.A New Method of Handle Information in Savant Middleware[J].Journal of Liaocheng University:Natural Science Edition,2012,25(2):74-78. |
| |
| Authors: | LI Chun-ju XIE Sheng-xian JIA Yang-li ZHANG Zhen-ling |
| |
| Institution: | (School of Computer Science,Liaocheng University,Liaocheng 252059,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | the internet of thing Savant middleware EPC FSP LTSA |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
