Theory and Practice

  • Hrushikesha Mohanty
  • Prasant Kumar Pattnaik

Table of contents

  1. Front Matter
    Pages i-xv
  2. Deepak Chenthati, Hrushikesha Mohanty
    Pages 1-23
  3. Supriya Vaddi, Hrushikesha Mohanty
    Pages 25-51
  4. N. Parimala, Anu Saini
    Pages 53-77
  5. H. N. Lakshmi, Hrushikesha Mohanty
    Pages 79-98
  6. Vani Vathsala Atluri, Hrushikesha Mohanty
    Pages 99-117
  7. Ravi Kiran Kumar Meduri
    Pages 119-172
  8. Venkata Swamy Martha, Maurin Lenglart
    Pages 173-196

About this book


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.



Service selection and composition Finite State Machine Service Checkpointing Service Map Service Validation Service oriented architecture Service resiliency

Editors and affiliations

  • Hrushikesha Mohanty
    • 1
  • Prasant Kumar Pattnaik
    • 2
  1. 1.School of Computer and Information SciencesUniversity of HyderabadHyderabadIndia
  2. 2.School of Computer EngineeringKIIT UniversityBhubaneswarIndia

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Singapore Pte Ltd. 2019
  • Publisher Name Springer, Singapore
  • eBook Packages Engineering
  • Print ISBN 978-981-13-3223-4
  • Online ISBN 978-981-13-3224-1
  • Buy this book on publisher's site