Formal Specification of Hierarchical Region RFID Code Resolution Service

Wen Zhao,Xueyang Liu,Sen Ma,Chongyi Yuan,Lifu Wang
DOI: https://doi.org/10.1109/ISA.2011.5873294
2011-01-01
Abstract: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.
What problem does this paper attempt to address?