基于结构分解的因果行为轮廓获取方法

模型因果行为轮廓不仅可用于度量业务模型之间的一致度,还可以监控业务流程的实际执行。针对现有因果行为轮廓获取方法的局限性,提出了基于最小t-不变量分解技术的因果行为轮廓获取方法。该方法首先将工作流系统模型分解成一组完备子系统,再由各完备子系统中的局部关系推导出系统模型中的全局关系,可用于捕获任意sound自由选择工作流系统的因果行为轮廓。