Web服务组合中组件服务的优化和验证技术研究（英文版）[ComponentServiceOptimizationandVerificationforWebServiceComposit
内容简介
Web服务能方便将多个功能简单服务组合成具有新的业务含义的大粒度服务，满足用户更复杂的应用需求。
在《Web服务组合中组件服务的优化和验证技术研究（英文版）》中，首先深度挖掘面向不同对象的QoS属性，建立QoS服务评价指标体系。利用人工免疫网络、模糊三角数，建立分层次的、形式化优化模型，实现组件服务面向QoS效用函数优化。其次利用skyline计算实现组件服务优选，并利用剪枝提高了优化效率。第三，利用扩展的Petri网描述组件服务关联关系，验证服务执行可靠性。第四，引入事务验证机制，确保组合服务业务流程可靠性。第五，建立组合服务时序一致性检测机制，确保组合服务执行一致性。第六，建立了基于BPEL4WS的形式化服务组合行为模型，追踪组合服务行为表达式的变化，实施了组件服务执行的语义正确性证明。
《MATLAB量化金融分析基础与实战》是一本侧重于阐述MATLAB在量化金融分析领域功能的工具书。书中精选了量化金融分析领域常见的重要函数和模型加以介绍并配有示例，以方便读者学习。本书涵盖了MATLAB基本知识、数据处理、Python交互、金融建模、高效并发程序设计和报告生成…
5/12/2025 9:33:45 PM
本书介绍了Fortran语言基础知识，以及结构化程序设计思想，该设计思想使得大型Fortran程序的维护更易于实现。本书面向的读者是科学/工程类学生，意在对他们进行相应领域的实践训练。本书是一本理想的Fortran语言资料。 本书在讲述Fortran知识过程中，按适用于大型项目开
4/13/2025 1:24:25 PM
Delphi是面向对象的可视化软件开发平台，它提供了大量VCL组件，具有强大的数据库开发和网络编程能力，极大地提高了应用系统的开发速度，是目前软件开发工具之一。 《人机交互基础教程（第3版）》以DelphiXE8为开发平台进行修订，增加基于Android应用程序设计和基于
3/23/2025 11:44:42 PM
《C++面向对象程序设计（第三版）/“十三五”高校计算机应用技术系列规划教材》是为具有C语言基础的读者编写的，主要介绍C什面向对象程序设计的基本知识和编程方法，全面讲述了C++面向对象的基本特征。内容包括类、对象、继承、派生类、多态性、虚函数、运算符重载、
2/23/2025 12:55:51 PM
在线客服