Functional Size Measurement (FSM); COSMIC; Component diagram; BPMN; BPEL model (BPEL);
机译:BPMN模型向有色Petri网模型的转换和验证的方法
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:BPMN 2.0流程模型的验证:基于事件日志的方法
机译:基于宇宙的方法,用于验证BPMN,BPEL和组件模型的符合性
机译:基于组件的方法来验证和确认正式软件模型。
机译:迈向情感的建构主义方法:使用独立于EEG的成分分析验证情感的三维模型
机译:BPMN 2.0流程模型的验证:基于事件日志的方法
机译:计算科学。 BpmN编排自动验证工具。