A Formal Framework for Cooperative Logistics Management

  • Ichiro Satoh
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 100)


This paper presents a process calculus for specifying and reasoning about earth-friendly logistics management systems. It is necessary to reduce fossil fuel consumption and carbon dioxide emissions resulting from transport on account of environmental protection. Cooperative logistics enables multiple shippers to share trucks. It has been one of the most effective and popular solutions to this problem, but it makes it be complicated to implement in a logistics management system. We propose a language for specifying the routes of trucks and an order relation between the requirements of routes and the possible routes of trucks. The former is formulated as process calculus and the latter selects suitable trucks according to their routes. Our language and selection mechanism were implemented on a PaaS-based cloud computing infrastructure.


Mobile Agent Formal Framework Logistics Management Route Selection International Energy Agency 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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., Zavattaro, G.: SCC: A Service Centered Calculus. In: Bravetti, M., Núñez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38–57. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Chang, F., Dean, J., Ghemawat, S., Hsieh, W.C., Wallach, D.A., Burrows, M., Chandra, T., Fikes, A., Gruber, R.: Bigtable: A Distributed Storage System for Structured Data. In: Proceedings of 7th Symposium on Operating Systems Design and Implementation (OSDI 2006), pp. 205–218. USENIX Association (2006)Google Scholar
  3. 3.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)Google Scholar
  4. 4.
    International Energy Agency, Transport Energy and CO2 (Moving Toward Sustainability, IEA (2009)Google Scholar
  5. 5.
    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
  6. 6.
    Milner, R.: Communication and Concurrency. Prentice Hall (1989)Google 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 π-Calculus for Formalizing Workflow Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 153–168. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    Satoh, I.: Building and Selecting Mobile Agents for Network Management. Journal of Network and Systems Management 14(1), 147–169 (2006)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Satoh, I.: A Specification Framework for Earth-Friendly Logistics. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol. 5048, pp. 251–266. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  11. 11.
    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
  12. 12.
    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

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Ichiro Satoh
    • 1
  1. 1.National Institute of InformaticsChiyoda-kuJapan

Personalised recommendations