A formal Specification of EPCIS Discovery in the RFID Network

Xinpeng Li,ZHAO Wen,Shikun Zhang,Lifu Wang
DOI: https://doi.org/10.3321/j.issn:0372-2112.2008.z1.002
2008-01-01
Abstract: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 specifies 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.
What problem does this paper attempt to address?