Specifications and implementation of the TruckHub registry