A freight management system with the ambient calculus

  • Authors:

  • Toru Kato;Masahiro Higuchi

  • Affiliations:

  • Kinki University, Department of Informatics, Osaka, Japan;Kinki University, Department of Informatics, Osaka, Japan

  • Venue:
  • TELE-INFO'09 Proceedings of the 8th Wseas international conference on Telecommunications and informatics
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

We investigate a management system that ensures the correctness of cargo distribution in freight systems. The system determines the correctness by comparing the movement of containers, which is sensed by IC tags with formal models. These models are written in the ambient calculus and generated automatically based on several documents used in real freight systems. The ambient calculus is a formal description language that is suitable for representing freight systems with nested structures that dynamically change. An implementation of the system and the results of a simple experiment using it are presented.