分布式环境下Web服务动态组合研究

本书围绕服务组合建立阶段的主要问题重点研究了满足QoS约束的Web服务组合及抽象服务节点自动合成机制，并对组合模型的正确性验证等几个关键技术问题进行了探索与尝试，对推进Web服务组合技术的理论与应用研究具有一定的参考价值。本书可作为理工科院校计算机专业研究生的参考书，也可作为Web服务组合研究和应用开发人员了解相关领域知识及技术的参考书。