工作流技术是重要的协同应用支撑技术之一,它通过对业务过程进行建模、执行和管理来完成业务目标。工作流模型建立起来之后,模型正确性验证和工作流执行时的并发控制成为需要解决的问题。本文的模型验证由语法分析和结构验证组成,采用了一种基于有向图的归约法的工作流模型结构冲突分析方法,结合数据流分析方法,探讨了工作流模型的正确性验证问题,并且开发了一个工作流模型验证工具。此外,当多个工作流实例并发执行时,这些实例之间的某些任务可能通过共享数据对象而存在约束关系,这将引发严重的数据访问不一致问题。本文扩展了结构化工作流定义语言SWDL,在此基础上,采用集合约束系统对工作流内部以及实例之间所有可能引起冲突的任务进行分析,生成数据资源的任务冲突集,在此基础上划分出任务调度具有互斥性质的关联任务子集,并且引入动态任务约束,以保证各实例中可能引发数据冲突的任务子集运行时的临时事务性。本文提出的调度算法在保证工作流实例运行正确性的同时,提供了一种多实例间灵活的、尽可能多的任务并发调度方法,实验验证了本文调度算法的有效性,性能分析表明,该算法提高了工作流的执行性能。