Encoding process algebraic descriptions of web services into BPEL

Article type: Research Article

Authors: Chirichiello, Antonella | Salaün, Gwen

Affiliations: DIS – Università di Roma "La Sapienza", Italy | ETSI Informática, Universidad de Málaga, Spain

Note: [] Corresponding author. E-mail: [email protected]

Abstract: Formal methods are helpful for many issues raised in the web services area. In this article, we advocate the use of process algebra as a first step in the design and development of executable web services. Verification tools can be used to validate the correct execution of these formal descriptions. We define some guidelines to encode abstract specifications of services-to-be written using these calculi into executable web services. As a back-end language, we consider BPEL as the orchestration language. We illustrate our approach through the development of a simple e-business application.

Keywords: Web services, formal methods, process algebra, LOTOS, BPEL

Journal: Web Intelligence and Agent Systems: An international journal, vol. 5, no. 4, pp. 419-434, 2007