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