%0 Journal Article %T 基于结构分解的因果行为轮廓获取方法 %A 蔡敏? %A 汪世义? %J 计算机科学 %D 2014 %X 模型因果行为轮廓不仅可用于度量业务模型之间的一致度,还可以监控业务流程的实际执行。针对现有因果行为轮廓获取方法的局限性,提出了基于最小t-不变量分解技术的因果行为轮廓获取方法。该方法首先将工作流系统模型分解成一组完备子系统,再由各完备子系统中的局部关系推导出系统模型中的全局关系,可用于捕获任意sound自由选择工作流系统的因果行为轮廓。 %K t-不变量 %K 工作流系统 %K 因果行为轮廓 %K 完备子系统 %K 变迁对 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140145&flag=1