摘要

软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extendedconstraintsonsucceedingandproceedingevents)约束实现过程验证和偏差测量.事件约束根据过程模型定义.过程实例执行被记录为事件序列.通过分析事件序列对事件约束的覆盖和违反结果,可以计算EPD(eventconstraintbasedprocessdifferencemetric)和EAD(eventconstraintbasedactivitydeviationmetric)指标.EPD指标可以反映过程执行与过程模型的偏差,EAD指...