数据和时间感知驱动的Web服务组合：形式化建模与验证的深度剖析.docxVIP

数据和时间感知驱动的Web服务组合：形式化建模与验证的深度剖析

一、引言

1.1研究背景与意义

随着互联网的飞速发展以及电子商务技术的日益成熟，面向服务的计算（SOC）和面向服务的体系结构（SOA）已成为未来软件发展的重要趋势，备受学术界和工业界的广泛关注。SOC作为一种全新的计算模式，成功攻克了分布、动态以及异构环境下分布式应用集成的难题；而SOA作为新的软件开发模式，以松耦合的方式有力地支持和实现了软件资产的集成与复用。目前，Web服务技术凭借其不断的成熟与发展，已然成为SOA的主流实现方式，为SOC提供了坚实的技术支撑。

Web服务是一种基于网络的自描述、自包含的软件