This book is a comprehensive guide to the usage and syntax of the Business Process Execution Language for Web Services (BPEL4WS) for architects and developers wishing to use BPEL4WS to orchestrate web services. The book begins with an overview of web services, showing both the foundation of, and the need for, BPEL. The web services orchestration stack is explained, including standards such as WS-Security, WS-Coordination, WS-Transaction, WS-Addressing, and others. The BPEL language itself is explained in detail, with Code snippets and complete examples illustrating both its syntax and typical construction. Having covered BPEL itself, the book then goes on to show BPEL is used in context by providing an overview of major BPEL4WS servers. It covers the Oracle BPEL Process Manager and Microsoft BizTalk Server 2004 in detail, and shows how to write BPEL4WS solutions using these servers.