University Institute of Information Technology, PMAS - UAAR, Rawalpindi, Pakistan;
ABPMN; Aspect-oriented Modelling; BPMN; Metamodel; Xtext;
机译:BPMN模型向有色Petri网模型的转换和验证的方法
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:分析BPMN协作模型的正式方法
机译:BPMN的轻量级方面建模方法
机译:使用BPMN的过程建模质量:一种模型驱动方法
机译:在解剖病理过程建模中实现业务流程建模符号(BPMN)
机译:基于BPMN的业务流程模型分析和优化的方法