Title :
A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags
Author :
Kato, Toru ; Higuchi, Masahiro
Author_Institution :
Dept. of Inf., Kinki Univ., Higashi-Osaka, Japan
Abstract :
This paper proposes a freight management system that confirms the correctness of container handling during shipping. The system determines the correctness by comparing container handling, which is sensed by UHF RFID tags, with formal models (formulae) written in the ambient calculus. The ambient calculus is a formal description language that is suitable for expressing freight systems with nested structures that dynamically change. The management system generates formulae automatically from several documents used in real freight systems. An implementation of the system and the results of several experiments using it are presented.
Keywords :
formal languages; freight containers; freight handling; radiofrequency identification; UHF RFID tags; ambient calculus; container handling; container shipping; formal description language; formal models; freight handling management system; real freight systems; Calculus; Containers; Loading; Marine vehicles; RFID tags; Ambient Calculus; Formal Model; Freight System; Logistics; RFID;
Conference_Titel :
Network-Based Information Systems (NBiS), 2012 15th International Conference on
Conference_Location :
Melbourne, VIC
Print_ISBN :
978-1-4673-2331-4
DOI :
10.1109/NBiS.2012.54
