消息首页搜索举报

Web服务组合中组件服务的优化和验技术研究【正版新书】

正版新书出版社直发可开发票，支持7天无理由

85.1 7.1折 120 全新

库存4件

江苏无锡

认证卖家担保交易快速发货售后保障

作者陈莉萍编

出版社科学出版社

ISBN9787030498779

出版时间2020-07

装帧平装

开本其他

定价120元

货号1202054689

上书时间2024-06-30

需配书院（南京书店）

十四年老店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 14小时
好评率暂无

最新上架

掟上今日子的系列(1-4)【正版新书】 ¥118.60

给孩子的万物启蒙书：极地动物与热带动物【正版新书】 ¥33.90

小象兄弟历险记揭秘非洲草原上的象群【正版新书】 ¥12.80

漫画图解简单学会商务英语会话【正版新书】 ¥17.60

和孩子一起玩木工【正版新书】 ¥35.70

功能阳极氧化【正版新书】 ¥62.40

汽车喷涂技能教程【正版新书】 ¥45.00

中国门神【正版新书】 ¥97.10

与长沙【正版新书】 ¥17.30

商品详情

品相描述：全新

商品描述: 目录
Preface

Chapter 1 Introduction

1．1 Background

1．1．1 Web service model and framework

1．1．2 Web service composition definition

1．1．3 Motivations and goals of Web service standards

1．2 Related standards and technologies

1．2．1 Web service—related standards and technologies

1．2．2 Web service composition standards and technologies

1．2．3 Sample for different standards supporting Web service composition

1．3 Web service composition methods

1．3．1 Web service composition methods based on workflow

1．3．2 Web service composition methods based on semantics

1．4 References

Chapter 2 Different Phases of web Service Composition

2．1 Composite process design

2．2 Deployment

2．3 Component service discovery

2．4 Component service selection

2．4．1 Personal service selection

2．4．2 Cooperative service selection

2．4．3 Service selectionbased on QoS

2．5 Web service composition verification

2．5．1 Requirements forverificationprocess

2．5．2 Modelingthe compositionin MSCs

2．6 Composite Web service execution

2．6．1 An example for execution of service composition

2．6．2 Compatible executions

2．6．3 Guaranteeing a composite service execution

2．7 References

Chapter 3 What is Component Service Optimization and Verificati on for Web Service Composition

3．1 Component service optimization

3．1．1 Service optimization challenges

3．1．2 Service optimization spectrum

3．1．3 Optimization approaches

3．1．4 Negotiation—based optimization

3．2 Verification of Web service composition

3．2．1 Verification architecture

3．2．2 Verification properties

3．2．3 Operationalization correctness vefification

3．3 References

Chapter 4 A New Web Service Optimization with Memory CIassifier

4．1 Introduction

4．2 Fuzzy C—means clustering algorithm

4．2．1 Fuzzy C—means fimctional

4．2．2 Fuzzy C—means clustering algorithm

4．2．3 Parameters of the FCM algorithm

4．3 Artificial immune network

4．3．1 Resource limited artificial immune system

4．3．2 AiNet

4．3．3 iNet

4．3．4 IPAisys

4．4 Ontology—oriented evaluation model description of semantic Web service based QoS

4．5 Evaluation algorithm of Web service based QoS

4．5．1 The objective and subjective synthetic approach for weigh ofevaluation attribute

4．5．2 Fuzzy C—means artificial immune network memory classifier（FCMAINMC）

4．6 Evaluation prototype system of Web service based QoS

4．7 Simulation

4．8 Conclusion

4．9 References

Chapter 5 Evaluation Model of Web Service Health Level on End—to—End Network Based on Artificial Immune

5．1 Introduction

5．2 Optimization using artificial immune svstems

5．3 ENHMM evaluation model construction

5．3．1 Formation ofdynamic evaluation tree

5．3．2 Evaluationdata acquiredbased on evaluationtree

5．3．3 End—to—end network service health evaluation level designed

5．3．4 Evaluation of network health level based on new aiNet immune network

5．4 ENHMM simulations

5．5 Conclusion

5．6 References

Chapter 6 Extended Evaluation for Quality of Service in the Community of Web Service

6．1 Introduction

6．2 Building Of Wleb service community

6．2．1 Basic concepts

6．2．2 Dynamic building of Web service community

6．3 Ontology—oriented extended evaluation model description of semantic Web service

6．4 Triangular fuzzy analytic hierarchy process

6．4．1 Triangular fuzzy numbers（TFNs）

6．4．2 Algebraic operations on TFNs

6．4．3 Construction of the FAHP comparison matrices

6．4．4 Value offuzzy synthetic extent

6．4．5 Calculation of the sets ofweight values of the FAHP

6．5 A new evaluation algorithm based on triangular fuzzy number

6．5．1 New triangular fuzzy analytic hierarchy process （NTFAHP）

6．5．2 Assessing of improved fuzzy comprehensive evaluation method

6．6 Evaluation examples

6．6．1 Building of extended evaluation tree in the train booking service community

6．6．2 Service evaluation

6．7 Conclusion

6．8 References

Chapter 7 Adaptive Evaluation and Selection of Information System by Triangular Fuzzy Number

7．1 Introduction

7．2 Reviews on information system evaluation theory

7．2．1 User sarisfaction research stream

7．2．2 Taxonomy framework of information system evaluation methods

7．3 A new information systems evaluation algorithm based on triangular fuzzy numbers

7．3．1 Index of information system evaluation

7．3．2 The weight obtained from NTFAHP

7．3．3 Numerical examples

7．4 Framework of evaluation system

7．5 Discussion

7．6 Conclusion

7．7 References

Chapter 8 Service Selection of Ensuring Transactional Reliability and QoS for Web Service Composition

8．1 Introduction

8．2 Web service transaction descriptions

8．2．1 Transactions overview

8．2．2 Web service transactional property

8．213 Composite Web service transactional property

8．3 Transactional automaton services selection

8．3．1 Workflow patterns

8．3．2 Definition ofrisk tolerance

8．3．3 Transactional automaton services selection

8．4 Transactional automaton model for services selection to Web service composition

8．4．1 I／O automata

8．4．2 Modelling transaction systems

8．4．3 Transactional automaton model for services selection

8．4．4 Example of service selection driven by transactional automaton model

8．5 QoS—based Web service selection

8．5．1 QoS—based Web service model

8．5．2 QOS—based composite Web service

8．5．3 QoS—based service selection for CWS

8．6 Experimentation

8．7 Conclusion

8．8 References

Chapter 9 A Formal Transaction Model for Reliable Web Service Composition

9．1 Introduction

9．2 A formal description to Web services composition

9．3 Transaction model for WSC

9．3．1 Transactional properties of Web service

9．3．2 The set of controlflow andtransaction relationship

9．4 Generating of transaction relationship in the vorkgroup

9．4．1 Complete set of TF

9．4．2 Automatic generating of TF

9．4．3 Validation of transaction model for Web service composition

9．5 Application of transaction model for Web service composition

9．6 Conclusion

9．7 References

……

Chapter 10 Reliable Execution Based on CPN and Skyline Optimization for Web Service Composition

Chapter 11 Conformance Checking for Interaction of Web Service Composition with Temporal Logic

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