随着社会科技的不断发展,信息化网络逐步深入到社会生活的各个方面。利用网络可以便利生活,提高社会效率,改善生活质量。Web服务是基于网络的应用程序接口,Web服务能够实现远端程序的本地化调用。如天气预报服务,网络缴费服务、机票定制服务等。Web服务基于XML协议进行定义,利用SOAP协议进行信息传输。实现了跨平台的、非本地化的软件程序网络应用。利用Web服务可进行综合软件应用的Web服务搭建,利用此方法可加快软件应用的开发效率,提高软件的集成水平。随着Web服务应用的拓展及普及,Web服务数量不断增多。据有关数据报道,Web服务的数量达到千万级。不同Web服务提供的服务接口不同,实现的服务功能也存在差异。在此背景下,面对数量众多的Web服务,如何选择符合要求的服务组合,实现软件搭建需求是值得研究和思考的问题。本文在当前Web服务开发和研究成果基础上,提出了一种面向服务集的Web服务组合发现方法。对带Qos性能属性的Web服务的形式化定义进行了研究;给出了面向Web服务集的服务聚类技术;根据Web服务的特点,对逻辑Petri网的形式化定义进行了优化;给出了演变的逻辑Petri网的可达性分析方法,包括变迁使能判断定理、一步可达标识计算方法、逻辑Petri网可达标识的获取算法等;给出了基于演变后的逻辑Petri网的Web服务集的形式化模型;进而给出了基于全局参数约束的服务组合发现策略。另外,对服务组合失效替换方法也进行了研究。最后,给出了仿真实验。通过实验结果分析及相关方法理论比较,验证了本文所述方法在提高Web服务组合发现的效率和精确度上具有优越性。