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

fYear

2011

fDate

28-29 May 2011

Firstpage

1

Lastpage

10

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ISA.2011.5873294

Filename

5873294