近年来,为了适应企业对业务过程自动化管理日益提高的要求,工作流管理技术逐渐演变成了企业过程管理自动化技术的核心。在整个工作流管理组织中,业务过程定义起着决定性的作用。因此在业务组织前,提供一个良好的参考框架对工作流模型进行定义和对模型的正确性验证显得尤为必要。本文首先介绍了工作流的概念并对工作流技术的起源、现状、发展和研究趋势进行了阐述和分析,重点强调了合理的工作流业务过程模型定义在整个工作流管理系统设计中的重要性。接下来分析并比较了两种工作流过程模型设计方法—工作流网与工作流逻辑网的特点,通过结合两种方法的优势,设计了一种可恰当描述工作流业务过程逻辑的模型参考框架。该框架使过程的定义更容易被非专业人员理解,从而方便了设计者和用户间的沟通。基于这个框架,本文利用Java面向对象编程思想对参考框架中的各个工作流模型元素进行构造,同时实现了基于层次扩展Petri网技术的模型构造方法和对模型柔性操作的若干方法。在工作流业务过程逻辑模型定义完毕后,本文提出了一种严格遵守Petri网合理性标准的验证方法。该方法将对模型进行可达性、良构性及合理性方面的检验,以保证工作流业务过程模型在语义定义前不存在逻辑结构冲突或不合理状态。最后,上述模型框架和验证方法将被集成在一个提供可视化操作界面的工作流业务过程定义设计工具中。该工具利用Java技术的JGraph图形包对工作流模型进行图元转换处理,使用户对模型的设计过程更加直观和便捷。