Portal de Periódicos da CAPES

Formalizing WSBPEL Business Processes Using Process Algebra

2006; Elsevier BV; Volume: 154; Issue: 1 Linguagem: Inglês

10.1016/j.entcs.2005.12.038

1571-0661

Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo,

Advanced Software Engineering Methodologies

Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behaviour. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds protocol information to the specifications of interacting Web Services, and uses a process algebra to model their dynamic behaviour — thus enabling their formal analysis and the inference of relevant properties of the systems being built.