Web Service Composition (eBook)

Charles J. Petrie (Autor)

eBook Download: PDF

2016
82 Seiten
Springer International Publishing (Verlag)
978-3-319-32833-1 (ISBN)

Infos

This book carefully defines the technologies involved in web service composition and provides a formal basis for all of the composition approaches and shows the trade-offs among them. By considering web services as a deep formal topic, some surprising results emerge, such as the possibility of eliminating workflows. It examines the immense potential of web services composition for revolutionizing business IT as evidenced by the marketing of Service Oriented Architectures (SOAs).

The author begins with informal considerations and builds to the formalisms slowly, with easily-understood motivating examples. Chapters examine the importance of semantics for web services and ways to apply semantic technologies. Topics included range from model checking and Golog to WSDL and AI planning. This book is based upon lectures given to economics students and is suitable for business technologist with some computer science background. The reader can delve as deeply into the technologies as desired.

Inhalt

Preface 8
References 10
Acknowledgments 12
Contents 14
1 Basic Definitions 16
1.1 Informal Definition of Services and Web Services 16
1.1.1 What Is an ICT Service? 16
1.1.2 Cloud vs Web Services 17
1.1.3 Defining ``Service'' 18
1.1.4 Service Definition Refinements 19
1.1.5 What's a Web Service? 21
1.1.6 Automating Web Service Composition with Semantics 22
1.2 The Potential for Businesses of Web Service Composition 26
1.3 Service Oriented Architecture (SOA) with WSDL 28
1.4 The Problem with Current Industrial SOAs 31
1.4.1 Amazon WSDL Example 32
1.4.2 SEEDA WSDL Example 34
References 37
2 REST-Based Services 39
2.1 REST Services 39
2.1.1 Making REST a Web Service with LAPIS 43
2.1.2 Adding Semantics to REST Descriptions 44
2.2 Basic Web Service Composition 48
2.2.1 A Business Process Service Composition Example 51
3 Formalization of Web Service Composition 55
3.1 The General Problem of Composition 55
3.2 Semantics Are Crucial 55
3.3 Compositions May be Process Instances or Workflows 56
3.4 Services Are Actions 58
3.5 Actions Defined in Planning 58
3.6 Formalization of Action 60
3.7 Formalization of Service 61
3.8 Formalization of Web Service 61
3.9 The Value of Services 62
3.10 Composing Services 62
3.10.1 Composition Safety 63
References 67
4 Methods of Web Service Composition 68
4.1 Simple Regression Composition Algorithm 68
4.1.1 The CENTRA Car CD Supply Chain Example 70
4.1.2 Composition Revision Requires Preconditions and Effects 71
4.2 Industrial Web Service Composition as Workflows 73
4.2.1 Precedence Relationships 76
4.2.2 Formal Planning Methods of Composition 77
4.3 Planning by Model Checking 80
4.4 Situational Calculus 84
4.5 Workflow Generation with AI Planners 85
4.6 Enterprise Physics 85
4.6.1 Web Service Composition as Process Instance Synthesis 86
4.6.2 Goal-Oriented Operator Programming (GOOP) 88
4.7 Review of Planning Approaches 90
4.8 Coordination Engineering for Collective Work 92
References 94

Produkt-Details

• Erscheint lt. Verlag: 9.6.2016
• Zusatzinfo: XIV, 82 p. 56 illus., 55 illus. in color.
• Verlagsort: Cham
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik
• Schlagworte: Automatic workflows • BPEL • Business Processes • Composition • OWL-S • Process Management • Rest • service-oriented computing • service planning • service science • SOA • SOAP • Web Services • WSDL
• ISBN-10: 3-319-32833-6 / 3319328336
• ISBN-13: 978-3-319-32833-1 / 9783319328331