杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Component service optimization and verification for web service composition/Chen Liping

出版发行项:

北京:科学出版社,2016

ISBN及定价:

978-7-03-049877-9/CNY95.00

载体形态项:

230页:图;24cm

并列正题名:

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

并列正题名:

Component service optimization and verification for web service composition

个人责任者:

陈莉萍 著

学科主题:

Web服务器-程序设计

中图法分类号:

TP393.09

书目附注:

有书目

提要文摘附注:

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

使用对象附注:

本书可作为Web程序设计初学者的自学用书，还可作为从事信息系统开发的设计人员的参考用书。

豆瓣简介：