随着企业信息化的不断扩展，企业业务流程趋于更加复杂，需要引入工作流技术支撑业务流程的信息化。在经济全球化的大趋势下，企业之间的重组和合并成为企业发展和壮大的必然的趋势，这就使得企业在异构、分布环境中的应用需求不断增长，从而使工作流管理系统在分布式环境下的应用迅速膨胀。随着工作技术和Internet的结合，工作流的发展进入一个全新的阶段。本文首先从复杂的分布式应用环境的工作流的特点出发，结合当前先进的分布计算技术Web Services、.NET技术等，设计了一个面向复杂应用的工作流管理系统的框架结构。在上述框架的基础上，对分布式工作流管理系统中的并发控制进行了深入研究。文中详细阐述了分布式并发问题的类型、特点以及传统并发控制方法的不足。目前，大多数工作流管理系统中的并发控制都把可串行性作为工作流并发执行正确性的准则，而忽略了从工作流的语义角度出发，来解决工作流的并发问题。在综合分析现有方法的基础上，本文提出了一个基于语义正确性的分布式并发控制方法。该方法采用比传统的可串行化弱的语义正确性作为并发控制的正确性准则，并利用工作流任务锁、断言冲突表等来保证工作流语义正确。基于语义正确的并发控制机制，在解决传统并发操作所带来的数据不一致问题外，还可以大大提高并发事务的并发度，进而提高事务并发执行效率。最后，在理论研究基础上，设计并实现了分布式工作流系统中的任务管理器和并发控制器。阐述了两者的交互方法，说明了工作流系统中各种任务跃迁结构以及并发控制器对这些跃迁结构的处理方法。利用Web services方式实现任务管理器，使分布于各场地的任务管理器可以通过网络直接调用作为Web services发布的并发控制器。