RFID网络中发现服务系统的一种形式化规约

A formal Specification of EPCIS Discovery in the RFID Network

本文针对EPCIS发现服务在大规模应用和数据安全方面的需求,基于"集中式索引"模式给出了EPCIS发现服务系统的一种体系结构.首先,使用TIOA语言从高层对整个系统基本功能进行了规约.然后,为了使系统在实际应用中负载均衡、具有高性能和可扩展性,又给出了一种基于Pub/Sub的多服务器分布式系统体系结构,并对该分布式系统的各个组成分别进行了规约.最后,本文基于"模拟关系"验证了该分布式系统满足(实现)了高层系统规约.

Given requirements upon large-scale applications and data security,a kind of architecture of EPCIS Discovery system is proposed based on the ＂centralized indexing＂ mode.This paper first provides a high-level specification for the system s basic functionality and requirements using the TIOA language.Further,this paper proposes a Pub/Sub based,distributed multi-server architecture for the system to make it load balancing,highly available,and scalable in practical applications,and then formally specities every component in the distributed system respectively. Finally, this paper makes use of a simulation relation to show that the distributed system satisfies/implements the high-level specification.