A Formal Approach for Milk-Run Transport Logistics
スポンサーリンク
概要
- 論文の詳細を見る
A formal approach for specifying and reasoning about earth-friendly logistics management systems is presented. To reduce fossil fuel consumption and carbon dioxide emissions resulting from transport, we must enhance the transport efficiency of trucks, which play an essential role as carriers in modern logistics services. This paper addresses the milk-run approach. It is 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.
- (社)電子情報通信学会の論文
- 2008-11-01
著者
関連論文
- Design and Implementation of Context-Aware Musuem Guide Agents
- Reusable Mobile Agents for Managing Networks (特集 e-Japan時代のインターネット/分散システムの構築・運用技術)
- Design and Implementation of Context-Aware Musuem Guide Agents
- Rapidly Building Visual Management Systems for Context-Aware Services
- A Formal Approach for Milk-Run Transport Logistics
- Query Language for Location-Based Services : A Model Checking Approach
- Bio-Inspired Deployment of Software over Distributed Systems(Concurrent/Hybrid Systems : Theory and Applications)
- Itinerant Agents for Network Management(Network Control and Management)(Assurance Systems and Networks)
- Mobile Applications in Ubiquitous Computing Environments(Application, Ubiquitous Networks)
- MobileSpaces : An Extensible Mobile Agent System(Concurrent System Technology)
- Bridging Physical and Virtual Worlds with Mobile Agents(Mobile Computing)
- A Spatial Model for Ubiquitous Computing Services(Software Platform Technologies, Ubiquitous Networks)
- A Mobile Agent-Based Framework for Rapidly Building and Managing Application-Specific Overlay Networks(Networking Technologies for Overlay Networks)
- Network Protocols for Mobile Agents by Mobile Agents(Special Issue on High Speed Networks and Multimedia Applications)
- A Component Framework for Document-Centric Networking(Mobile Agent)(Next Generation Networks Software)