工作流过程建模是一个复杂且易错的过程。若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视。因此,在建模阶段进行有效的过程验证是十分必要的。特别是最近几年,工作流技术在业务过程重组中的重要作用更为突出,对复杂流程的分析和验证研究的需求也越来越迫切。完善工作流过程建模理论已经成为工作流管理系统的一个重要发展方向。 本文主要研究工作流模型的结构合理性问题。在参考了大量当前工作流系统研究的基础上,首先按照任务结构,给出了XPDL到Petri网的映射方法,由于XPDL已经成为事实上的工作流过程描述语言,使得映射过程可以独立于不同的建模方法;接着利用Petri网结构分析理论,给出可达树验证方法,并对其不足进行分析和改进;然后根据工作流网的特点,给出符合自由选择网结构的工作流网的合理性验证方法,并和Petri网的验证算法进行详细比较和复杂度分析。该算法的复杂度比普通Petri网的验证复杂度低,具有实际应用价值。 本文的研究成果不仅适用于业务过程领域,在其他应用软件领域也同样具有较高的理论参考和指导价值。文中给出了合理性验证技术在软件组装领域的应用扩展,探讨了基于工作流网的Web Services组合合理性验证问题。