Formal Specification of Hierarchical Region RFID Code Resolution Service

RFID technology and its applications have become a hot spot in automatic identification field in recent years.As a core service provided for RFID applications,RFID code resolution service is responsible for mapping RFID code to one or more URIs corresponding to RFID information services.According to administrative mode and performance concern,based on EPCglobal ONS,an architecture of hierarchical region RFID code resolution service system is given. Firstly,RFID code resolution service system is formally specified from high level with TIOA.Then,components of proposed hierarchical system are also formally specified. At last,simulation relation is used to verify that the proposed hierarchical system satisfies/implements high level specification.