变数线性时态逻辑(FLTL) 相关硕士博士期刊学术论文 - 搜论网

变数线性时态逻辑(FLTL)相关论文

一种面向领域需求与业务流程间一致性的检测方法

BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对......

期刊

业务流程建模符号(BPML) 软件产品线变数线性时态逻辑(FLTL) 状态进程公式(FSP) business process modeling langua

看过本文同时还关注