WofBPEL: A Tool for Automated Analysis of BPEL Processes

Ouyang, Chun and Verbeek, Eric and van der Aalst, Wil M.P. and Breutel, Stephan W. and Dumas, Marlon and ter Hofstede, Arthur H.M. (2005) WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: Third International Conference on Service Oriented Computing (ICSOC 2005), December 12-15, 2005, Amsterdam, The Netherlands.

Full text available as:

PDF - UNSPECIFIED
142Kb

DOI : 10.1007/11596141_37

Abstract

Web service composition refers to the creation of new (Web) services by combination of functionality provided by existing ones. This paradigm has gained significant attention in the Web services community and is seen as a pillar for building service-oriented applications. A number of domain-specific languages for service composition have been proposed with consensus being formed around a process-oriented language known as BPEL. The kernel of BPEL consists of simple communication primitives that may be combined using control-flow constructs expressing sequence, branching, parallelism, synchronisation, etc. As a result, BPEL process definitions lend themselves to static flow-based analysis techniques. In this paper, we describe a tool that performs two types of static checks and extracts meta-data to optimise dynamic resource management. The tool operates by translating BPEL processes into Petri nets and exploiting existing Petri net analysis techniques. It relies on a comprehensive and rigorously defined mapping of BPEL constructs into Petri net structures.

ID Code:	2918
Item Type:	Conference Paper
Keywords :	Business process modelling, Web services, BPEL, tool, based verification, Petri nets
ISBN:	9783540308171
ISSN:	1611-3349
Subjects:	Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600) > Information Systems Development Methodologies (080608)
Divisions:	QUT Faculties and Divisions > Faculty of Science and Technology
Copyright Owner :	Copyright 2005 Springer
Copyright Statement :	This is the author-version of the work. Conference proceedings published, by Springer Verlag, will be available via SpringerLink. http://www.springer.de/comp/lncs/ Lecture Notes in Computer Science
Deposited On:	19 Jul 2006
Last Modified:	30 Jan 2009 01:42

Export: EndNote | Dublin Core

Repository Staff Only: item control page