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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-68855-6_16 | FORTE |
Keywords | Field | DocType |
specification framework,rfid tag,modern logistics service,transport efficiency,logistics operation,environmental impact,carbon dioxide emission,earth-friendly logistics,milk-run approach,formal approach,logistics management system,carbon dioxide,process calculus,fossil fuels,management system | Truck,Environmental impact assessment,Computer science,Simulation,Mobile agent,Manufacturing engineering,Fossil fuel,Logistics management,Process calculus,Distributed computing | Conference |
Volume | ISSN | Citations |
5048 | 0302-9743 | 3 |
PageRank | References | Authors |
0.48 | 9 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ichiro Satoh | 1 | 882 | 96.32 |