论文摘要
工作流技术作为面向流程的管理技术，可以为企业带来智能化、高效性、可控性和灵活性。越来越多的企业正在扩展对工作流技术的应用，以优化其TQCS(时间、质量、成本和服务)。工作流过程模型又是工作流技术的核心，过程模型的好坏将直接影响到从建模到运行的各个阶段。本文首先对工作流技术，尤其是工作流过程模型的研究现状和实现程度作了详细的介绍，总结出现有工作流过程模型研究和实现存在的问题，以及理论发展与企业实际需求的偏差。分析出企业的工作流模型应该要考虑三个方面的需求：用户、企业和工作流引擎。于是，本文将整个过程模型Exd_P分成三个层面：图形、XML和ECA，分别应对用户、企业和引擎的各自需求。从XPDL着手，向上扩展图形元素，为用户提供建模实体和模型校验对象；向下映射为ECA规则，便于引擎执行和流程的动态更改；由于过程模型本身没有改变XPDL的核心内容，因此仍然符合WFMC规范，支持交互。参与者是过程模型除活动和变迁外的另一重要元素，WFMC元模型只支持参与人对少数几个实体进行引用，而本模型通过增加各类引用类型，扩展了参与人的引用，增强了参与人设置和选取的灵活性，并对扩展后在实际运行中出现的问题和冗余给出了描述和处理方法。最后，本文提出了基于图搜索的方法校验过程模型连接是否正确，并且提出平面环相关概念，采用基于平面环和图规约结合的方法对过程模型逻辑结构正确性进行校验。通过在企业的调研，本文提出的过程模型得到了实践，表现出较好的灵活性和交互性；连接正确性校验方法非常实用，逻辑正确性校验方法针对比较规范且不太复杂的过程模型也是很有用的。