消息 首页 搜索 举报
  • Web服务组合中组件服务的优化和验证技术研究
21年品牌 40万+商家 超1.5亿件商品

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

全新正版 假一赔十 可开发票

￥ 66.74 7.0折 ￥ 95 全新

库存3件

北京海淀
认证卖家担保交易快速发货售后保障

作者陈莉萍

出版社科学出版社

ISBN9787030498779

出版时间2016-10

装帧平装

开本其他

定价95元

货号1201383808

上书时间2024-01-06

轻阅书店

三年老店
已实名 已认证 进店 收藏店铺
  • 最新上架

   商品详情   

品相描述：全新
商品描述
目录
Preface
Chapter 1 Introduction
1.1Background
1.1.1Web service model and framework
1.1.2Web service composition definition 
1.1.3Motivations and goals of Web service standards
1.2Related standards and technologies
1.2.1Web service-related standards and technologies
1.2.2Web service composition standards and technologies
1.2.3Sample for different standards supporting Web service composition
1.3Web service composition methods
1.3.1Web service composition methods based on workflow
1.3.2Web service composition methods based on semantics
1.4References
Chapter 2 Different Phases of Web Service Composition
2.1Composite process design
2.2Deployment
2.3Component service discovery
2.4Component service selection
2.4.1Personal service selection
2.4.2Cooperative service selection
2.4.3Service selection based on QoS
2.5Web service composition verification
2.5.1Requirements for verification process
2.5.2Modeling the composition in MSCs
2.6Composite Web service execution
2.6.1An example for execution of service composition
2.6.2Compatible executions
2.6.3Guaranteeing a composite service execution
2.7References
Chapter 3 What is Component Service Optimization and Verification for Web Service Composition
3.1Component service optimization
3.1.1Service optimization challenges
3.1.2Service optimization spectntm
3.1.3Optimization approaches
3.1.4Negotiation-based optimization
3.2Verification of Web service composition
3.2.1Verification architecture
3.2.2Verification properties
3.2.3Operationalization correctness verification
3.3References
Chapter 4 A New Web Service Optimization with Memory Classifier
4.1Introduction
4.2Fuzzy C-means clustering algorithm
4.2.1Fuzzy C-means functional
4.2.2Fuzzy C-means clustering algorithm
4.2.3Parameters of the FCM algorithm
4.3Artifi immune network
4.3.1Resource limited artifi immune system
4.3.2AiNet
4.3.3iNet
4.3.4IPAisys
4.4Ontology-oriented evaluation model description of semantic Web service based QoS
4.5Evaluation algorithm of Web service based QoS
4.5.1The objective and subjective synthetic approach for weigh of evaluation attribute
4.5.2Fuzzy C-means artifi immune network memory classifier(FCMA/NMC)
4.6Evaluation prototype system of Web service based QoS
4.7Simulation
4.8Conclusion
4.9References
Chapter 5 Evaluation Model of Web Service Health Level on End-to-End Network Based on Artifi Immune
5.1Introduction
5.2Optimization using artifi immune systems
5.3ENHMM evaluation model construction
5.3.1Formation of dynamic evaluation tree
5.3.2Evaluation data acquired based on evaluation tree
5.3.3End-to-end network service health evaluation level designed
5.3.4Evaluation of network health level based on new aiNet immune network
5.4ENHMM simulations
5.5Conclusion
5.6References
Chapter 6 Extended Evaluation for Quality of Service in the Community of Web Service
6.1Introduction
6.2Building of Web service community
6.2.1Basic concepts
6.2.2Dynamic building of Web service community
6.3Ontology-oriented extended evaluation model description of semantic Web service
6.4Triangular fuzzy analytic hierarchy process
6.4.1Triangular fuzzy numbers(TFNs)
6.4.2Algebraic operations on TFNs
6.4.3Construction of the FAHP comparison matrices
6.4.4Value of fuzzy synthetic extent
6.4.5Calculation of the sets of weight values of the FAHP
6.5A new evaluation algorithm based on triangular fuzzy number
6.5.1New triangular fuzzy analytic hierarchy process(NTFAHP)
6.5.2Assessing of improved fuzzy comprehensive evaluation method
6.6Evaluation examples
6.6.1Building of extended evaluation tree in the train booking service community
6.6.2Service evaluation
6.7Conclusion
6.8References
Chapter 7 Adaptive Evaluation and Selection of Information System by Triangular Fuzzy Number
7.1Introduction
7.2Reviews on information system evaluation theory
7.2.1User satisfaction research stream
7.2.2Taxonomy framework of information system evaluation methods
7.3A new information systems evaluation algorithm based on triangular fuzzy numbers
7.3.1Index of information system evaluation
7.3.2The weight obtained from NTFAHP
7.3.3Numerical examples
7.4Framework of evaluation system
7.5Discussion
7.6Conclusion
7.7References
Chapter 8 Service Selection of Ensuring Transactional Reliability and QoS for Web Service Composition
8.1Introduction
8.2Web service transaction descriptions
8.2.1Transactions overview
8.2.2Web service transactional property
8.2.3Composite Web service transactional property
8.3Transactional automaton services selection
8.3.1Workflow patterns
8.3.2Definition of risk tolerance
8.3.3Transactional automaton services selection
8.4Transactional automaton model for services selection to Web service composition
8.4.1I/O automata
8.4.2Modelling transaction systems
8.4.3Transactional automaton model for services selection
8.4.4Example of service selection driven by transactional automaton model
8.5QoS-based Web service selection
8.5.1QoS-based Web service model
8.5.2Qos-based composite Web service
8.5.3QoS-based service selection for CWS
8.6Experimentation
8.7Conclusion
8.8References
Chapter 9 A Formal Transaction Model for Reliable Web Service Composition
9.1Introduction
9.2A formal description to Web services composition
9.3Transaction model for WSC
9.3.1Transactional properties of Web service
9.3.2The set of control flow and transaction relationship
9.4Generating of transaction relationship in the workgroup
9.4.1Complete set of TF
9.4.2Automatic generating of TF
9.4.3Validation of transaction model for Web service composition
9.5Application of transaction model for Web service composition
9.6Conclusion
9.7References
Chapter 10 Reliable Execution Based on CPN and Skyline Optimization for Web Service Composition
10.1Introduction
10.2Related work
10.3Reviews on the methodologies for reliable Web services
10.3.1Fault tolerance
10.3.2Redundancy
10.3.3Diversity
10.3.4Reliable Web services and composition
10.4A colored Petri-net model of Web service composition
10.4.1Colored Petri-net
10.4.2Formal definition of CP-nets
10.4.3Transactional property description
10.4.4Tolerance level
10.4.5TCWS-CPN definition
10.4.6Services selection of transactional property in the TCWS-CPN
10.4.7Composite sequence in the CPN
10.5Execution framework architecture of TCWS-CPN
10.5.1Execution framework architecture
10.5.2Example
10.6Skyline computation intruduction
10.7QoS-based skyline Web services
10.7.1The skyline computation problem
10.7.2Skyline Web services for QoS-based composition
10.7.3Skyline algorithm of QoS-based Web service selection
10.8Experimentation
10.9Conclusion
10.10References
Chapter 11 Conformance Checking for Interaction of Web Service Composition with Temporal Logic
11.1Introduction
11.2Conformance checking approach
11.3Conformance verification and interaction of Web service composition"
11.3.1Conformance verification
11.3.2Web service interactions
11.4Conformance checking framework of for Web service interaction behaviours
11.5Web service composition interaction modeling: BPEL-CPN model
11.5.1Definition of BCPN model
11.5.2Transformation of BPEL into BCPN model
11.6Conformance checking for interaction of Web service composition 
11.6.1Interaction fitness and appropriateness computation
11.6.2Temporal properties of BCPN model
11.6.3Conformance checking algorithm for interaction of Web service composition
11.7Examples and experiment
11.7.1Fitness and appropriateness computation of example
11.7.2Conformance checking with temporal logic
11.8Conclusion
11.9References

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

   相关推荐   

—  没有更多了  —

店铺评价
消息 首页 搜索

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP