The following information was submitted:
Transactions: INTERNATIONAL JOURNAL of MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES
Transactions ID Number: 19-103
Full Name: Toru Kato
Position: Lecturer
Age: ON
Sex: Male
Address: 3-4-1 Kowakae Higasiosaka Osaka Japan
Country: JAPAN
Tel:
Tel prefix:
Fax:
E-mail address: kato@info.kindai.ac.jp
Other E-mails:
Title of the Paper: A handling management system for freight with the ambient calculus
Authors as they appear in the Paper: Toru Kato, Masahiro Higuchi
Email addresses of all the authors: kato@info.kindai.ac.jp, higuchi@info.kindai.ac.jp
Number of paper pages: 8
Abstract: This paper proposes a freight management system that ensures the correctness of container handling during shipping. The system determines the correctness by comparing container handling, which is sensed by IC 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 a simple experiment using it are presented.
Keywords: Ambient Calculus, Formal Model, Freight System, Logistics, RFID
EXTENSION of the file: .pdf
Special (Invited) Session: A Freight Management System with the Ambient Calculus
Organizer of the Session: 614-310
How Did you learn about congress:
IP ADDRESS: 163.51.49.11
