书目详细信息
： Component service optimization and verification for Web service composition
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-049877-9:CNY95.00 |
|---|---|
| 作品语种： | eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | Component service optimization and verification for Web service composition/.Chen Liping/.陈莉萍 |
| 出版发行项： | 北京:,科学出版社:,2016 |
| 载体形态项： | 230页:;+图:;+24cm |
| 提要文摘： | Web服务能方便将多个功能简单服务组合成具有新的业务含义的大粒度服务, 满足用户更复杂的应用需求。在本书中, 首先深度挖掘面向不同对象的QoS属性, 建立QoS服务评价指标体系。利用人工免疫网络、模糊三角数, 建立分层次的、形式化优化模型, 实现组件服务面向QoS效用函数优化。其次利用skyline计算实现组件服务优选, 并利用剪枝提高了优化效率。第三, 利用扩展的Petri网描述组件服务关联关系, 验证服务执行可靠性。第四, 引入事务验证机制, 确保组合服务业务流程可靠性。第五, 建立组合服务时序一致性检测机制, 确保组合服务执行一致性。第六, 建立了基于BPEL4WS的形式化服务组合行为模型, 追踪组合服务行为表达式的变化, 实施了组件服务执行的语义正确性证明。 |
| 并列题名： | Web服务组合中组件服务的优化和验证技术研究 chi |
| 题名主题： | 网络服务器 研究 英文 |
| 中图分类： | TP368.5 |
| 个人名称等同： | 陈莉萍 著 |
| 记录来源： | CN 湖北三新 20171130 |