For the most recent entries see the Petri Nets Newsletter.

WofBPEL: A Tool for Automated Analysis of BPEL Processes.

Ouyang, Chun; Verbeek, Eric; van der Aalst, Wil M. P.; Breutel, Stephan; Dumas, Marlon; ter Hofstede, Arthur

In: Boualem Benatallah, Fabio Casati, Paolo Traverso (Eds.): Lecture Notes in Computer Science, 3826: Service-Oriented Computing - ICSOC 2005: Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005., pages 484-489. Springer-Verlag, November 2005. URL:,.

Abstract: 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].

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography