Welcome to BPEL XML.org.
This is the official community gathering place and information resource for the WS-BPEL OASIS Standard and related specifications. BPEL uses Web services standards to describe business process activities as Web services, defining how they can be composed to accomplish specific tasks. This is a community-driven site, and the public is encouraged to contribute content.
BPEL formalizations
There have been several efforts to express the BPEL semantics in a formal language – on both the previous and the current version.
Most of that work is focused on proving certain properties; an approach where a formal system – in this case, a process description – is transformed into a mathematical model. On this model, certain properties of interest may be examined, for example the reachability of activities. A property of the mathematical model may then be proven to be a property of the original system.
Active Endpoints and JBoss present "Standards-based Middleware: a Platform for SOA Success"
Active Endpoints and JBoss are presenting a webinar entitled Standards-based Middleware: a Platform for SOA Success on Thursday, September 25 at 2pm ET, 11am PT, 18:00 GMT.
An agenda and registration form are at http://www.info.redhat.com/forms/20080925JBossSOA
Model SOA Business Processes using BPMN with New Book from Packt
Business Process Driven SOA using BPMN and BPEL is a new book from Packt that teaches users to transform BPMN to BPEL and execute business processes on the SOA platform. This book will explain advanced business process modeling and management with BPMN and BPEL and how it is related to SOA.
BPMN-BPEL Transformation and Round Trip engineering
To achieve business agility that a business user can actually configure and orchestrate SOA services, a business process modeling tool must provide high-fidelity and robust transformation between BPMN models and implementation code: BPEL and Web Services.