目录 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
占位居中
直播中，去观看