Service Modelling and Verification: A Formal Approach.- Webservice Specification and Discovery.- Non-functional Properties of a Webservice.- Service Composition.- Handling Faults in Composite Webservices.- Webservice Security.- Webservice Development Life Cycle.
Hrushikesha Mohanty received his PhD from the IIT Kharagpur, and is currently a professor at the School of Computer and Information Sciences, University of Hyderabad. His research interests include distributed computing, software engineering and computational social science. Before joining the University of Hyderabad, he worked at the Electronics Corporation of India Limited, where he helped develop strategic real-time systems. At the University he has taken on responsibilities in numerous academic and administrative bodies, including chairing the Department of Computer and Information Sciences, which later became a School. He also played the key role in developing an indigenous eGovernance system for the University. He has published over 100 research papers, and edited 6 books on computer science. In addition to research publications, he has penned three anthologies of Odia poems and several Odia short stories. He also publishes his English poems. He writes a regular weekly column titled ‘MoKatha’ for the Odia newspaper Nirvaya. He initiated the Odisha Informational Technology Society and International Conference on Information Technology. With active support from KIIT University, Bhubaneswar, in 2004 he founded the International Conference on Distributed Computing and Information Technology, a pioneering computer science conference in India.
Prasant Kumar Pattnaik holds a PhD in Computer Science and is currently a professor at the School of Computer Engineering, KIIT University, Bhubaneswar. He has more than a decade of teaching and research experience and has published a number of research papers in peer-reviewed international journals and conference proceedings. His areas of interest include graph theory, mobile computing, cloud computing and web service usability. He is a fellow of the IETE and senior member of the IEEE.
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.