服务组合验证论文

基于Pi-演算的Web服务形式化描述模型
论文摘要Web服务组合使得开发者可以基于面向服务的计算无缝地访问众多分布式服务，组合在一起解决复杂问题。大多数Web服务是独立开发并运行在异构平台上的，为了能够实现它们之间的服...
语义Web服务组合若干关键技术研究
论文摘要Web服务组合作为一种崭新的分布式计算模型,是Web上服务集成的有效机制。随着Web服务成为公认的实现服务的主流技术选择,这使得动态Web服务组合技术成为面向服务的计算...
基于语义的Web服务组合研究
论文摘要随着计算机技术、Web服务技术的快速发展,用户对互联网的需求也进一步提高,希望互联网能够为其提供所需的服务。Web服务作为一种开放式的业务提供方式,具有跨平台、跨标准、...