A Freight Management System with the Ambient Calculus

Kato T., Higuchi M.

8th WSEAS International Conference on Telecommunications and Informatics, İstanbul, Turkey, 30 May - 01 June 2009, pp.106-107 identifier

  • Publication Type: Conference Paper / Full Text
  • City: İstanbul
  • Country: Turkey
  • Page Numbers: pp.106-107
  • Istanbul Technical University Affiliated: No


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 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.