LogiServ is an extension of LogiCO for specifying logistic services.