黄凤兰,倪枫+,刘姜,陶蒙怡,周奕宁,李业勋
HUANG Fenglan,NI Feng+,LIU Jiang,TAO Mingyi,ZHOU Yining,LI Yexun
摘要: 为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。故给出了一种具有弧权重的层次化着色Petri网(HCPN)的定义,它既可以对数据流进行形式化表示,又可以对多实例和子进程结构进行建模。进一步提出了从BPMN协作模型到HCPN模型的形式化映射方法。然后基于HCPN模型的弧权重给出了缺失、丢失和冗余三种数据流错误的定义,并提出了对应的检测算法。最后设计了一个自动化建模与验证的框架,通过一个案例研究说明了该方法的有效性。
中图分类号: