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

关键词：epcis发现服务 模拟关系 

单位：北京大学信息科学技术学院; 北京100871; 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室; 北京100871; 北京大学软件工程国家工程研究中心; 北京100871