IT-enabled management of sharing logistic trucks

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.