工作流技术作为业务过程管理的重要手段一直是学术界研究的热点。近年来，随着业务过程复杂性的提升和人们对业务过程管理认识和研究的深入，工作流的处理和组织模式发生了改变:逐渐从单一组织内的流程处理变为多组织间的流程协作，这种变化使得原本较为封闭的工作流系统变得更加开放，同时工作流系统的复杂度以及系统在运行阶段的不确定性也随之提升。　　这种复杂性和不确定性使得工作流中所存在的一些问题逐渐开始暴露出来，如非法人员的入侵致使流程相关数据文件被篡改和获取，流程资源紧张或服务失效导致活动执行失败，参与人员的不可用导致流程处理超期，模型过于复杂致使潜在的结构冲突未被及时发现，从而导致流程执行失败等等。因此，人们在关注工作流流转职能的同时，开始更多的关注起工作流的安全性、可靠性、可用性等可信性质。　　如何提高工作流的可信性，确保工作流能够按照预期平稳正确的运行成为了一个重要的理论研究课题。本文的研究正是为了解决上述问题。本文以工作流过程模型为研究对象，以计算机可信理论为研究手段，重点研究和探讨了工作流过程模型的可信建模和可信能力评价、结构合理性验证等关键问题。本文的主要研究成果如下:　　1.本文在综合比较分析了多个软件可信属性模型的基础上，汲取各模型的优点，结合工作流的自身特点对这些模型进行了剪裁和扩充，最终建立了工作流可信属性模型。该模型从安全性、可用性、可靠性、可测试性和工作流过程模型结构合理性五个方面对工作流的可信性进行了定义。本文从活动级、过程级和环境级三个角度对工作流可信属性模型的影响和作用范围进行了分析。　　2.本文在前文可信属性模型的基础上，对各可信属性的评估指标进行了分析，建立了工作流可信评估指标体系，规定了各评估指标的具体量化方法，并使用AHP法解决了评估指标的权重分配问题。在此基础上，对活动模型和过程模型的可信度量化方法进行了定义，给出了算法的伪代码实现，并对算法的复杂度进行了分析。　　3.对作为业界标准的WFMC工作流过程定义元模型进行分析，针对其不具备可信性描述能力的弱点，基于工作流可信属性模型对其进行了可信属性扩展，添加了对身份认证，数据加密，异常处理，访问控制等可信相关的属性定义，使工作流过程定义元模型具备了描述可信属性的能力，从而解决了工作流的可信建模问题，为工作流过程模型的可信性量化分析打下基础。　　4.通过对工作流模式中控制流模式的研究，本文从基本控制模式和高级分支合并模式中归纳出了常用的路由控制结构，在此基础上，对工作流常见的结构冲突和结构冲突检测算法进行了介绍，提出了一种基于控制流的工作流结构冲突检测方法。该方法与其他同类方法相比具有运算简单，算法复杂度低，易于理解，适用范围广的优点，并且能够对包含有高级分支和同步模式中复杂路由结构和环路的工作流模型进行检测。文中给出了算法的具体应用实例和伪代码实现，并进行了算法复杂度的分析。　　本文的研究成果推动了计算机可信理论在工作流领域的应用和发展，为下一步有关工作流可信实现技术和应用框架的研究奠定了基础，为工作流可信性研究提供了有意义的方法和手段，具有一定的理论意义和实用价值。