魔力平台业务过程建模冲突消解的研究与实现

摘要

随着企业业务过程的复杂程度和参与者的规模急剧增长,各业务间的逻辑关系变得更为复杂。采用工作流管理技术建立工作流模型,描述复杂的业务过程信息,可以实现对复杂业务过程的有效管理。工作流技术是实现企业自动化和业务重组的重要技术。业务过程建模是整个工作流管理的基础。工作流模型的正确性是工作流系统正确运行的保障,而模型结构正确是最重要的,因此在工作流执行之前,需要对定制的工作流模型进行正确性验证,分析和检测复杂工作流模型中是否存在冲突:同时,对含有冲突的模型进行冲突消解,即提出冲突消解方案,以协助建模人员修改工作流模型。
　　 本文重点讨论的是冲突消解,即检测冲突并处理冲突,保证工作流模型的结构正确性,使业务过程可以正常终止。首先,提出基于扩展UML活动图的建模方法,对基本UML活动图的元素进行扩展,使之适合描述复杂的业务过程。其次,提出了基于UML活动图化简的冲突检测方法,该方法可以处理含有循环、重叠结构的复杂过程模型,实现对典型结构冲突(如死锁、同步缺失、活锁)的检测。并且针对过程模型中的各个冲突提出了相应的冲突消解方法,过程建模人员能够根据冲突信息,并结合冲突消解方案对过程模型进行修改,以保证过程模型的正确性。最后,设计并实现了冲突消解工具,并结合魔力平台的业务过程建模实例,验证了该工具的有效性,另一方面用实验说明冲突检测算法可以降低验证复杂度,冲突消解方法可以提高冲突处理效率,体现了冲突消解的应用价值。