?计算树逻辑

活动的依赖用计算树逻辑（Computation Tree Logic，CTL）指定。调度程序通过将这些依赖转换为自动机，确保被调度的事件顺序能够被所有的rJ动机接受。

?运算树逻辑

UML软件工程组织 。 现在的问题在于，我们究竟该如何描述执行树状结构路径(及路径上的状态)的属性。从技术的角度看，运算树逻辑(Computation tree logic, CTL)是时序逻辑(time temporal logic, TTL)的一个分支，其简单性和直观性非常适合于

?分支时态逻辑

... 性时态逻辑（LinearTemporalLogic，LTL），类似的，具有分支时间结构的时态逻 辑，称为分支时态逻辑（Computation Tree Logic，CTL）。

?和分支时序逻辑

时序逻辑分为线性时序逻辑（Linear-time TemporalLogic，LTL） 和分支时序逻辑（Computation Tree Logic，CTL）。