随着电子商务的迅速崛起，Web应用已发展到全球化，Web服务作为一种新兴的web应用模式，是B2B(business to business)和．B2C(Business to customer]应用中有效的解决方案，它是一个崭新的分布式计算模型，是Web上数据和信息集成的有效机制。面向自动Web服务发现及合成，基于语义的Web服务行为建模是目前研究的热点之一。当前的服务发现及合成研究主要集中在功能描述方面，在本文中我们认为基于行为约束和概率统计语义的服务调用规则挖掘是实现Web服务自动发现及合成的一种可行的方法。 在本文提出的方法中，我们引入了服务调用的时序关系，从而以一种统一的方法调用表示出了服务调用的不同类型。为获得关于Web服务间直接调用和间接调用的信息，我们将不动点语义应用于Web服务调用的演绎推理中。为此我们定义了用于’Web服务调用关系演绎推理的不动点函数，并进行了最小不动点性质的证明。基于不动点语义对服务调用历史数据的演绎推理，根据概率统计和语义约束可挖掘出服务间的调用规则。服务的调用规则不仅定性而且定量地度量了服务间依赖关系。基于本文的提出的服务调用规则挖掘方法，可以对服务查询的应用从直接的精确匹配，进而扩展到支持基于概率统计和语义约束的匹配。在此基础上，构建描述这种语义的有向带权图行为模型，进一步讨论了所构建的服务行为模型在Web服务合成中的应用，并提出基于贪心思想生成服务合成向导的算法。 最后，我们对所提出的算法进行了程序模拟和实验分析，研究结果表明，我们提出的Web服务的不动点函数能对大量的服务及其历史调用数据进行计算，能高效得出有效的调用规则，经过对相应的实验结果及复杂度分析，表明我们所采用的方法具有一定的可行性及有效性。