孙 利

（吉林广播电视大学，吉林 长春 130022）

1 前言

工作流是商业过程的自动化，在这个过程中，文档、信息或任务按照一个规则集合从一个参与者传递到另一个参与者。构建一个好的工作流模型对于工作流的执行是很重要的。在开发工作流管理系统的过程中，很多方法致力于寻找一个一般的形式化方法来描述商业过程，同时也有很多学者从不同的角度分析了工作流建模,并且基于各种不同的框架构造了工作流模型。Saitta和Zucher两位学者提出了表示改变的模型，既包含了语法重构又包含了抽象。这个模型称为KRA(Knowledge Reformulation and Abstraction)模型，它设计用来帮助问题的概念化和抽象算子的自动应用。与KRA模型相比，G-KRA模型(General KRA model)更一般、更灵活地表示了客观世界，它可以从不同的抽象粒度表示客观世界。扩展了G-KRA模型的基本感知为多重感知，根据部件所属的不同域生成了多重域抽象模型。

文章给出了在扩展的G-KRA模型框架下的多重域工作流抽象建模过程，将工作流的工作步作为多重域的任务，即它们可以在不同的工作流中扮演不同的角色。在生成工作流抽象模型的同时，通过确定它们工作的域，生成与其他工作流模型之间的接口。本文第二部分简单介绍扩展的G-KRA模型框架，第三部分定义一些概念描述多重域工作流抽象模型和任务感知。第四部分给出多重域工作流抽象建模过程的形式化描述，第五部分总结全文并提出下一步的工作。

2 扩展的G-KRA模型

这部分我们引入文献[9]中提出的G-KRA模型的相关表示和概念。……