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 Ph D 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 e Governance 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 columntitled ‘Mo Katha’ 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 Ph D 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.