Web服务组合中组件服务的优化和验证技术研究（英文版）
图书信息
书名：Web服务组合中组件服务的优化和验证技术研究（英文版）作者：陈莉萍
包装：平装
开本：16
出版社：科学出版社
出版时间：2018-01-01
图书简介
《Web服务组合中组件服务的优化和验证技术研究（英文版）》详细介绍了如何优化Web服务组合中的组件服务，以满足更复杂的业务需求和提高服务质量。作者深度挖掘面向不同对象的QoS属性，建立QoS服务评价指标体系，并建立形式化优化模型实现组件服务面向QoS效用函数优化。其次，利用skyline计算实现组件服务优选，并利用剪枝提高了优化效率。接着，作者通过引入扩展的Petri网描述组件服务关联关系，验证服务执行可靠性；引入事务验证机制，确保业务流程可靠；建立组合服务时序一致性检测机制，保证组合服务执行一致性，最后建立了基于BPEL4WS的形式化服务组合行为模型，实现组件服务执行的语义正确性证明。
推荐理由
本书全面介绍了Web服务组合中的优化和验证技术，涵盖相关标准、技术和方法。本书详细讲解如何利用不同QoS属性评价服务质量，利用人工免疫网络、模糊三角数实现优化，提高服务效用函数优化效率，保证服务执行可靠性和业务流程可靠性，并建立执行一致性和语义正确性的证明方法。推荐给需要优化和验证Web服务组合中组件服务的技术人员和研究人员。
