工作流模型是工作流应用的生命线，工作流过程建模是一个复杂且易错的过程，如何确保模型质量的问题引起了研究界和工业界的高度重视，在建模阶段进行有效的模型验证是十分必要的。　　 W3C提出OWL-S面向服务的本体描述语言的目的是通过OWL-S的语义描述能力来实现服务发现、服务调用、服务组合、服务验证、互操作及执行监控。OWL-S中定义了九种控制结构，用来组合服务。服务的互操作和服务与用户的交互过程中可以看成一种工作流的流程管理，服务组合本身就是一种工作流模式的表现形式，这使得通过OWL-S控制结构对工作流进行建模成为可能。　　 本文综述了工作流的相关技术概念、工作流管理系统及其参考模型、Pi-演算的定义及规则、语义Web的相关概念和OWL-S相关技术，对现有的典型工作流验证的方法进行了比较和分析。在此基础上，把OWL-S引入工作流领域中，阐述了基于OWL-S的工作流建模的目的，并对其可行性进行了论证。在此基础上对OWL-S模型与Pi-演算模型进行了模型映射，然后利用Pi-演算推演对转化的模型进行验证，并实现一个简单的验证应用实例。　　 本文的创新工作有以下几点：　　 1、把面向服务的本体描述语言OWL-S引入工作流领域中，利用OWL-S的9种控制结构对典型的8种工作流模式进行建模。　　 2、为实现对OWL-S服务组合流程进行正确性验证，通过模型映射的方式把非形式化的OWL-S模型转化成形式化描述能力强的Pi-演算模型。　　 3、利用Pi-演算的逻辑推演能力对转换模型进行形式化的验证。