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

• The Process Definition and formalized description for workflow Based on Distributed Environment