%0 Journal Article
%T RFID网络中发现服务系统的一种形式化规约
%A 李信鹏
%A 赵文
%A 张世琨
%A 王立福
%J 电子学报
%P 9-18
%D 2008
%X 本文针对EPCIS发现服务在大规模应用和数据安全方面的需求,基于"集中式索引"模式给出了EPCIS发现服务系统的一种体系结构.首先,使用TIOA语言从高层对整个系统基本功能进行了规约.然后,为了使系统在实际应用中负载均衡、具有高性能和可扩展性,又给出了一种基于Pub/Sub的多服务器分布式系统体系结构,并对该分布式系统的各个组成分别进行了规约.最后,本文基于"模拟关系"验证了该分布式系统满足(实现)了高层系统规约.
%K 无线射频识别(RFID)
%K EPCIS发现服务
%K 模拟关系
%U http://www.ejournal.org.cn/CN/abstract/abstract7163.shtml