目前,Web服务组合的研究主要集中于需求的可满足性,主要从功能角度进行研究,在服务行为方面考虑较少。本文从服务行为角度入手,主要研究了以下两个方面的内容：(1)组合Web服务的正确性主要是通过合理性来判定,服务组合的行为合理性引起了国内外学者的关注,这些工作大多基于Petri网、有限状态机或者自动机理论展开。但对于合理性的判定是困难的,且对于组合服务的正确性判定来说,其要求也较高。所以本文考虑的是弱合理性。本文针对己提出的行为一致相关性判定算法仅在T—不变量存在的情况是可行的,而对于T-不变量不存在时,该方法则无法使用。所以本文利用开放Petri网对Web服务进行建模,接着基于服务树的理论提出了判定多个Web服务组合后满足行为弱合理性的算法,以此来实现对组合Web服务的正确性的分析。最后通过具体实例分析了该方法的有效性。(2)一个服务型系统是由独立的软件单元,即服务,通过信息交换来交互组成的。这种系统的正常运行取决于每个个体服务能否按其它服务期望的运行。由于服务可能会被独立地执行或发展,所以假设服务永远不变是不现实的。这就引起了一个问题：服务的实际行为是否符合它的期望行为?本文利用Petri网对服务的期望行为建模,并将实际行为转化为一组变迁序列,然后从合适性和恰当性这两个测量标准对Petri网模型和变迁序列进行了一致性检验。一致性检验又称为一致性分析,是用来发觉进程模型和它的相应的执行日志间的不一致的地方。所谓合适性是用来刻画执行序列被Petri网模型接受的程度,恰当性则是刻画执行序列在Petri网模型所表示的所有行为序列中所占的比重。恰当性又可以从结构恰当性和行为恰当性两个方面来评价。接着提出了基于一致性的服务组合行为可预期性算法,最后仿真实验说明了该方法的优越性。