图书介绍：Web服务能方便将多个功能简单服务组合成具有新的业务含义的大粒度服务，满足用户更复杂的应用需求。在本书中，首先深度挖掘面向不同对象的QoS属性，建立QoS服务评价指标体系。利用人工免疫网络、模糊三角数，建立分层次的、形式化优化模型，实现组件服务面向QoS效用函数优化。其次利用skyline计算实现组件服务优选，并利用剪枝提高了优化效率。第三，利用扩展的Petri网描述组件服务关联关系，验证服务执行可靠性。第四，引入事务验证机制，确保组合服务业务流程可靠性。第五，建立组合服务时序一致性检测机制，确保组合服务执行一致性。第六，建立了基于BPEL4WS的形式化服务组合行为模型，追踪组合服务行为表达式的变化，实施了组件服务执行的语义正确性证明。