基于xar/t-net的业务流程建模与分析

petri网是对业务流程进行描述和分析的有效工具,但已有的基于petri网的建模方法无法体现流程中关键业务数据的变化。artifact作为业务流程中的数据实体,是具有嵌套结构的复杂数据对象。用一种图形化的xml模式定义语言描述artifact的结构。将xml文档的操作与petri网流程的定义相结合,对以artifact为中心的业务流程建立一种可计算的xar/t-net模型。在xar/t-net模型的基础上,分析业务流程逻辑结构,并采用覆盖图分析artifact的特性。