Supply chain orchestration and choreography: Programmable logistics using semantics | IEEE Conference Publication | IEEE Xplore