Title :
Formal Specification of Hierarchical Region RFID Code Resolution Service
Author :
Zhao, Wen ; Liu, Xueyang ; Ma, Sen ; Yuan, ChongYi ; Wang, Lifu
Author_Institution :
China Key Lab. of High Confidence Software Technol., Peking Univ., Beijing, China
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.
Keywords :
formal specification; hierarchical systems; radiofrequency identification; telecommunication computing; RFID code resolution service; RFID information service; TIOA; automatic identification; formal specification; hierarchical system; Automata; Formal specifications; Information services; Organizations; Peer to peer computing; Radiofrequency identification; Registers;
Conference_Titel :
Intelligent Systems and Applications (ISA), 2011 3rd International Workshop on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-9855-0
Electronic_ISBN :
978-1-4244-9857-4
DOI :
10.1109/ISA.2011.5873294
