论文部分内容阅读
为保证业务过程模型的结构正确性,使业务过程可以正常终止,需要进行业务过程模型的结构验证。提出基于扩展UML活动图的建模方法,扩展基本UML活动图的元素,使之适合描述复杂的业务过程;提出了相应的冲突检测方法,可以处理含有循环、重叠结构的复杂过程模型,实现对典型结构冲突(如死锁、同步缺失、活锁)的检测。针对过程模型中的各个冲突提出相应冲突消解策略,便于对过程模型进行修改。