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