formal specification; temporal logic; workflow management software; temporal logic; workflow management system; workflow specification model;
机译:灵活的时间工作流的概念建模
机译:基于柔性活动的动态工作流建模与设计
机译:基于灵活活动的动态工作流建模与设计
机译:利用仿真提高基于时间逻辑的自适应工作流模型的灵活性
机译:用于业务流程分析和设计的基于逻辑的方法:将业务策略链接到工作流模型。
机译:基于模糊时间逻辑的铁路客流预测模型
机译:使用线性逻辑基于中间化工作流网的SOA模型中的要求方案验证要求的方案
机译:一阶谓词逻辑模型理论及相关时态逻辑