A Freight Management System with the Ambient Calculus


Kato T., Higuchi M.

8th WSEAS International Conference on Telecommunications and Informatics, İstanbul, Türkiye, 30 Mayıs - 01 Haziran 2009, ss.106-107 identifier

  • Basıldığı Şehir: İstanbul
  • Basıldığı Ülke: Türkiye
  • Sayfa Sayıları: ss.106-107

Özet

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.