Language of Temporal Ordering Specification?
时间排序规范语言LOTOS ?
The theory basis of GTSL is the theory of grey system and that of LOTOS, the language of temporal ordering specification.
本文呈现了我们构造的形式化灰色时序安全策略规范语言(GTSL)。 GTSL的理论基础是灰色系统理论和时序规范语言LO-TOS理论。
The behavioral specification for this ordering service might then describe how you cannot update or cancel an order you did not place, or that after you have canceled an order it cannot be updated.
此订购服务的行为规范可能会说明,您如何不能更新或取消没有订购的订单,或者在您取消订单之后就不能再对其更新。
应用推荐