This paper describes the use of a formal approach to logistics management systems to reduce the environmental impact of logistics operations. Trucks play an essential role as carriers in modern logistics services, but collectively they emit a huge quantity of carbon dioxide. To reduce fossil fuel consumption and carbon dioxide emissions resulting from transport, we must enhance the transport efficiency of trucks. The milk-run approach is one of the most effective and popular solutions to this problem. However, it tends to be too complicated to implement in a logistics management system. The framework described in this paper provides a language for specifying the routes of trucks and an order relation as a route selection mechanism. The former is formulated as process calculus and the latter selects suitable trucks according to their routes. This paper also describes a prototype implementation of the framework as a distributed logistics management system based on the use of RFID tags.


Mobile Agent Prototype Implementation Route Selection Logistics Operation Process Calculus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V.T., Zavattaro, G.: SCC: a Service Centered Calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38–57. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  3. 3.
    Fournet, C., Gonthier, G., Levy, J., Marnaget, L., Remy, D.: A Calculus of Mobile Agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 406–421. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  4. 4.
    Mazzara, M., Lucchi, R.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming 70(1), 96–118 (2006)MathSciNetzbMATHGoogle Scholar
  5. 5.
    McCann, P.J., Roman, G.-C.: Compositional Programming Abstractions for Mobile Computing. IEEE Transaction on Software Engineering 24(2) (1998)Google Scholar
  6. 6.
    Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)zbMATHGoogle Scholar
  7. 7.
    Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (2006); A preliminary version of this paper appeared in the Lecture Notes for NATO summer school (August 2004)Google Scholar
  8. 8.
    Puhlmann, F., Weske, M.: Using the Pi-Calculus for Formalizing Workflow Patterns. In: Proceedings of the International Conference on Business Process Management, pp. 153–168 (2005)Google Scholar
  9. 9.
    Satoh, I.: A Testing Framework for Mobile Computing Software. IEEE Transactions on Software Engineering 29(12), 1112–1121 (2003)CrossRefGoogle Scholar
  10. 10.
    Satoh, I.: A Location Model for Pervasive Computing Environments. In: Proceedings of IEEE 3rd International Conference on Pervasive Computing and Communications (PerCom 2005), pp. 215–224. IEEE Computer Society, Los Alamitos (2005)Google Scholar
  11. 11.
    Satoh, I.: Building and Selecting Mobile Agents for Network Management. Journal of Network and Systems Management 14(1), 147–169 (2006)CrossRefGoogle Scholar
  12. 12.
    Smith, H.: Business Process Management-The Third Wave: Business Process Modeling Language (BPML) and Its Pi-Calculus Foundations. Information and Software Technology 45(15), 1065–1069 (2003)CrossRefGoogle Scholar
  13. 13.
    Xu, K., Liu, Y., Zhu, J., Wu, C.: Pi-Calculus Based Bi-transformation of State-Driven Model and Flow-Driven Model. International Journal of Business Process Integration and Management (2006)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2008

Authors and Affiliations

  • Ichiro Satoh
    • 1
  1. 1.National Institute of InformaticsTokyoJapan

Personalised recommendations