IT-enabled Management of Sharing Logistic Trucks

Ichiro Satoh

2015

Abstract

This paper proposes a management system for sharing trucks as cooperative logistics. To reduce fossil fuel consumption and carbon dioxide emissions resulting from transport, we should improve transport efficiency of trucks, which play an essential role as carriers in modern logistics services. 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 whose itineraries can satisfy the requirements of users and are more friendly the environment.

References

  1. Agency, I. E. (2009). Transport energy and co2 (moving toward sustainability). Technical report, International Energy Agency.
  2. L. Cardelli and A. D. Gordon. Mobile Ambients, Proceedings of Foundations of Software Science and Computational Structures. in Springer, 1998.
  3. F. Puhlmann, M. W. (2005). Using the pi-calculus for formalizing workflow patterns. In Proceedings of International Conference on Business Process Management.
  4. K. Xu, Y. Liu, J. Z. C. W. (2006). Pi-calculus based bitransformation of state-driven model and flow-driven model. International Journal of Business Process Integration and Management, 1(4).
  5. M. Boreale, R. Bruni, L. Caires, R. De Nicola, I. Lanese, M. Loreti, F. Martins, U. Montanari, A. Ravara, D. Sangiorgi, V. T. Vasconcelos, and G. Zavattaro Scc: a service centered calculus. ”Proceedings of Web Services and Formal Methods”, in Springer 2006.
  6. M. Mazzara, R. L. (2006). A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming, 70(1).
  7. Milner, R. (1989). Communication and Concurrency. Prentice Hall.
  8. Smith, H. (2003). Business process management-the third wave: Business process modeling language (bpml) and its pi-calculus foundations. Information and Software Technology, 45(15).
Download


Paper Citation


in Harvard Style

Satoh I. (2015). IT-enabled Management of Sharing Logistic Trucks . In Proceedings of the 12th International Conference on e-Business - Volume 1: ICE-B, (ICETE 2015) ISBN 978-989-758-113-7, pages 17-24. DOI: 10.5220/0005571300170024


in Bibtex Style

@conference{ice-b15,
author={Ichiro Satoh},
title={IT-enabled Management of Sharing Logistic Trucks},
booktitle={Proceedings of the 12th International Conference on e-Business - Volume 1: ICE-B, (ICETE 2015)},
year={2015},
pages={17-24},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005571300170024},
isbn={978-989-758-113-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on e-Business - Volume 1: ICE-B, (ICETE 2015)
TI - IT-enabled Management of Sharing Logistic Trucks
SN - 978-989-758-113-7
AU - Satoh I.
PY - 2015
SP - 17
EP - 24
DO - 10.5220/0005571300170024