Home // ICSEA 2012, The Seventh International Conference on Software Engineering Advances // View article

BPEL-RF Tool: An Automatic Translation from WS-BPEL/WSRF Specifications to Petri Nets

Authors:
Maria Diaz
Valetin Valero
Hermenegilda Macia
Jose Antonio Mateo
Gregorio Diaz

Keywords: Web Service compositions; WS-BPEL; WSRF; Coloured Petri nets; Tool support; Stateful workflows

Abstract:
Composite Web services technologies are widely used due to their ability to provide interoperability among services from different companies. Thus, orchestration languages like WS-BPEL have recently appeared to manage the interactions of multiple services in order to achieve a global aim. Web services are usually emph{stateless}, which means that no state is stored from the clients viewpoint. However, some new applications and services have emerged, which require to capture the state of some resources. Therefore, new standards to model Web services states have arisen, such as Web Services Resource Framework (WSRF). In this paper, we present a tool, which takes as input a specification in BPEL-RF (a language defined on the basis of both standards), and transforms it into a prioritised-timed coloured Petri net (PTCPN). These PTCPNs can be verified and validated with the well-known tool, CPNTools.

Pages: 325 to 330

Copyright: Copyright (c) IARIA, 2012

Publication date: November 18, 2012

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-230-1

Location: Lisbon, Portugal

Dates: from November 18, 2012 to November 23, 2012