张 源，方 欢

(安徽理工大学理学院，安徽淮南 232001)



基于行为轮廓的系统故障变化域定位方法研究

张 源，方 欢

(安徽理工大学理学院，安徽淮南 232001)

在业务流程管理中，系统的故障是系统行为发生变化的重要原因，如何定位系统故障的影响范围是业务流系统的一项重要研究内容。本文基于Petri网的行为轮廓理论，对自由选择网进行分析和研究，通过捕捉系统行为的事件轨迹集合，对比源模型中变迁间的弱序关系，提出自由选择网故障变化域定位算法AFCRGL；通过分析流程中的行为变化，进一步精确寻找变化域的位置，可以控制并降低变化域对流程模型整体的影响。最后以一个柔性制造Petri网系统为例，验证本文提出方法的有效性。

变化域；故障变迁；弱序关系；行为轮廓；Petri网

随着计算机系统和业务系统规模的不断增大，由系统合成和模型合成所引起的系统发生错误的情况也越来越多，因此针对业务系统的行为变化分析和故障定位的研究是十分必要的。在已有的研究结论中，大部分有关行为变换分析的研究成果都出自业务流系统的变化域分析领域。业务流系统(Business Process Management System，BPMS)在生产实践中有着广泛的应用，设计业务流系统模型的主要目的是为了适应不同层次的业务需求，由于业务需求分析的角度不同，从而导致同一个模型因为关注的层次不同而具有不同层次的模型。所谓变化域，是指业务流系统中模型的行为目标和实际模型的行为特征之间存在不一致性[1]，这种不一致性可能会影响业务流系统行为的安全性，因此对业务系统的变化域进行分析尤为重要。……