This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...