随着Web服务的兴起和Web服务技术的不断发展、相应的标准不断出现，为整个网络环境提供了相对松散的计算平台。基于Web服务的软件开发模式也在不断完善，其中，面向服务架构SOA(Service Oriented Architecture)的方法在设计和组织业务功能方面体现了很大的优势。通过Web流程定义，将一组独立的Web服务组合成一个完整的业务流程，成了实现企业业务集成的一种新的解决方法。BPEL语言建立在WSDL和XML规范之上，在设计理念上结合了传统工作流和结构化程序设计语言的很多元素，既可以实现可执行的业务流程，也可以描述不可执行的抽象流程，渐渐得到了业界的广泛认可，并有望成为流程定义语言的业界标准。 本文以基于Petri网的BPEL语言建模和分析作为主要研究内容。在归纳和总结了现有的Web服务流程的建模方法的基础上，给出了基于BPEL语言的Petri网的描述，提出了将 BPEL 语言解析为Petri网的算法，并对BPEL语言和Petri网进行扩展，引入了时间约束。 Web服务流程时间管理是研究Web服务流程执行过程中的时间控制问题，目的是提高Web服务流程的管理效率。在分析了已有方法的基础上，提出了Web服务流程时间约束的概念和相应的模型，研究了时间约束对Web服务流程运行控制的影响，建立了一种基于事件的时间约束描述方法，提出了在Web服务流程定义阶段和运行阶段进行时间约束一致性验证的方法。 在对BPEL的语言规范和现有的Petri网的建模集成开发环境进行深入研究以后，设计并实现了专用的基于Petri网的 BPEL 语言建模集成开发环境PNBS(Petri Net for Bpel System)，该系统增加了时间参数，并提供时间约束一致性验证。