Web服务组合中组件服务的优化和验证技术研究
内容简介
[
Web服务能方便将多个功能简单服务组合成具有新的业务含义的大粒度服务，满足用户更复杂的应用需求。 在《Web服务组合中组件服务的优化和验证技术研究（英文版）》中，首先深度挖掘面向不同对象的QoS属性，建立QoS服务评价指标体系。利用人工免疫网络、模糊三角数，建立分层次的、形式化优化模型，实现组件服务面向QoS效用函数优化。其次利用skyline计算实现组件服务优选，并利用剪枝提高了优化效率。第三，利用扩展的Petri网描述组件服务关联关系，验证服务执行可靠性。第四，引入事务验证机制，确保组合服务业务流程可靠性。第五，建立组合服务时序一致性检测机制，确保组合服务执行一致性。第六，建立了基于BPEL4WS的形式化服务组合行为模型，追踪组合服务行为表达式的变化，实施了组件服务执行的语义正确性证明。
]
目录
PrefaceChapter 1 Introduction1．1 Background1．1．1 Web service model and framework1．1．2 Web service composition definition1．1．3 Motivations and goals of Web service standards1．2 Related standards and technologies1．2．1 Web service-related standards and technologies1．2．2 Web service composition standards and technologies1．2．3 Sample for different standards supporting Web service composition1．3 Web service composition methods1．3．1 Web service composition methods based on workflow1．3．2 Web service composition methods based on semantics1．4 ReferencesChapter 2 Different Phases of web Service Composition2．1 Composite process design2．2 Deployment2．3 Component service discovery2．4 Component service selection2．4．1 Personal service selection2．4．2 Cooperative service selection2．4．3 Service selectionbased on QoS2．5 Web service composition verification2．5．1 Requirements forverificationprocess2．5．2 Modelingthe compositionin MSCs2．6 Composite Web service execution2．6．1 An example for execution of service composition2．6．2 Compatible executions2．6．3 Guaranteeing a composite service execution2．7 ReferencesChapter 3 What is Component Service Optimization and Verificati on for Web Service Composition3．1 Component service optimization3．1．1 Service optimization challenges3．1．2 Service optimization spectrum3．1．3 Optimization approaches3．1．4 Negotiation-based optimization3．2 Verification of Web service composition3．2．1 Verification architecture3．2．2 Verification properties3．2．3 Operationalization correctness vefification3．3 ReferencesChapter 4 A New Web Service Optimization with Memory CIassifier4．1 Introduction4．2 Fuzzy C-means clustering algorithm．4．2．1 Fuzzy C-means fimctional4．2．2 Fuzzy C-means clustering algorithm4．2．3 Parameters of the FCM algorithm4．3 Artificial immune network4．3．1 Resource limited artificial immune system4．3．2 AiNet4．3．3 iNet4．3．4 IPAisys4．4 Ontology-oriented evaluation model description of semantic Web service based QoS4．5 Evaluation algorithm of Web service based QoS4．5．1 The objective and subjective synthetic approach for weigh ofevaluation attribute4．5．2 Fuzzy C-means artificial immune network memory classifier（FCMAINMC）4．6 Evaluation prototype system of Web service based QoS4．7 Simulation4．8 Conclusion4．9 ReferencesChapter 5 Evaluation Model of Web Service Health Level on End-to-End Network Based on Artificial Immune5．1 Introduction5．2 Optimization using artificial immune svstems5．3 ENHMM evaluation model construction5．3．1 Formation ofdynamic evaluation tree5．3．2 Evaluationdata acquiredbased on evaluationtree5．3．3 End-to-end network service health evaluation level designed5．3．4 Evaluation of network health level based on new aiNet immune network5．4 ENHMM simulations5．5 Conclusion5．6 ReferencesChapter 6 Extended Evaluation for Quality of Service in the Community of Web Service6．1 Introduction6．2 Building Of Wleb service community6．2．1 Basic concepts6．2．2 Dynamic building of Web service community6．3 Ontology-oriented extended evaluation model description of semantic Web service6．4 Triangular fuzzy analytic hierarchy process6．4．1 Triangular fuzzy numbers（TFNs）6．4．2 Algebraic operations on TFNs6．4．3 Construction of the FAHP comparison matrices6．4．4 Value offuzzy synthetic extent6．4．5 Calculation of the sets ofweight values of the FAHP6．5 A new evaluation algorithm based on triangular fuzzy number6．5．1 New triangular fuzzy analytic hierarchy process （NTFAHP）6．5．2 Assessing of improved fuzzy comprehensive evaluation method6．6 Evaluation examples6．6．1 Building of extended evaluation tree in the train booking service community6．6．2 Service evaluation6．7 Conclusion6．8 ReferencesChapter 7 Adaptive Evaluation and Selection of Information System by Triangular Fuzzy Number7．1 Introduction7．2 Reviews on information system evaluation theory7．2．1 User sarisfaction research stream7．2．2 Taxonomy framework of information system evaluation methods7．3 A new information systems evaluation algorithm based on triangular fuzzy numbers7．3．1 Index of information system evaluation7．3．2 The weight obtained from NTFAHP7．3．3 Numerical examples7．4 Framework of evaluation system7．5 Discussion7．6 Conclusion7．7 ReferencesChapter 8 Service Selection of Ensuring Transactional Reliability and QoS for Web Service Composition8．1 Introduction8．2 Web service transaction descriptions8．2．1 Transactions overview8．2．2 Web service transactional property8．213 Composite Web service transactional property8．3 Transactional automaton services selection8．3．1 Workflow pa～erns8．3．2 Definition ofrisk tolerance8．3．3 Transactional automaton services selection8．4 Transactional automaton model for services selection to Web service composition8．4．1 I／O automata8．4．2 Modelling transaction systems8．4．3 Transactional automaton model for services selection8．4．4 Example of service selection driven by transactional automaton model8．5 QoS-based Web service selection8．5．1 QoS-based Web service model8．5．2 QOS-based composite Web service8．5．3 QoS-based service selection for CWS8．6 Experimentation8．7 Conclusion8．8 ReferencesChapter 9 A Formal Transaction Model for Reliable Web Service Composition9．1 Introduction9．2 A formal description to Web services composition9．3 Transaction model for WSC9．3．1 Transactional properties of Web service9．3．2 The set of controlflow andtransaction relationship9．4 Generating of transaction relationship in the vorkgroup9．4．1 Complete set of TF9．4．2 Automatic generating of TF9．4．3 Validation of transaction model for Web service composition9．5 Application of transaction model for Web service composition9．6 Conclusion9．7 References……Chapter 10 Reliable Execution Based on CPN and Skyline Optimization for Web Service CompositionChapter 11 Conformance Checking for Interaction of Web Service Composition with Temporal Logic
封面
书名:Web服务组合中组件服务的优化和验证技术研究
作者:陈莉萍[著]
页数:230页
定价:¥120.0
出版社:科学出版社
出版日期:2016-01-01
ISBN:9787030498779
PDF电子书大小:76MB 高清扫描完整版