UML软件工程组织 的状态)的属性。从技术的角度看，运算树逻辑(Computation tree logic, CTL)是时序逻辑(time temporal logic, TTL)的一个分支，其简单性和直观性非常适合于本例。CTL是常用的布尔命题逻辑(Boolean propos
基于12个网页-相关网页
是投影时序逻辑 ProjectionTemporalLogic ; PTL
提出的是线性时序逻辑 Linear Temporal Logic
出的是线性时序逻辑 Linear Temporal Logic
一种是线性时序逻辑 linear time Logic
另一种是分支时序逻辑 Computing Time Logic
图1是一个时序图，描述框架将如何处理业务逻辑。
Figure 1 is a sequence diagram that describes how the framework will process business logic.
线性时序逻辑是一个已经确立的规则。
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
应用推荐