...文提出一种面向领域需求与业务流程一致性的模型检测方法,该方法首先形式化的定义了领域需求,这个过程使用变数线性时态逻辑(FLTL)来抽取业务流程中需要验证的流程特性；之后,将BPMN流程实例通过一定的映射规则,转换成有限状态进程公式(FSP),该过程能够将业务流...
基于16个网页-相关网页
变数线性时态逻辑
Variable linear temporal logic
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动