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

第41卷第1期 计算机科学 V01．41No．1 2014年1月 Science Jan2014 Computer 基于结构分解的因果行为轮廓获取方法 蔡敏1’2汪世义2 上海201804)1 (同济大学计算机科学与技术系 (巢湖学院计算机与信息工程学院合肥238000)2 摘要模型因果行为轮廓不仅可用于度量业务模型之间的一致度，还可以监控业务流程的实际执行。针对现有因 果行为轮廓获取方法的局限性，提出了基于最小T．不变量分解技术的因果行为轮廓获取方法。该方法首先将工作流 系统模型分解成一组完备子系统，再由各完备子系统中的局部关系推导出系统模型中的全局关系，可用于捕获任意 sound自由选择工作流系统的因果行为轮廓。 关键词T-不变量，工作流系统，因果行为轮廓，完备子系统，变迁对 中图法