Web服务组合中组件服务的优化和验证技术研究
暂无封面,等待上传

Web服务组合中组件服务的优化和验证技术研究

陈莉萍, 著

出版社:科学出版社

年代:2016

定价:85.0

书籍简介:

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

书籍规格:

书籍详细信息
书名Web服务组合中组件服务的优化和验证技术研究站内查询相似图书
9787030498779
如需购买下载《Web服务组合中组件服务的优化和验证技术研究》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位科学出版社
版次1版印次1
定价(元)85.0语种英文
尺寸24 × 17装帧平装
页数 240 印数

书籍信息归属:

Web服务组合中组件服务的优化和验证技术研究是科学出版社于2016.9出版的中图分类号为 TP368.5 的主题关于 网络服务器-研究-英文 的书籍。