可靠的多语言通信解决方案
快速且始终可用
当高质量不是可选的
可跨语言和域扩展
archTrackingData!?= 无 ⇒ wsInProcessUnit′=wsInProccessUnit archTrackingData!?≠ 无 ∧(archTrackingData!?).trackUnit=undefinedUnitId ⇒ wsInProcessUnit′={顺序!?} archTrackingData!?≠ 无 ∧(archTrackingData!?).trackUnit≠undefinedUnitId ⇒ wsInProcessUnit′=wsInProccessUnit {顺序!? ↦ (archTrackingData!?).trackUnit}
如果跟踪单元未定义,则从处理中的订单集中删除此订单。 如果跟踪单元定义良好,则订单与正在处理的订单集中的跟踪单元相关。