It is important to note that the temporal operator as described in ECA rule is a more general concept that can apply to conditions within the other sub types of rule.
一定要注意一点：eca规则中介绍的时间操作符是一个通用的概念，可以应用于其他规则子类型中的条件。
Open temporal logic introduces new path operators to specify internal parts and external parts, and introduces one new temporal operator to ensure some invariants during some external actions.
引入新的时态算子，描述一些系统状态在外部动作影响下的某种不变性。
Open temporal logic introduces new path operators to specify internal parts and external parts, and introduces one new temporal operator to ensure some invariants during some external actions.
引入新的时态算子，描述一些系统状态在外部动作影响下的某种不变性。
应用推荐