醉染图书Web服务组合中组件服务的优化和验技术研究9787030498779

Preface
Chapter 1 Introduction
1.1Background
1.1.1Web service model an faework
1.1.2Web service coition 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 coition standards and technologies
1..Sample for different standards supporting Web service coition
1.3Web service coition methods
1.3.1Web service coition methods based on workflow
1.3.2Web service coition methods based on semantics
1.4References
Chapter 2 Different Phases of Web Service Coition
2.1Coite process design
2.2Deployment
.Component service discovery
2.4Component service selection
2.4.1Personal service selection
2.4.2Cooperative service selection
2.4.3Service selection based on oS
2.5Web service coition verification
2.5.1Requirements for verification process
2.5.2Modeling the coition in MSCs
2.6Coite Web service execution
2.6.1An example for execution of service coition
2.6.2Compatible executions
2.6.3Guaranteeing a coite service execution
2.7References
Chapter 3 What is Component Service Optimization and Verification for Web Service Coition
3.1Component service optimization
3.1.1Service optimization challenges
3.1.2Service optimization sctm
3.1.3Optimization approaches
3.1.4Negotiation-based optimization
3.2Verification of Web service coition
3.2.1Verification architecture
3.2.2Verification properties
3..Oraioalization 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..Parameters 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 oS
4.5Evaluation algorithm of Web service based oS
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 oS
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 dynami vaation 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 lity 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 oraios 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 obtaine fo NTFAHP
7.3.3Numerical examples
7.4Framework of evaluation system
7.5Discussion
7.6Conclusion
7.7References
Chapter 8 Service Selection of Ensuring Transactional ReliabiliyndS for Web Service Coition
8.1Introduction
8.2Web service transaction descriptions
8.2.1Transactions overview
8.2.2Web service transactional property
8..Coite 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 coition
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.5oS-based Web service selection
8.5.1oS-based Web service model
8.5.2os-based coite Web service
8.5.3oS-based service selection for CWS
8.6Experimentation
8.7Conclusion
8.8References
Chapter 9 A Formal Transaction Model for Reliable Web Service Coition
9.1Introduction
9.2A formal description to Web services coition
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 coition
9.5Application of transaction model for Web service coition
9.6Conclusion
9.7References
Chapter 10 Reliable Execution Based on CPN and Skyline Optimization for Web Service Coition
10.1Introduction
10.2Related work
10.3Reviews on te ehoologies for reliable Web services
10.3.1Fault tolerance
10.3.2Redundancy
10.3.3Diversity
10.3.4Reliable Web services and coition
10.4A colored Petri-net model of Web service coition
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.7Coite sequence in the CPN
10.5Execution framework architecture of TCWS-CPN
10.5.1Execution framework architecture
10.5.2Example
10.6Skyline computation intruduction
10.7oS-based skyline Web services
10.7.1The skyline computation problem
10.7.2Skyline Web services for oS-based coition
10.7.3Skyline algorithm of oS-based Web service selection
10.8Experimentation
10.9Conclusion
10.10References
Chapter 11 Conformance Checking for Interaction of Web Service Coition with Temporal Logic
11.1Introduction
11.2Conformance checking approach
11.3Conformance verification and interaction of Web service coition"
11.3.1Conformance verification
11.3.2Web service interactions
11.4Conformance checking framework of for Web service interaction behaviours
11.5Web service coition 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 coition
11.6.1Interaction fitness and appropriateness computation
11.6.2Temporal properties of BCPN model
11.6.3Conformance checking algorithm for interaction of Web service coition
11.7Examples and experiment
11.7.1Fitness and appropriateness computation of example
11.7.2Conformance checking with temporal logic
11.8Conclusion
11.9References