机读格式显示(MARC)
- 000 01618nam0 2200289 450
- 010 __ |a 978-7-03-049877-9 |d CNY95.00
- 100 __ |a 20161006d2016 em y0chiy50 ba
- 200 1_ |a Component service optimization and verification for web service composition |A Component Service Optimization And Verification For Web Service Composition |f Chen Liping |d = Web服务组合中组件服务的优化和验证技术研究 |f 陈莉萍 |z chi
- 210 __ |a 北京 |c 科学出版社 |d 2016
- 215 __ |a 230页 |c 图 |d 24cm
- 330 __ |a 本书中,首先深度挖掘面向不同对象的QoS属性,建立QoS服务评价指标体系。利用人工免疫网络、模糊三角数,建立分层次的、形式化优化模型,实现组件服务面向QoS效用函数优化。其次利用skyline计算实现组件服务优选,并利用剪枝提高了优化效率。第三,利用扩展的Petri网描述组件服务关联关系,验证服务执行可靠性。第四,引入事务验证机制,确保组合服务业务流程可靠性。第五,建立组合服务时序一致性检测机制,确保组合服务执行一致性。第六,建立了基于BPEL4WS的形式化服务组合行为模型,追踪组合服务行为表达式的变化,实施了组件服务执行的语义正确性证明。
- 333 __ |a 本书可作为Web程序设计初学者的自学用书,还可作为从事信息系统开发的设计人员的参考用书。
- 510 1_ |a Web服务组合中组件服务的优化和验证技术研究 |z chi
- 510 1_ |a Component service optimization and verification for web service composition |z eng
- 606 0_ |a Web服务器 |A Web fu wu qi |x 程序设计
- 701 _0 |a 陈莉萍 |A chen li ping |4 著
- 801 _0 |a CN |b HDUL |c 20170322
- 905 __ |a HDUL |d TP393.09/7442