Webservices: Theory and Practice

Description

This book focuses on web service specification, search, composition, validation, resiliency, security and engineering, and discusses various service specification standards like WSDL, SAWSDL, WSMO and OWLS. The theory and associated algorithms for service specification verification are detailed using formal models like Petrinet, FSM and UML. The book also explores various approaches proposed for web service search and composition, highlighting input/output, parameter-based search, and selection of services based on both functional and non-functional parameters. In turn, it examines various types of composite web services and presents an overview of popular fault handling strategies for each of these types. Lastly, it discusses the standards used for implementing web service security on the basis of a case study, and introduces the Web Service Development Life Cycle (WSDLC), which defines co-operation between several industry partners to develop web services in a more structured way. Front Matter ....Pages i-xv Service Modelling and Verification: A Formal Approach (Deepak Chenthati, Hrushikesha Mohanty)....Pages 1-23 Webservice Specification and Discovery (Supriya Vaddi, Hrushikesha Mohanty)....Pages 25-51 Non-functional Properties of a Webservice (N. Parimala, Anu Saini)....Pages 53-77 Service Composition (H. N. Lakshmi, Hrushikesha Mohanty)....Pages 79-98 Handling Faults in Composite Webservices (Vani Vathsala Atluri, Hrushikesha Mohanty)....Pages 99-117 Webservice Security (Ravi Kiran Kumar Meduri)....Pages 119-172 Webservices Engineering (Venkata Swamy Martha, Maurin Lenglart)....Pages 173-196