A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags
Toru Kato, Masahiro Higuchi · 2012
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.