WofBPEL: a tool for automated analysis of BPEL processes

C. Ouyang, H.M.W. Verbeek, W.M.P. Aalst, van der, S. Breutel, M. Dumas, A.H.M. Hofstede, ter

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

82 Citations (Scopus)


The Business Process Execution Language for Web Service, known as BPEL4WS, more recently as WS-BPEL (or BPEL for short) [1], is a process definition language geared towards Service-Oriented Computing (SOC) and layered on top of the Web services technology stack. In BPEL, the logic of the interactions between a given service and its environment is described as a composition of communication actions. These communication actions are interrelated by control-flow dependencies expressed through constructs close to those found in workflow definition languages. In particular, BPEL incorporates two sophisticated branching and synchronisation constructs, namely "control links" and "join conditions", which can be found in a class of workflow models known as synchronising workflows formalised in terms of Petri nets in [3].
Original languageEnglish
Title of host publicationProceedings of Service-Oriented Computing (ICSOC 2005)
EditorsB. Benatallah, F. Casati, P. Traverso
Place of PublicationBerlin
Publication statusPublished - 2005
Event3rd International Conference on Service-Oriented Computing (ICSOC 2005) -
Duration: 1 Jan 2005 → …
Conference number: 3

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference3rd International Conference on Service-Oriented Computing (ICSOC 2005)
Abbreviated titleICSOC 2005
Period1/01/05 → …


Dive into the research topics of 'WofBPEL: a tool for automated analysis of BPEL processes'. Together they form a unique fingerprint.

Cite this