A Specification Framework for Earth-Friendly Logistics
Ichiro Satoh
- 10 Jun 2008
- pp 251-266
TL;DR: The framework described in this paper provides a language for specifying the routes of trucks and an order relation as a route selection mechanism and a prototype implementation of the framework as a distributed logistics management system based on the use of RFID tags is described.
read more
Abstract: 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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Control and integration of milk-run operation in Japanese automotive company in Indonesia
Humiras Hardi Purba,Adi Fitra,Aina Nindiani +2 more
TL;DR: Milk-run operation in Indonesian automotive company needs control and integration to improve efficiency and reduce cost.
A Formal Approach for Milk-Run Transport Logistics
TL;DR: A formal approach for specifying and reasoning about earth-friendly logistics management systems is presented and a language for specifying the routes of trucks and an order relation between the requirements of routes and the possible routes of truck is proposed.
17
Automated Route Planning for Milk-run Transport Logistics Using Model Checking
Takashi Kitamura,Keishi Okamoto +1 more
- 05 Dec 2012
TL;DR: An automated route planner is developed based on the framework using the NuSMV model checker as an early implementation and the feasibility of the implementation design is evaluated by analyzing its computational complexity and showing experimental results.
14
Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker
Takashi Kitamura,Keishi Okamoto +1 more
TL;DR: An automated route planning framework for milk-run transport logistics by applying model checking techniques and defines the notion of “optimal truck routes”, which mean truck routes on a given route map that satisfy given delivery requirements (specified by LTL) with the minimum cost.
Selection of Truck Route for Cooperative Logistics
Ichiro Satoh
- 11 Nov 2011
TL;DR: A language for specifying the routes of trucks and an algebraic order relation between the requirements of routes and the possible routes of Trucks are proposed, formulated as process calculus and the latter selects the most efficient trucks according to their routes.
3
References
•Book
Communication and Concurrency
Robin Milner
- 01 Jan 1989
TL;DR: This chapter discusses Bisimulation and Observation Equivalence as a Modelling Communication, a Programming Language, and its application to Equational laws.
9K
Mobile ambients
Luca Cardelli,Andrew D. Gordon +1 more
TL;DR: In this article, a calculus describing the movement of processes and devices, including movement through administrative domains, is introduced, which is similar to the one we use in this paper. But it is different from ours.
1K
•Proceedings Article
Mobile Ambients
Luca Cardelli,Andrew D. Gordon +1 more
- 28 Mar 1998
TL;DR: In this article, a calculus describing the movement of processes and devices, including movement through administrative domains, is introduced, and the authors introduce a calculus that describes the behavior of processes.
1K
•Book
Business Process Management: The Third Wave
Howard Smith,Peter Fingar +1 more
- 01 Jan 2003
TL;DR: The first limited distribution edition of this groundbreaking book was published in September 2002, and subsequently designed for "fast track" reads by either business or technology readers The business impact is covered in the first 197 pages as mentioned in this paper.
1K
A pi-calculus based semantics for WS-BPEL
Roberto Lucchi,Manuel Mazzara +1 more
TL;DR: It is advocated that three different mechanisms for error handling are not necessary and a novel orchestration language is formalized based on the idea of event notification as the unique error handling mechanism to define the three BPEL mechanisms in terms of the authors' calculus.
299