行为因果关系的分类与判定  

Classification and Determination of Causal Relation Between Tasks

作　　者：金涛[1,2,3,4] 闻立杰[2,3,4] 王建民[2,3,4] 

机构地区：[1]清华大学计算机科学与技术系,北京100084 [2]清华大学软件学院,北京100084 [3]信息系统安全教育部重点实验室,北京100084 [4]清华信息科学与技术国家实验室(筹),北京100084

出　　处：《系统仿真学报》2011年第B07期188-192,共5页Journal of System Simulation

基　　金：国家自然科学基金(61003099);国家863计划(2008AA042301);国家973计划(2009CB320700)

摘　　要：工作流技术可以加速企业过程感知信息系统的研发及更新演化,近年来得到了广泛应用,导致各行各业积累了大量的工作流模型。Petri网既有简单的图形化表示,又有很好的形式化基础,故常被用于表示这些工作流模型。如何对这些海量模型进行高效检索是一个难题。由于动态行为特性是工作流模型的本质特性,故需要基于任务之间的行为关系进行查询。因果关系是任务间行为关系的一种,对任务间因果关系进行了分类,并针对无环工作流模型提出了有效的判定算法。Since the technology of workflow is helpful to improving the efficiency of process aware information system construction and evolution,it is being more widely used.The wide use of workflow technology results in a large number of workflow models.How to query on such a large number of models is challenging.Since behavior is the essential characteristics of workflow models,query based on relations between tasks is necessary.Causal relation is one kind of relations between tasks.The causal relations between tasks were classified and an efficient algorithm was proposed to determine the different causal relations between tasks for acyclic workflow models.

关 键 词：PETRI 行为 因果关系 分类 判定 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]