10.3969/j.issn.1000-7024.2012.10.043
基于扩展UML图化简的过程模型冲突消解
为保证业务过程模型的结构正确性,使业务过程可以正常终止,需要进行业务过程模型的结构验证.提出基于扩展UML活动图的建模方法,扩展基本UML活动图的元素,使之适合描述复杂的业务过程;提出了相应的冲突检测方法,可以处理合有循环、重叠结构的复杂过程模型,实现对典型结构冲突(如死锁、同步缺失、活锁)的检测.针对过程模型中的各个冲突提出相应冲突消解策略,便于对过程模型进行修改.
过程模型、结构验证、图化简、冲突消解、UML活动图
33
TP311.56(计算技术、计算机技术)
2013-01-09(万方平台首次上网日期,不代表论文的发表时间)
共5页
3877-3881