分布式环境下工作流过程定义及形式化描述

定义了分布式工作流管理过程中的一些基本概念 ,阐述了工作流参考模型的基本组成及功能模块 ,建立了分布式工作流管理的业务流程描述 。