BPMN 2.0; Business Process Modelling; CSP; CSP+T; Model-Checking; Verification;
机译:从BORM到BPMN的自动模型转换方法
机译:BPMN Miner:自动化发现具有分层结构的BPMN流程模型
机译:使用BPMN2事件命名模式将BPMN2业务流程模型改进为SBVR业务词汇和业务规则转换
机译:自动化从BPMN模型到CSP + T规范的转换
机译:Rosetta规范转换的自动验证方法
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:BPMN矿工:自动化发现具有分层结构的BPMN流程模型
机译:规范和转换:自动化实施