Web服务使用一套标准规范提供全球范围的服务,使信息的生产者和消费者之间能够更容易地进行定位和交换信息。通过Web服务构建复杂应用存在的问题是:Web服务是无状态操作,所以只能提供相对较小的原子应用。但Web服务是可以集成的,这是它的一个重要特征。因此,可以通过原有Web服务的组合构成新的更复杂、功能更强大的Web服务。Petri网理论作为组合Web服务的一个主要机制,可以用来快速创建功能更强大的Web服务。本文围绕Petri网理论在Web服务组合中的应用,研究如何基于Petri网构建Web服务组合的模型,从而实现Web服务的集成。因此,本文将这部分作为重点研究内容,主要包括:首先,讨论了目前几种用于Web服务组合的常见模型,提出了一种基于消息的Petri网的Web服务模型。该模型采用元消息机制,将其视为Petri网的资源来推动服务行为,充分考虑了消息和行为的关系,不会出现选择服务的问题,可以更好地描述可用服务的并行调用,更加有利于自动服务组合。另外,该模型还支持复用,适用于构建复杂的软件应用系统。其次,在基于消息的Petri网的Web服务模型基础上,实现了服务的协同;给出了服务自动组合规则,并证明了规则的有效性和完备性,从而保证了使用这种方式进行服务组合的正确性。最后,基于新模型构建了Web服务组合系统,并通过一个实例直观描述了服务组合系统的工作方式。