随着Internet技术的快速发展和日益成熟,在经济全球化的大趋势下,企业之间的重组和合并成为企业发展和壮大的必然的趋势,这就使得企业在异构、分布环境中的应用需求不断增长,从而使工作流系统在分布式环境下的应用迅速膨胀.随着工作流技术和Internet的结合,工作流的发展进入一个全新的阶段.我们致力于开发和研究的e_ScopeWork是在Internet的支持下,基于Microssoft.Net分布式计算平台、面向复杂应用的工作流管理原型系统.在工作流系统中,每个工作流模式都是对现实世界中一个实际的业务流程的抽象描述,企业通过启动这些模式的不同工作流实例来完成企业的日常业务活动.通常,在一个企业范围内有多个工作流模式,因此经常会出现不同任务实例存取一些共享数据资源的情况,而且这些数据资源所在系统本身没有事务处理机制,从而会导致数据不一致,造成工作流实例执行不正确.在面向复杂应用的分布式工作流系统中,业务流程处理逻辑复杂,输入输出数据复杂以及各种实体之间复杂的关系,使得工作流的并发控制十分复杂,处理起来非常困难.因此如何保证工作流系统中并发执行的正确性,就成为工作流当前研究热点问题之一.目前,大多数工作流系统中的并发控制都把可串行性作为工作流并发执行正确性的准则,而忽略了从工作流的语义角度出发,来解决工作流的并发问题.该文提出了一种基于语义的工作流并发控制机制:给出了工作流模式语义、语义正确性、任务断言等概念,提出用任务锁保证工作流任务断言的有效性,从而保证了工作流并发执行的语义正确性.此外,该文利用了新的技术Web Service为并发控制器打包,使其可以发布在Internet中,可以直接由分布在各地的任务管理器调用.