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

fYear

2012

fDate

26-28 Sept. 2012

Firstpage

364

Lastpage

371

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Network-Based Information Systems (NBiS), 2012 15th International Conference on

Conference_Location

Melbourne, VIC

Print_ISBN

978-1-4673-2331-4

Type

conf

DOI

10.1109/NBiS.2012.54

Filename

6354850