8th WSEAS International Conference on Telecommunications and Informatics, İstanbul, Turkey, 30 May - 01 June 2009, pp.106-107
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.